An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System

Amir Soltani Nehzad, Johan J. Lukkien, Rudolf H. Mak, Richard Verhoeven, Martijn M.H.P. van den Heuvel

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Uittreksel

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.
TaalEngels
TitelComputer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings
RedacteurenA. Skavhaug, J. Guiochet, E. Schoitsch, F. Bitsch
Plaats van productieS.l.
UitgeverijSpringer
Pagina's130-143
ISBN van elektronische versie978-3-319-45480-1
ISBN van geprinte versie978-3-319-45479-5
DOI's
StatusGepubliceerd - 1 sep 2016
Evenement11 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 201620 sep 2016
http://www.ntnu.edu/safecomp2016/decsos16

Publicatie series

NaamLecture Notes in Computer Science
UitgeverijSpringer
Volume9923

Congres

Congres11 International ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems (DECSoS '16), September 20, 2016. Trondheim, Norway
Verkorte titelDECSoS 2016
LandNoorwegen
StadTrondheim
Periode20/09/1620/09/16
Internet adres

Vingerafdruk

Mechatronics
Embedded systems
Testing
Application programming interfaces (API)
Interfaces (computer)
Mathematical models
Hardware

Citeer dit

Soltani Nehzad, A., Lukkien, J. J., Mak, R. H., Verhoeven, R., & van den Heuvel, M. M. H. P. (2016). An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. In A. Skavhaug, J. Guiochet, E. Schoitsch, & F. Bitsch (editors), Computer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings (blz. 130-143). (Lecture Notes in Computer Science; Vol. 9923). S.l.: Springer. DOI: 10.1007/978-3-319-45480-1_11
Soltani Nehzad, Amir ; Lukkien, Johan J. ; Mak, Rudolf H. ; Verhoeven, Richard ; van den Heuvel, Martijn M.H.P./ An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. Computer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings. redacteur / A. Skavhaug ; J. Guiochet ; E. Schoitsch ; F. Bitsch. S.l. : Springer, 2016. blz. 130-143 (Lecture Notes in Computer Science).
@inproceedings{2aad649fc79640798fb96adb521c0ab2,
title = "An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System",
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.",
author = "{Soltani Nehzad}, Amir and Lukkien, {Johan J.} and Mak, {Rudolf H.} and Richard Verhoeven and {van den Heuvel}, {Martijn M.H.P.}",
year = "2016",
month = "9",
day = "1",
doi = "10.1007/978-3-319-45480-1_11",
language = "English",
isbn = "978-3-319-45479-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "130--143",
editor = "A. Skavhaug and J. Guiochet and E. Schoitsch and F. Bitsch",
booktitle = "Computer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings",
address = "Germany",

}

Soltani Nehzad, A, Lukkien, JJ, Mak, RH, Verhoeven, R & van den Heuvel, MMHP 2016, An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. in A Skavhaug, J Guiochet, E Schoitsch & F Bitsch (redactie), Computer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings. Lecture Notes in Computer Science, vol. 9923, Springer, S.l., blz. 130-143, Trondheim, Noorwegen, 20/09/16. DOI: 10.1007/978-3-319-45480-1_11

An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. / Soltani Nehzad, Amir; Lukkien, Johan J.; Mak, Rudolf H.; Verhoeven, Richard; van den Heuvel, Martijn M.H.P.

Computer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings. redactie / A. Skavhaug; J. Guiochet; E. Schoitsch; F. Bitsch. S.l. : Springer, 2016. blz. 130-143 (Lecture Notes in Computer Science; Vol. 9923).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

TY - GEN

T1 - An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System

AU - Soltani Nehzad,Amir

AU - Lukkien,Johan J.

AU - Mak,Rudolf H.

AU - Verhoeven,Richard

AU - van den Heuvel,Martijn M.H.P.

PY - 2016/9/1

Y1 - 2016/9/1

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

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

U2 - 10.1007/978-3-319-45480-1_11

DO - 10.1007/978-3-319-45480-1_11

M3 - Conference contribution

SN - 978-3-319-45479-5

T3 - Lecture Notes in Computer Science

SP - 130

EP - 143

BT - Computer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings

PB - Springer

CY - S.l.

ER -

Soltani Nehzad A, Lukkien JJ, Mak RH, Verhoeven R, van den Heuvel MMHP. An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. In Skavhaug A, Guiochet J, Schoitsch E, Bitsch F, redacteurs, Computer safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : Proceedings. S.l.: Springer. 2016. blz. 130-143. (Lecture Notes in Computer Science). Beschikbaar vanaf, DOI: 10.1007/978-3-319-45480-1_11