Abstract
The efficient design of resilient embedded systems is hampered by the separation of engineering disciplines in current development approaches. We describe a new project entitled “Design Support and Tooling for Embedded Control Software" (DESTECS), which aims to develop a methodology and open tools platform for collaborative and multidisciplinary development of dependable embedded real-time control systems. We also present some initial results from a small co-simulation case study. The DESTECS methodology combines continuous-time and discrete-event modelling via co-simulation, allowing explicit modelling of faults and fault-tolerance mechanisms from the outset. Continuous-time models are expressed using differential equations, which we represent using the wellknown bond graph notation, supported by the 20-sim tool. We model discrete-event controllers using the Vienna Development Method (VDM), supported by the Overture tools. An open, extensible tools platform will be developed, populated with plug-ins to support static analysis, co-simulation, testing and fault analysis. Trials will be conducted on industrial case studies from several domains, including document handling, inertial measurement and personal transportation.
Original language | English |
---|---|
Title of host publication | SERENE '10 |
Subtitle of host publication | Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems |
Editors | J.S. Fitzgerald |
Publisher | Association for Computing Machinery (ACM) |
Number of pages | 6 |
ISBN (Print) | 978-1-4503-0289-0 |
DOIs | |
Publication status | Published - 15 Apr 2010 |
Event | 2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010 - London, United Kingdom Duration: 13 Apr 2010 → 16 Apr 2010 Conference number: 2 |
Workshop
Workshop | 2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010 |
---|---|
Abbreviated title | SERENE |
Country | United Kingdom |
City | London |
Period | 13/04/10 → 16/04/10 |
Keywords
- Embedded systems
- Fault tolerance
- Formal methods
- EC Grant Agreement nr.: FP7/248134
- Resilience
- Co-simulation