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
Software and Systems Modeling
Erschienen in: Software and Systems Modeling 1/2018

27.05.2016 | Special Section Paper

A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components

verfasst von: Marco Di Natale, David Perillo, Francesco Chirico, Andrea Sindico, Alberto Sangiovanni-Vincentelli

Erschienen in: Software and Systems Modeling | Ausgabe 1/2018

Einloggen

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

search-config
loading …

Abstract

This paper presents the MDE process in use at Elettronica SpA (ELT) for the development of complex embedded systems integrating software and firmware. The process is based on the adoption of SysML as the system-level modeling language and the use of Simulink for the refinement of selected subsystems. Implementations are generated automatically for both the software (C++ code) and firmware parts, and communication adapters are automatically generated from SysML using a dedicated profile and open-source tools for modeling and code generation. The process starts from a SysML system model, developed according to the platform-based design paradigm, in which a functional model of the system is paired to a model of the execution platform. Subsystems are refined as Simulink models or hand-coded in C++. An implementation for Simulink models is generated as software code or firmware on FPGA. Based on the SysML system architecture specification, our framework drives the generation of Simulink models with consistent interfaces, allows the automatic generation of the communication code among all subsystems (including the HW–FW interface code). In addition, it provides for the automatic generation of connectors for system-level simulation and of test harnesses and mockups to ease the integration and verification stage. We provide early results on the time savings obtained by using these technologies in the development process.
Vorheriger Artikel Guest editorial for the special section on MODELS 2014
Nächster Artikel Model-driven development of mobile applications for Android and iOS supporting role-based app variability

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 "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

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
Literatur
1.
Sindico, A., Di Natale, M., Sangiovanni-Vincentelli, A.: An industrial application of a system engineering process integrating model-driven architecture and model based design. In: ACM/IEEE 15th MODELS Conference, Innsbruck, Austria
2.
3.
Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, London (1999)MATH
4.
Sangiovanni-Vincentelli, A.: Quo vadis, SLD? Reasoning about the trends and challenges of system level design. Proc. IEEE 95(3), 4679–506 (2007)
5.
Di Natale, M., Chirico, F., Sindico, A., Sangiovanni-Vincentelli, A.: An MDA approach for the generation of communication adapters integrating SW and FW components from Simulink. In: Proceedings of the Models Conference 2014, Valencia (2014)
6.
7.
8.
9.
10.
11.
Sindico, A., Di Natale, M., Panci, G.: Integrating SysML with SIMULINK using open source model transformations. In: SIMULTECH, 2011, pp. 45–56 (2011)
12.
Kienhuis, B., Deprettere, E.F., van Der Wolf, P., Vissers, K.A.: A methodology to design programmable embedded systems—the y-chart approach. In: Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation—SAMOS, pp. 18–37. Springer, London (2002)
13.
14.
15.
Mellor, S.J., Kendall, S., Uhl, A., Weise, D.: MDADistilled Addison Wesley Longman Publishing Co. MDA Distilled Inc., Redwood City (2004)
16.
Wozniak, E., Mraidha, C., Gerard, S., Terrier, F.: A guidance framework for the generation of implementation models in the automotive domain. In: EUROMICRO-SEAA, 2011, pp. 468–476 (2011)
17.
Koudri, A., Cuccuru, A., Gerard, S., Terrier, F.: Designing heterogeneous component based systems: evaluation of MARTE standard and enhancement proposal. In: Proceedings of the MODELS Conference 2011, pp. 243–257 (2011)
18.
19.
20.
IEEE Standard SystemC Language Reference Manual. IEEE Computer Society, 1666–2005, 31 (2006)
21.
Schirmeister, F., Meindl, M., Krolikoski, S.: IP Authoring and Integration for HW/SW Co-design and reuse: Lessons Learned. In: The 9th Electronic Design Processes Workshop, Monterey, CA (2002)
22.
Vanderperren, Y., Dehaene, Y.: From UML/SysML to Matlab/Simulink: current state and future perspectives. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE ’06 Leuven, Belgium
23.
Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64–83 (2003)CrossRef
24.
Berry, G., Gonthier, G.: The synchronous programming language ESTEREL: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992)CrossRefMATH
25.
Karsai, G., Maroti, M., Ledeczi, A., Gray, J., Sztipanovits, J.: Composition and cloning in modeling and meta-modeling. IEEE Trans. Control Syst. Technol. (special issue on Computer Automated Multi-Paradigm Modeling 12, 263–278 (2004)
26.
Balarin, F., Lavagno, L., Passerone, C., Watanabe, Y.: Processes, interfaces and platforms. Embedded software modeling in metropolis. In: Proceedings of the Second International Conference on Embedded Software, ser. EMSOFT ’02. Springer, London, pp. 407–416 (2002)
27.
Mohanty, S., Prasanna, V. K.: A model-based extensible framework for efficient application design using FPGA. ACM Trans. Des. Autom. Electron. Syst 12(2), Article 13, Publication date: (April 2007)
28.
Areno, M., Eames, B., Dasu. A.: An automated Micro-architecture design tool for FPGAs. In: Proceedings of the 2007 Reconfigurable Summer Systems Institute (RSSI), pp. 1–10 (2007)
29.
Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J., Wang, S.: Towards a science of cyber-physical system integration. In: Proceedings of the IEEE, Special Issue on Cyber-Physical Systems, 100(1), 29–44 (2012)
30.
Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simulation 80(9), 433–450. In: Transactions of the Society for Modeling and Simulation International, September 2004. Special Issue: Grand Challenges for Modeling and Simulation (2004)
31.
Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming Heterogeneity—the Ptolemy approach. Proc. IEEE 91(2) 127–144 (2003)
32.
de Alfaro, L., Henzinger, T.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Vienna, Austria (2001)
33.
Lee, E., Sangiovanni-Vincentelli, A.: A unified framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(12), 1217–1229 (1998)
34.
Scaife, N., Sofronis, C., Caspi, P., Tripakis, S., Maraninchi, F.: Defining and translating a “safe” subset of Simulink/Stateflow into Lustre. In: 4th ACM International Conference on Embedded Software (EMSOFT’04), Pisa, Italy, September 2004
35.
Wang, Guoqiang, Di Natale, Marco, Sangiovanni-Vincentelli, Alberto L.: Optimal synthesis of communication procedures in real-time synchronous reactive models. IEEE Trans. Ind. Inform. 6(4), 729–743 (2010)CrossRef
36.
Hemingway, G., Neema, H., Nine, H., Sztipanovits, J.: Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simulation. SAGE J. (2012)
37.
38.
39.
40.
41.
42.
43.
Di Natale, M., Pappalardo, V.: Buffer optimization in multitaskimplementations of simulink models. ACM Trans. Embed.Comput. Syst. 7(3), 1–32 (2008)CrossRef
Metadaten
Titel
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
verfasst von
Marco Di Natale
David Perillo
Francesco Chirico
Andrea Sindico
Alberto Sangiovanni-Vincentelli
Publikationsdatum
27.05.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 1/2018
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-016-0534-0

Weitere Artikel der Ausgabe 1/2018

Software and Systems Modeling 1/2018 Zur Ausgabe

Regular Paper

On the use of models for high-performance scientific computing applications: an experience report

Guest Editorial

Editorial to the theme issue on multi-level modeling

Special Section Paper

Model-driven development of mobile applications for Android and iOS supporting role-based app variability

Special Section Paper

Leveraging annotation-based modeling with Jump

Special Section Paper

Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice

Editorial

In memory of Bernhard Schätz, long- time friend and SoSyM editor