Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.sorbonne-universite.fr/hal-03161772
Contributor : Daniela Genius Connect in order to contact the contributor
Submitted on : Monday, March 8, 2021 - 9:30:28 AM
Last modification on : Sunday, June 26, 2022 - 3:05:47 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

50