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
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation Kapitel lesen Erstes Kapitel lesen

2019 | OriginalPaper | Buchkapitel

3. An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems

verfasst von : Muhammad Umer Tariq, Marilyn Wolf

Erschienen in: Design Automation of Cyber-Physical Systems

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

Inspired by the hourglass-shaped architecture of Internet, this chapter proposes an approach to model-based development of networked cyber-physical systems (CPS) that is centered on the notion of a standardized CPS design specification language. The proposed design specification language can be used to build a CPS design specification model that can serve as a narrow interface between a set of platform-imperfection-aware feedback controller design techniques and a set of runtime CPS computing platforms. As a result, this model-based development approach can support the goals of an integrated, cross-layer CPS design and development methodology, while still acknowledging the differences between the domain-specific skillset that control systems engineers and embedded systems engineers typically possess. The chapter also proposes a version of the abovementioned CPS design specification language and discusses its various aspects such as concrete syntax, abstract syntax, and semantics.

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
Vorheriges Kapitel Platform-Based Design for Automotive and Transportation Cyber-Physical Systems
Nächstes Kapitel Formal Techniques for Verification and Testing of Cyber-Physical Systems
Literatur
1.
Aho, A. V., Lam, M. S., Sethi, R., & Ullman, J. D. (2006). Compilers: Principles, techniques, and tools (2nd ed.). Boston: Addison-Wesley Longman Publishing Co., Inc.MATH
2.
Akhshabi, S., & Dovrolis, C. (2013). The evolution of layered protocol stacks leads to an hourglass-shaped architecture. In Dynamics on and of complex networks (Vol. 2, pp. 55–88). New York: Springer.
3.
Antsaklis, P. J. (1998). Hybrid control systems: An introductory discussion to the special issue. IEEE Transactions on Automatic Control, 43(4), 457–460.CrossRef
4.
Berry, G., & Gonthier, G. (1992). The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2), 87–152.CrossRef
5.
Brogan, W. L. (1991). Modern control theory. Upper Saddle River: Prentice-Hall.MATH
6.
Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., & Niebert, P. (2003). From simulink to scade/lustre to TTA: A layered approach for distributed embedded applications. In ACM sigplan notices (Vol. 38, pp. 153–162). New York: ACM.
7.
Dugard, L., & Verriet, E. (1998). Stability and control of time-delay systems. Lecture notes in control and information sciences. Berlin: Springer.CrossRef
8.
Feiler, P. H., & Gluch, D. P. (2012). Model-based engineering with AADL: An introduction to the SAE architecture analysis & design language. Boston: Addison-Wesley.
9.
Frankel, D. S. (2003). Model driven architecture: Applying MDA to enterprise computing. Hoboken: Wiley.
10.
Friedenthal, S., Moore, A., & Steiner, R. (2014). A practical guide to SysML: The systems modeling language. Burlington: Morgan Kaufmann.
11.
Gronback, R. C. (2009). Eclipse modeling project: A domain-specific language toolkit. Boston: Addison-Wesley Professional.
12.
Halbwachs, N., Caspi, P., Raymond, P., & Pilaud, D. (1991). The synchronous data flow programming language lustre. Proceedings of the IEEE, 79(9), 1305–1320.CrossRef
13.
Henriksson, D., & Elmqvist, H. (2011). Cyber-physical systems modeling and simulation with Modelica. In International Modelica Conference (Vol. 9). Linköping: Modelica Association.
14.
Henzinger, T., Horowitz, B., & Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91(1), 84–99.CrossRef
15.
Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge. In FM 2006: Formal Methods (pp. 1–15). Berlin: Springer.
16.
Jones, M., Kotsalis, G., & Shamma, J. S. (2013). Cyber-attack forecast modeling and complexity reduction using a game-theoretic framework. In Control of cyber-physical systems (pp. 65–84). Heidelberg: Springer.CrossRef
17.
Kang, W., Kapitanova, K., & Son, S. H. (2012). Rdds: a real-time data distribution service for cyber-physical systems. IEEE Transactions on Industrial Informatics, 8(2), 393–405.CrossRef
18.
Karsai, G., Sztipanovits, J., Ledeczi, A., & Bapty, T. (2003). Model-integrated development of embedded software. Proceedings of the IEEE, 91(1), 145–164.CrossRef
19.
20.
LeGuernic, P., Gautier, T., Le Borgne, M., & Le Maire, C. (1991). Programming real-time applications with signal. Proceedings of the IEEE, 79(9), 1321–1336.CrossRef
21.
Liberzon, D., & Morse, A. S. (1999). Basic problems in stability and design of switched systems. IEEE Control Systems, 19(5), 59–70.CrossRef
22.
Liu, I., Reineke, J., Broman, D., Zimmer, M., & Lee, E. A. (2012). A PRET microarchitecture implementation with repeatable timing and competitive performance. In IEEE 30th International Conference on Computer Design (ICCD), 2012 (pp. 87–93). https://​doi.​org/​10.​1109/​ICCD.​2012.​6378622
23.
Manna, Z., & Pnueli, A. (1991). The temporal logic of reactive and concurrent systems: Specification. New York: Springer.MATH
24.
Manna, Z., & Pnueli, A. (1995). Temporal verification of reactive systems: Safety. New York: Springer.CrossRef
25.
26.
27.
28.
29.
Mesbahi, M., & Egerstedt, M. (2010). Graph theoretic methods in multiagent networks. Princeton: Princeton University Press.CrossRef
30.
Selic, B., & Gérard, S. (2013). Modeling and analysis of real-time and embedded systems with UML and MARTE: Developing cyber-physical systems. New York: Elsevier.
31.
Simko, G., Lindecker, D., Levendovszky, T., Neema, S., & Sztipanovits, J. (2013). Specification of cyber-physical components with formal semantics–integration and composition. In Model-driven engineering languages and systems (pp. 471–487). Berlin: Springer.CrossRef
32.
Stahl, T., Völter, M., Bettin, J., Haase, A., & Helsen, S. (2006). Model-driven software development: Technology, engineering, management. Hoboken: Wiley.
33.
Steinberg, D., Budinsky, F., Paternostro, M., & Merks, E. (2008). EMF: Eclipse modeling framework. Boston: Addison-Wesley Professional.
34.
35.
36.
Tariq, M. U., Florence, J., & Wolf, M. (2014). Design specification of cyber-physical systems: Towards a domain-specific modeling language based on simulink, eclipse modeling framework, and giotto. In: ACESMB@ MoDELS (pp. 6–15).
37.
Tarraf, D. C. (2013). Control of cyber-physical systems. In Proceedings of Lecture Notes in Control and Information Sciences (Vol. 449).
38.
Warmer, J. B., & Kleppe, A. G. (2003). The object constraint language: Getting your models ready for MDA. Boston: Addison-Wesley Professional.
39.
40.
41.
Zhang, W., Branicky, M. S., & Phillips, S. M. (2001). Stability of networked control systems. IEEE Control Systems, 21(1), 84–99.CrossRef
Metadaten
Titel
An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems
verfasst von
Muhammad Umer Tariq
Marilyn Wolf
Copyright-Jahr
2019
Buch
Design Automation of Cyber-Physical Systems

Print ISBN: 978-3-030-13049-7

Electronic ISBN: 978-3-030-13050-3

Copyright-Jahr: 2019

DOI
https://doi.org/10.1007/978-3-030-13050-3_3

Neuer Inhalt

    Bildnachweise