EPSRC logo

Details of Grant 

EPSRC Reference: EP/F059442/2
Title: SLIM : SLIcing state based Models
Principal Investigator: Harman, Professor M
Other Investigators:
Lano, Dr KC Clark, Dr DJ Gold, Dr N
Researcher Co-Investigators:
Project Partners:
Berner and Mattner Motorola
Department: Computer Science
Organisation: UCL
Scheme: Standard Research
Starts: 01 August 2010 Ends: 30 November 2011 Value (£): 166,147
EPSRC Research Topic Classifications:
Software Engineering
EPSRC Industrial Sector Classifications:
Communications Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
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.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: