Design Support and Tooling for Dependable Embedded Control Systems

J.F. Broenink, P.G. Larsen, M. Verhoef, C. Kleijn, D.S. Jovanovic, K. Pierce

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

14 Citations (Scopus)
1 Downloads (Pure)

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 languageEnglish
Title of host publicationSERENE '10
Subtitle of host publicationProceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
EditorsJ.S. Fitzgerald
PublisherAssociation for Computing Machinery (ACM)
Number of pages6
ISBN (Print)978-1-4503-0289-0
DOIs
Publication statusPublished - 15 Apr 2010
Event2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010 - London, United Kingdom
Duration: 13 Apr 201016 Apr 2010
Conference number: 2

Workshop

Workshop2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010
Abbreviated titleSERENE
CountryUnited Kingdom
CityLondon
Period13/04/1016/04/10

Fingerprint

Control systems
Real time control
Static analysis
Fault tolerance
Embedded systems
Differential equations
Controllers
Testing

Keywords

  • Embedded systems
  • Fault tolerance
  • Formal methods
  • EC Grant Agreement nr.: FP7/248134
  • Resilience
  • Co-simulation

Cite this

Broenink, J. F., Larsen, P. G., Verhoef, M., Kleijn, C., Jovanovic, D. S., & Pierce, K. (2010). Design Support and Tooling for Dependable Embedded Control Systems. In J. S. Fitzgerald (Ed.), SERENE '10: Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems Association for Computing Machinery (ACM). https://doi.org/10.1145/2401736.2401745
Broenink, J.F. ; Larsen, P.G. ; Verhoef, M. ; Kleijn, C. ; Jovanovic, D.S. ; Pierce, K. / Design Support and Tooling for Dependable Embedded Control Systems. SERENE '10: Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems. editor / J.S. Fitzgerald. Association for Computing Machinery (ACM), 2010.
@inproceedings{54fe6f89c01344649d4e46405a9decd8,
title = "Design Support and Tooling for Dependable Embedded Control Systems",
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.",
keywords = "Embedded systems, Fault tolerance, Formal methods, EC Grant Agreement nr.: FP7/248134, Resilience, Co-simulation",
author = "J.F. Broenink and P.G. Larsen and M. Verhoef and C. Kleijn and D.S. Jovanovic and K. Pierce",
year = "2010",
month = "4",
day = "15",
doi = "10.1145/2401736.2401745",
language = "English",
isbn = "978-1-4503-0289-0",
editor = "J.S. Fitzgerald",
booktitle = "SERENE '10",
publisher = "Association for Computing Machinery (ACM)",
address = "United States",

}

Broenink, JF, Larsen, PG, Verhoef, M, Kleijn, C, Jovanovic, DS & Pierce, K 2010, Design Support and Tooling for Dependable Embedded Control Systems. in JS Fitzgerald (ed.), SERENE '10: Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems. Association for Computing Machinery (ACM), 2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010, London, United Kingdom, 13/04/10. https://doi.org/10.1145/2401736.2401745

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 proceedingConference contributionAcademic

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 -

Broenink JF, Larsen PG, Verhoef M, Kleijn C, Jovanovic DS, Pierce K. Design Support and Tooling for Dependable Embedded Control Systems. In Fitzgerald JS, editor, SERENE '10: Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems. Association for Computing Machinery (ACM). 2010 https://doi.org/10.1145/2401736.2401745