Samenvatting
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.
Originele taal-2 | Engels |
---|---|
Titel | Computer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings |
Redacteuren | A. Skavhaug, J. Guiochet, E. Schoitsch, F. Bitsch |
Plaats van productie | S.l. |
Uitgeverij | Springer |
Pagina's | 130-143 |
ISBN van elektronische versie | 978-3-319-45480-1 |
ISBN van geprinte versie | 978-3-319-45479-5 |
DOI's | |
Status | Gepubliceerd - 1 sep. 2016 |
Evenement | 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, Noorwegen Duur: 20 sep. 2016 → 20 sep. 2016 http://www.ntnu.edu/safecomp2016/decsos16 |
Publicatie series
Naam | Lecture Notes in Computer Science |
---|---|
Uitgeverij | Springer |
Volume | 9923 |
Congres
Congres | 11 International ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems (DECSoS '16), September 20, 2016. Trondheim, Norway |
---|---|
Verkorte titel | DECSoS 2016 |
Land/Regio | Noorwegen |
Stad | Trondheim |
Periode | 20/09/16 → 20/09/16 |
Internet adres |