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:
Towards a Unified View of Modeling and Programming (Track Summary) Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

verfasst von : Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, René Nilsson, Carl Gamble, Simon Foster

Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

We describe an approach to the model-based engineering of embedded and cyber-physical systems, based on the semantic integration of diverse discipline-specific notations and tools. Using the example of a small unmanned aerial vehicle, we explain the need for multiple notations and collaborative modelling. Learning from experience with binary co-modelling based on a bespoke operational semantics, we describe current work delivering an extended approach that enables integration of multiple models and tools in a consistent tool chain, founded on an extensible semantic framework exploiting the Unifying Theories of Programming.

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 Interactive Model-Based Compilation Continued – Incremental Hardware Synthesis for SCCharts
Nächstes Kapitel Merging Modeling and Programming Using Umple
Fußnoten
1
Figure 5 is not a well-formed SysML block diagram: we have condensed the presentation for reasons of space.
 
4
A zero-crossing is a point where the sign of a mathematical function changes (e.g. from positive to negative), represented by a crossing of the axis (zero value) in the graph of the function. It is a commonly used term in electronics, mathematics, sound, and image processing.
 
6
FMI essentially defines a standardised interface to be used in computer simulations to develop complex CPSs.
 
Literatur
1.
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138, 3–34 (1995)MathSciNetCrossRefMATH
2.
van Amerongen, J.: Dynamical Systems for Creative Technology. Controllab Products, Enschede (2010)
3.
Broenink, J.F., Larsen, P.G., Verhoef, M., Kleijn, C., Jovanovic, D., Pierce, K., Wouters, F.: Design support and tooling for dependable embedded control software. In: Proceedings of Serene 2010 International Workshop on Software Engineering for Resilient Systems, pp. 77–82. ACM, April 2010
4.
Broy, M., Cengarle, M.V., Geisberger, E.: Cyber-physical systems: imminent challenges. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 1–28. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-34059-8_​1 CrossRef
5.
Camacho, E.F., Alba, C.B.: Model Predictive Control. Advanced Textbooks in Control and Signal Processing. Springer, London (2007)CrossRef
6.
Carloni, L.P., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A.L.: Languages and tools for hybrid systems design. Found. Trends Electron. Des. Autom. 1(1/2) (2006)
7.
Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.: Modeling cyber-physical systems. Proc. IEEE (special issue on CPS) 100(1), 13–28 (2012)
8.
Fitzgerald, J., Larsen, P.G., Pierce, K., Verhoef, M.: A formal approach to collaborative modelling and co-simulation for embedded systems. Math. Struct. Comput. Sci. 23(4), 726–750 (2013)MathSciNetCrossRef
9.
Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.): Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. Springer, Heidelberg (2014)
10.
Foster, S., Miyazawa, A., Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P.: An approach for managing semantic heterogeneity in systems of systems engineering. In: Proceedings of the 9th International Conference on Systems of Systems Engineering. IEEE (2014)
11.
Foster, S., Thiele, B., Cavalcanti, A., Woodcock, J.: Towards a UTP semantics for Modelica. In: 6th International Symposium on Unifying Theories of Programming (2016)
12.
Foster, S., Zeyda, F., Woodcock, J.: Isabelle/UTP: a mechanised theory engineering framework. In: Naumann, D. (ed.) UTP 2014. LNCS, vol. 8963, pp. 21–41. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-14806-9_​2
13.
Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press, Chichester (2004)
14.
Gamble, C., Pierce, K.: Design patterns for use in co-modelling. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collaborative Design for Embedded Systems, pp. 319–356. Springer, Heidelberg (2014)
15.
Grujic, I., Nilsson, R.: Model-based development and evaluation of control for complex multi-domain systems: attitude control for a quadrotor UAV. Technical report 23, Department of Engineering, Aarhus University, January 2016
16.
Haber, A., Ringert, J.O., Rumpe, B.: MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems. Technical report AIB-2012-03, RWTH Aachen, February 2012
17.
He, J.: From CSP to hybrid systems. In: Roscoe, A.W. (ed.) A Classical Mind: Essays in Honour of C.A.R. Hoare, pp. 171–189. Prentice Hall (1994)
18.
Hoare, T.: Communication Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)MATH
19.
Hoare, T., Jifeng, H.: Unifying Theories of Programming. Prentice Hall, Englewood Cliffs (1998)MATH
20.
Kesten, Y., Pnueli, A.: Timed and hybrid statecharts and their textual representation. In: Vytopil, J. (ed.) FTRTFT 1992. LNCS, vol. 571, pp. 591–620. Springer, Heidelberg (1992). doi:10.​1007/​3-540-55092-5_​32 CrossRef
21.
Kleijn, C.: Modelling and simulation of fluid power systems with 20-sim. Int. J. Fluid Power 7(3), November 2006
22.
23.
24.
Oliveira, M., Cavalcanti, A., Woodcock, J.: A UTP semantics for circus. Formal Aspects Comput. 21, 3–32 (2009)CrossRefMATH
25.
Peleska, J.: Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. Electronic Proceedings in Theoretical Computer Science abs/1303.1006, 3–28 (2013)
26.
Reed, G., Roscoe, A., et al.: Timed CSP: theory and practice. In: Bakker, J.W., Huizing, C., Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 640–675. Springer, Heidelberg (1992). doi:10.​1007/​BFb0032011
27.
28.
Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 147–162. Springer, Heidelberg (2006). doi:10.​1007/​11813040_​11 CrossRef
29.
Wang, B., Baras, J.S.: HybridSim: a modeling and co-simulation toolchain for cyber-physical systems. In: 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2013, Delft, The Netherlands, 30 October–1 November 2013, pp. 33–40. IEEE Computer Society (2013)
30.
Wei, K., Woodcock, J., Cavalcanti, A.: Circus Time with reactive designs. In: Wolff, B., Gaudel, M.-C., Feliachi, A. (eds.) UTP 2012. LNCS, vol. 7681, pp. 68–87. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-35705-3_​3 CrossRef
31.
32.
Woodcock, J., Davies, J.: Using Z - Specification, Refinement, and Proof. Series in Computer Science. Prentice Hall International, Englewood Cliffs (1996)MATH
33.
Metadaten
Titel
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design
verfasst von
Peter Gorm Larsen
John Fitzgerald
Jim Woodcock
René Nilsson
Carl Gamble
Simon Foster
Copyright-Jahr
2016
Buch
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Print ISBN: 978-3-319-47168-6

Electronic ISBN: 978-3-319-47169-3

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-47169-3_13

Premium Partner

    Bildnachweise