TY - GEN
T1 - Model-Based Virtual Prototyping of CPS
T2 - 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020
AU - Genius, Daniela
AU - Bournias, Ilias
AU - Apvrille, Ludovic
AU - Chotin, Roselyne
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021/1/1
Y1 - 2021/1/1
N2 - Virtual prototyping and co-simulation of mixed analog/ digital embedded systems have emerged as a promising research topic, in particular for designing medical appliances. In the paper, we show how the integration of different, analog and digital, Models of Computation (MoC) within an UML/SysML based environment, can offer an efficient assistance for designing a cyber-physical system in a progressive and systematic manner. For this, we rely on formal verification and abstract simulation on a high abstraction level, and on Multi-MoC virtual prototyping on a lower abstraction level. A realistic echo monitoring system illustrates (i) the method, (ii) the modeling languages, and (iii) the different verification techniques.
AB - Virtual prototyping and co-simulation of mixed analog/ digital embedded systems have emerged as a promising research topic, in particular for designing medical appliances. In the paper, we show how the integration of different, analog and digital, Models of Computation (MoC) within an UML/SysML based environment, can offer an efficient assistance for designing a cyber-physical system in a progressive and systematic manner. For this, we rely on formal verification and abstract simulation on a high abstraction level, and on Multi-MoC virtual prototyping on a lower abstraction level. A realistic echo monitoring system illustrates (i) the method, (ii) the modeling languages, and (iii) the different verification techniques.
KW - Analog/mixed signal design
KW - Embedded systems
KW - Virtual prototyping
UR - https://www.scopus.com/pages/publications/85101310971
U2 - 10.1007/978-3-030-67445-8_4
DO - 10.1007/978-3-030-67445-8_4
M3 - Conference contribution
AN - SCOPUS:85101310971
SN - 9783030674441
T3 - Communications in Computer and Information Science
SP - 74
EP - 96
BT - Model-Driven Engineering and Software Development - 8th International Conference, MODELSWARD 2020, Revised Selected Papers
A2 - Hammoudi, Slimane
A2 - Pires, Luís Ferreira
A2 - Selić, Bran
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 25 February 2020 through 27 February 2020
ER -