Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-Driven Software Engineering Kapitel lesen Erstes Kapitel lesen

2020 | OriginalPaper | Buchkapitel

A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems

verfasst von : Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pêcheux

Erschienen in: Model-Driven Engineering and Software Development

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Embedded systems are commonly built upon heterogeneous digital and analog integrated circuits, including sensors and actuators. Model-driven approaches for designing software and hardware are generally limited to the digital parts of systems. In the present paper, we adopt a global view on the extensions made to an integrated modeling and simulation tool, TTool. In this tool, the verification and virtual prototyping of embedded systems is described at different abstraction levels and extended in order to handle analog/mixed-signal systems. An extensive case study spans these levels and illustrates the usefulness of our approach.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel The Art of Bootstrapping
Nächstes Kapitel Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol
Literatur
1.
Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)MATH
2.
Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)CrossRef
3.
Accellera Systems Initiative: SystemC AMS extensions Users Guide, Version 1.0. Accellera Systems Initiative, March 2010
4.
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, March 2015
5.
Andrade Porras, L.: Principles and implementation of a generic synchronization interface between SystemC AMS models of computation for the virtual prototyping of multi-disciplinary systems. Ph.D. thesis, Université Pierre et Marie Curie (2016)
6.
Apvrille, L.: Webpage of TTool (2011)
7.
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
8.
9.
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.
Capocchi, L., Santucci, J.F., Poggi, B., Nicolai, C.: DEVSimPY: a collaborative python software for modeling and simulation of DEVS systems. In: 2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 170–175. IEEE (2011)
13.
14.
Concepcion, A.I., Zeigler, B.P.: DEVS formalism: a framework for hierarchical model development. IEEE Trans. Softw. Eng. 14(2), 228–241 (1988)CrossRef
15.
Porto, R.C.: Integration of SystemC-AMS simulation platforms into TTool. Master’s thesis, Technische Universität Kaiserslautern (2018)
16.
Porto, R.C., Genius, D., Apvrille, L.: Modeling and virtual prototyping for embedded systems on mixed-signal multicores. In: RAPIDO (2019)
17.
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)
18.
Davare, A.: A next-generation design framework for platform-based design. In: DVCon, vol. 152 (2007)
19.
Einwich, K.: SystemC AMS PoC2.1 Library, COSEDA, Dresden (2016)
20.
21.
Fong, C.: Discrete-time dataflow models for visual simulation in ptolemy II. Master’s report, Memorandum UCB/ERL M 1 (2001)
22.
23.
Gamatié, A., et al.: A model-driven design framework for massively parallel embedded systems. ACM Trans. Embed. Comput. Syst. 10(4), 39 (2011)CrossRef
24.
Genius, D., Apvrille, L.: Virtual yet precise prototyping: an automotive case study. In: ERTSS 2016, Toulouse, January 2016
25.
Genius, D., Li, L.W., Apvrille, L.: Model-driven performance evaluation and formal verification for multi-level embedded system design. In: 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal (2017)
26.
Genius, D., Li, L.W., Apvrille, L.: Multi-level latency evaluation with an MDE approach. In: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Funchal, Portugal (2018)
27.
Genius, D., Cortés Porto, R., Apvrille, L., Pêcheux, F.: A tool for high-level modeling of analog/mixed signal embedded systems. In: 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), Prague, Czech Republic (2019)
28.
29.
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)
30.
31.
Herrera, F., Villar, E.: A framework for heterogeneous specification and design of electronic embedded systems in SystemC. ACM Trans. Des. Autom. Electron. Syst. (TODAES) 12(3), 22 (2007)CrossRef
32.
IEEE: SystemC. IEEE Standard 1666-2011 (2011)
33.
34.
Kelling, E., et al.: Specification and evaluation of e-security relevant use cases. Technical report, Deliverable D2.1, EVITA Project (2009)
35.
36.
Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235–1245 (1987)CrossRef
37.
38.
Li, L., Apvrille, L., Genius, D.: Virtual prototyping of automotive systems: towards multi-level design space exploration. In: DASIP (2016)
39.
40.
Niaki, S.H.A., Jakobsen, M.K., Sulonen, T., Sander, I.: Formal heterogeneous system modeling with SystemC. In: 2012 Forum on Specification and Design Languages (FDL), pp. 160–167. IEEE (2012)
41.
Ninios, P., Vlahos, K., Bunn, D.W.: OO/DEVS: a platform for industry simulation and strategic modelling. Decis. Support Syst. 15(3), 229–245 (1995)CrossRef
42.
Ptolemy.org (ed.): System Design, Modeling, and Simulation using Ptolemy II (2014)
43.
44.
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)
45.
SocLib Consortium: The SoCLib project: an integrated system-on-chip modelling and simulation platform. Technical report, CNRS (2003). www.​soclib.​fr
46.
47.
48.
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)
49.
VSI Alliance: Virtual Component Interface Standard (OCB 2 2.0), August 2000
50.
Zeigler, B.P., Kim, D.: Distributed supply chain simulation in a DEVS/CORBA execution environment. In: WSC 1999, 1999 Winter Simulation Conference Proceedings. Simulation-A Bridge to the Future (Cat. No. 99CH37038), vol. 2, pp. 1333–1340. IEEE (1999)
51.
Zhu, J., Sander, I., Jantsch, A.: HetMoC: heterogeneous modelling in SystemC. In: 2010 Forum on Specification & Design Languages (FDL 2010), pp. 1–6. IET (2010)
Metadaten
Titel
A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems
verfasst von
Daniela Genius
Rodrigo Cortés Porto
Ludovic Apvrille
François Pêcheux
Copyright-Jahr
2020
Buch
Model-Driven Engineering and Software Development

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

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

Copyright-Jahr: 2020

DOI
https://doi.org/10.1007/978-3-030-37873-8_9