Design support and tooling for dependable embedded control software

Authors:
J. F. Broenink;C. Kleijn;P. G. Larsen;D. Jovanovic;M. Verhoef;K. Pierce
Affiliations:
University of Twente, The Netherlands;Controllab Products BV, The Netherlands;Engineering College of Aarhus, Denmark;Neopost BV, The Netherlands;CHESS BV, The Netherlands;Newcastle University, UK
Venue:
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Year:
2010

Citing 7
Cited 1

The IFAD VDM-SL toolbox: a practical approach to formal specifications

ACM SIGPLAN Notices
Validated Designs For Object-oriented Systems

Validated Designs For Object-oriented Systems
The Discipline of Embedded Systems Design

Computer
VDMTools: advances in support for formal modeling in VDM

ACM SIGPLAN Notices
The overture initiative integrating tools for VDM

ACM SIGSOFT Software Engineering Notes
Co-simulation of distributed embedded real-time control systems

IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Modeling and validating distributed embedded real-time systems with VDM++

FM'06 Proceedings of the 14th international conference on Formal Methods

Collaborative modelling and co-simulation in the development of dependable embedded systems

IFM'10 Proceedings of the 8th international conference on Integrated formal methods

Quantified Score

Hi-index	0.00

Visualization

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 multi-disciplinary 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 well-known 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.