SLIM : SLIcing state based Models

SLIM：基于 SLI 状态的模型

• 批准号: EP/F059442/2
• 负责人: Mark Harman
• 金额: --
• 依托单位: University College London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2010
• 资助国家: 英国
• 起止时间: 2010 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FF059442%2F2
• 关键词: SLIM; SLIcing; state; based; Models

State based models raise the level of abstraction at which systems are described from the program source code level to a more design-oriented level. The goal of this raised abstraction level is to allow larger-scale systems to be developed and managed with the same level of effort as smaller systems expressed at lower levels of abstraction. Many embedded systems, such as those developed by the SLIM project's industrial partners, are constructed from state based models. Unfortunately, as the scale of what can be handled increases, there is an inevitable commensurate increase in expectations and the demands placed upon the model. It is human nature to push systems and approaches to the bounds of what can be withstood. As an example of this size problem , one of the models for describing a phone system, currently used by the SLIM industrial project partner Motorola, runs to nearly 700 pages.The SLIM project will develop algorithms, methods and techniques for scaling down the size and complexity of a model using a techniques called slicing. Traditionally, slicing has only been applied to program source code, not to state based models. The SLIM project will reformulate slicing so that it can be used to scale down models, thereby addressing the model size problem. The research challenge is to develop new theories, methods and algorithms for program slicing to raise it to the state-based level of abstraction.

基于状态的模型提高了系统描述的抽象层次，从程序源代码层次到更面向设计的层次。这种提高的抽象级别的目标是允许以与在较低抽象级别表示的较小系统相同的工作水平来开发和管理较大规模的系统。许多嵌入式系统，如SLIM项目的工业合作伙伴开发的系统，都是从基于状态的模型构建的。不幸的是，随着可以处理的规模的增加，对模型的期望和要求不可避免地相应增加。将系统和方法推向可以承受的界限是人类的本性。作为这个尺寸问题的一个例子，SLIM工业项目合作伙伴摩托罗拉目前使用的一个描述电话系统的模型长达近700页，SLIM项目将开发算法、方法和技术，使用一种称为切片的技术来缩小模型的尺寸和复杂性。传统上，切片仅应用于程序源代码，而不是基于状态的模型。SLIM项目将重新制定切片，以便它可以用于缩小模型，从而解决模型大小问题。研究的挑战是开发新的理论，方法和算法的程序切片，以提高其基于状态的抽象层次。

项目成果

Coherent clusters in source code

• DOI: 10.1016/j.jss.2013.07.040
• 发表时间: 2014-02
• 期刊: J. Syst. Softw.
• 作者: Syed S. Islam;J. Krinke;D. Binkley;M. Harman