Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems Read chapter Read first chapter

2021 | OriginalPaper | Chapter

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

Authors : Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin

Published in: Model-Driven Engineering and Software Development

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems
next chapter ProvAnalyser: A Framework for Scientific Workflows Provenance
Literature
1.
Accellera Systems Initiative: SystemC AMS extensions Users Guide, Version 1.0 (2010)
2.
Andrade, L., Maehne, T., Vachoux, A., Ben Aoun, C., Pêcheux, F., Louërat, M.M.: Pre-simulation formal analysis of synchronization issues between discrete event and timed data flow models of computation. In: Design, Automation and Test in Europe, DATE Conference (2015)
3.
Apvrille, L., Becoulet, A.: Prototyping an embedded automotive system from its UML/SysML models. In: ERTSS 2012, Toulouse (2012)
4.
5.
Apvrille, L., Muhammad, W., Ameur-Boulifa, R., Coudert, S., Pacalet, R.: A UML-based environment for system design space exploration. In: 2006 13th IEEE International Conference on Electronics, Circuits and Systems, pp. 1272–1275. IEEE (2006)
6.
Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L.: Metropolis: an integrated electronic system design environment. IEEE Comput. 36(4), 45–52 (2003)CrossRef
7.
Barnasconi, M., Einwich, K., Grimm, C., Maehne, T., Vachoux, A.: SystemC AMS Extensions 2.0 Language Reference Manual. Accellera systems initiative (2016)
8.
9.
Blochwitz, T., et al.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference, Dresden, Germany, pp. 105–114 (2011)
10.
Bouquet, F., Gauthier, J.M., Hammad, A., Peureux, F.: Transformation of SysML structure diagrams to VHDL-AMS. In: 2012 Second Workshop on Design, Control and Software Implementation for Distributed MEMS, pp. 74–81. IEEE (2012)
11.
12.
Concepcion, A.I., Zeigler, B.P.: DEVS formalism: a framework for hierarchical model development. IEEE Trans. Softw. Eng. 14(2), 228–241 (1988)CrossRef
13.
Cortés Porto, R.: Integration of SystemC-AMS Simulation Platforms into TTool. Master’s thesis, Technische Universität Kaiserslautern (2018)
14.
Cortés Porto, R., Genius, D., Apvrille, L.: Modeling and virtual prototyping for embedded systems on mixed-signal multicores. In: RAPIDO (2019)
15.
Damm, M., Grimm, C., Haas, J., Herrholz, A., Nebel, W.: Connecting SystemC-AMS models with OSCI TLM 2.0 models using temporal decoupling. In: FDL, pp. 25–30 (2008)
16.
Davare, A., et al.: A next-generation design framework for platform-based design. In: DVCon, vol. 152 (2007)
17.
18.
Einwich, K.: SystemC AMS PoC2.1 Library, COSEDA, Dresden (2016)
19.
20.
Gamatié, A., et al.: A model-driven design framework for massively parallel embedded systems. ACM Trans. Embed. Comput. Syst. 10(4), 39 (2011)CrossRef
21.
Genius, D., Apvrille, L.: Virtual yet precise prototyping: an automotive case study. In: ERTSS 2016, Toulouse (2016)
22.
Genius, D., Li, L.W., Apvrille, L.: Model-driven performance evaluation and formal verification for multi-level embedded system design. In: MODELSWARD (2017)
23.
Genius, D., Li, L.W., Apvrille, L.: Multi-level Latency Evaluation with an MDE Approach. In: MODELSWARD (2018)
24.
25.
Genius, D., Bournias, I., Apvrille, L., Chotin, R.: High-level partitioning and design space exploration for cyber physical systems. In: MODELSWARD (2020)
26.
Genius, D., Cortés Porto, R., Apvrille, L., Pêcheux, F.: A tool for high-level modeling of analog/mixed signal embedded systems. In: MODELSWARD (2019)
27.
28.
Guo, L., Zhu, Q., Nuzzo, P., Passerone, R., Sangiovanni-Vincentelli, A., Lee, E.A.: Metronomy: a function-architecture co-simulation framework for timing verification of cyber-physical systems. In: Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, p. 24. ACM (2014)
29.
30.
IEEE: SystemC. IEEE Standard 1666–2011 (2011)
31.
Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235–1245 (1987)CrossRef
32.
33.
Mancuso, F.J.N., et al.: Focused cardiac ultrasound using a pocket-size device in the emergency room. Arquivos brasileiros de cardiologia 103(6), 530–537 (2014)
34.
Pedroza, G., Knorreck, D., Apvrille, L.: AVATAR: a SysML environment for the formal verification of safety and security properties. In: The 11th IEEE Conference on Distributed Systems and New Technologies (NOTERE), Paris, France (2011)
35.
Ptolemy.org (ed.): System Design, Modeling, and Simulation using Ptolemy II. Univ. Berkeley (2014)
36.
Qiu, W., Yu, Y., Tsang, F.K., Sun, L.: An FPGA-based open platform for ultrasound biomicroscopy. IEEE Trans. Ultrason. Ferroelectr. Freq. Control 59(7), 1432–1442 (2012)CrossRef
37.
38.
Selic, B., Gérard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Elsevier, Amsterdam (2013)
39.
Sikdar, S., Managuli, R., Mitake, T., Hayashi, T., Kim, Y.: Programmable ultrasound scan conversion on a media-processor-based system. In: Medical Imaging: Visualization, Display, and Image-Guided Procedures, vol. 4319, pp. 699–711. Int. Society for Optics and Photonics (2001)
40.
SocLib consortium: The SoCLib project: An Integrated System-on-Chip Modelling and Simulation Platform (2003). www.​soclib.​fr
41.
42.
Tse, K.H., Luk, W.H., Lam, M.C.: Pocket-sized versus standard ultrasound machines in abdominal imaging. Singapore Med. J. 55(6), 325 (2014)CrossRef
43.
Vachoux, A., Grimm, C., Einwich, K.: Analog and mixed signal modelling with SystemC-AMS. In: ISCAS (3), pp. 914–917. IEEE (2003)
44.
Vidal, J., de Lamotte, F., Gogniat, G., Soulard, P., Diguet, J.P.: A co-design approach for embedded system modeling and code generation with UML and MARTE. In: DATE, pp. 226–231. IEEE (2009)
Metadata
Title
Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices
Authors
Daniela Genius
Ilias Bournias
Ludovic Apvrille
Roselyne Chotin
Copyright Year
2021
Book
Model-Driven Engineering and Software Development

Print ISBN: 978-3-030-67444-1

Electronic ISBN: 978-3-030-67445-8

Copyright Year: 2021

DOI
https://doi.org/10.1007/978-3-030-67445-8_4

Premium Partner

    Image Credits