Abstract
Simulations are widely used in the engineering workflow of complex mechatronic embedded systems in various domains, such as healthcare, railway, automotive and aerospace, for analyzing, testing and validating purposes. This paper focuses on the development and test of the control software of complex mechatronic embedded systems from the perspective of software interfaces (e.g., driver APIs) and presents a systematic approach for testing the control software during the various stages of an engineering process. Since we assume that the physical (hardware) components of an under-control plant could be replaced with simulation models, various kinds of in-the-loop simulations, ranging from MiL to HiL, can be consequently acquired. Additionally, we present a mathematical model of MESes required to formally describe the approach and also a healthcare case study to which our approach was applied.
Original language | English |
---|---|
Title of host publication | Computer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings |
Editors | A. Skavhaug, J. Guiochet, E. Schoitsch, F. Bitsch |
Place of Publication | S.l. |
Publisher | Springer |
Pages | 130-143 |
ISBN (Electronic) | 978-3-319-45480-1 |
ISBN (Print) | 978-3-319-45479-5 |
DOIs | |
Publication status | Published - 1 Sept 2016 |
Event | 11 International ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems (DECSoS '16), September 20, 2016. Trondheim, Norway - Trondheim, Norway Duration: 20 Sept 2016 → 20 Sept 2016 http://www.ntnu.edu/safecomp2016/decsos16 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 9923 |
Conference
Conference | 11 International ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems (DECSoS '16), September 20, 2016. Trondheim, Norway |
---|---|
Abbreviated title | DECSoS 2016 |
Country/Territory | Norway |
City | Trondheim |
Period | 20/09/16 → 20/09/16 |
Internet address |