Abstract
| 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 |
Fingerprint
Keywords
- Embedded systems
- Fault tolerance
- Formal methods
- EC Grant Agreement nr.: FP7/248134
- Resilience
- Co-simulation
Cite this
}
Design Support and Tooling for Dependable Embedded Control Systems. / Broenink, J.F.; Larsen, P.G.; Verhoef, M.; Kleijn, C.; Jovanovic, D.S.; Pierce, K.
SERENE '10: Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems. ed. / J.S. Fitzgerald. Association for Computing Machinery (ACM), 2010.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
TY - GEN
T1 - Design Support and Tooling for Dependable Embedded Control Systems
AU - Broenink, J.F.
AU - Larsen, P.G.
AU - Verhoef, M.
AU - Kleijn, C.
AU - Jovanovic, D.S.
AU - Pierce, K.
PY - 2010/4/15
Y1 - 2010/4/15
N2 - 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.
AB - 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.
KW - Embedded systems
KW - Fault tolerance
KW - Formal methods
KW - EC Grant Agreement nr.: FP7/248134
KW - Resilience
KW - Co-simulation
U2 - 10.1145/2401736.2401745
DO - 10.1145/2401736.2401745
M3 - Conference contribution
SN - 978-1-4503-0289-0
BT - SERENE '10
A2 - Fitzgerald, J.S.
PB - Association for Computing Machinery (ACM)
ER -