Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices - Sorbonne Université
Conference Papers Year : 2021

Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices

Abstract

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.
No file

Dates and versions

hal-03161772 , version 1 (08-03-2021)

Identifiers

Cite

Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin. Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices. MODELSWARD 2020: Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.74-96, ⟨10.1007/978-3-030-67445-8_4⟩. ⟨hal-03161772⟩
111 View
0 Download

Altmetric

Share

More