| EPSRC Reference: |
EP/C001346/1 |
| Title: |
Generative Programming for Embedded Systems |
| Principal Investigator: |
Hammond, Professor K |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of St Andrews |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
27 June 2005 |
Ends: |
26 June 2008 |
Value (£): |
156,264
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The research will investigate new formal techniques for accuratelyand automatically costing automatically generated software programs.Automatic program generators have been used to improve software reuse, productreliability/maintainability, performance and resource utilisationin a number of areas. They will become increasingly important assoftware engineering moves closer to becoming a traditional industry.However, language support for such generators has been generally lacking up to now.We propose to address this deficiency in thearea of static analysis, applying sophisticated inference-basedanalysis techniques to automatically generated programs. Our workwill focus on a commercially important area, namely real-time embedded systems. We will develop tools and analyses that are capable ofautomatically predicting space and time resource usage for automatically generated programs.We will undertake the research in the context of a novel languagespecially designed for the real-time embedded systems domain, Hume. This languageacts as a virtual laboratory for our work, providing a purelanguage framework exposing precisely the language features of interest without adding the unnecessary and unwanted complexities thatcan arise when studying even simple production languages.
|
|
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: |
http://www-fp.cs.st-andrews.ac.uk/GPES/ |
| Further Information: |
|
| Organisation Website: |
http://www.st-and.ac.uk |