Design Support and Tooling for Dependable Embedded Control Systems

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

doi:10.1145/2401736.2401745

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 proceeding › Conference contribution › Academic

15 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 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	https://doi.org/10.1145/2401736.2401745
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

Access to Document

10.1145/2401736.2401745

Fingerprint Dive into the research topics of 'Design Support and Tooling for Dependable Embedded Control Systems'. Together they form a unique fingerprint.

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

@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 = apr,

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",

note = "2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010, SERENE ; Conference date: 13-04-2010 Through 16-04-2010",

}

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 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.

N1 - Conference code: 2

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)

T2 - 2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010

Y2 - 13 April 2010 through 16 April 2010

ER -