Skip to main content
SpringerLink
Log in

Modeling Architectures of Cyber-Physical Systems

  • Conference paper
  • First Online:
Book cover Modelling Foundations and Applications (ECMFA 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10376))

Included in the following conference series:

Abstract

Cyber-physical systems (CPS) in automotive or robotics industry comprise many different specific features, e.g., trajectory planning, lane correction, battery management or engine control, requiring a steady interaction with their environment over sensors and actuators. Assembling all these different features is one of the key challenges in the development of such complex systems. Component and connector (C&C) models are widely used for the design and development of CPS to represent features and their logical interaction. An advantage of C&C models is that complex features can be hierarchically decomposed into subfeatures, developed and managed by different domain experts. In this paper, we present the textual modeling family MontiCAR, Modeling and Testing of Cyber-Physical Architectures. It is based on the C&C paradigm and increases development efficiency of CPS by incorporating (i) component and connector arrays, (ii) name and index based autoconnections, (iii) a strict type system with unit and accuracy support, as well as (iv) an advanced Math language supporting BLAS operations and matrix classifications. Arrays and their autoconnection modes allow an efficient way of modeling redundant components such as front and rear park sensors or an LED matrix system containing hundreds of single dimmable lights. The strict type system and matrix classification provide means for integrated static verification of C&C architectures at compile time minimizing bug-fixing related costs. The capabilities and benefits of the proposed language family are demonstrated by a running example of a parking assistance system.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://www.exida.pl/EnterTheDOOR/help/soley-generation.htm.

  2. 2.

    http://vlsi.colorado.edu/~vis/whatis.html.

  3. 3.

    https://www.openmodelica.org/images/docs/Modelica-and-OpenModelica-overview-Peter-Fritzson-120328.pdf.

  4. 4.

    http://mathjs.org.

References

  1. Allen, R.J.: A formal approach to software architecture. Technical report (1997)

    Google Scholar 

  2. Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schätz, B.: AutoFOCUS 3: tooling concepts for seamless, model-based development of embedded systems. In: ACES-MB (2015)

    Google Scholar 

  3. Ashenden, P.J.: The Designer’s Guide to VHDL, vol. 3. Morgan Kaufmann, San Francisco (2010)

    Google Scholar 

  4. Association, M., et al.: Modelica Language Specification. Linköping, Sweden (2005)

    Google Scholar 

  5. AUTOSAR: layered software architecture. Technical report 053 (4.3.0), AUTOSAR (2016)

    Google Scholar 

  6. AUTOSAR: modeling guidelines of basic software EA UML model. Technical report 117 (4.3.0), AUTOSAR (2016)

    Google Scholar 

  7. Azumi, T., Yamamoto, M., Kominami, Y., Takagi, N., Oyama, H., Takada, H.: A new specification of software components for embedded systems. In: ISORC (2007)

    Google Scholar 

  8. Blanc, N., Kroening, D., Sharygina, N.: Scoot: a tool for the analysis of SystemC models. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 467–470. Springer, Heidelberg (2008). doi:10.1007/978-3-540-78800-3_36

    Chapter  Google Scholar 

  9. Cavada, R., Cimatti, A., Dorigatti, M., Griggio, A., Mariotti, A., Micheli, A., Mover, S., Roveri, M., Tonetta, S.: The nuXmv symbolic model checker. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 334–342. Springer, Cham (2014). doi:10.1007/978-3-319-08867-9_22

    Google Scholar 

  10. Cheng, S.T., York, G., Brayton, R.K.: Vl2mv: A compiler from verilog to blif-mv. HSIS Distribution (1993)

    Google Scholar 

  11. Dashofy, E.M., van der Hoek, A., Taylor, R.N.: A highly-extensible, xml-based architecture description language. In: Conference on Software Architecture (2001)

    Google Scholar 

  12. Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008). doi:10.1007/978-3-540-78800-3_24

    Chapter  Google Scholar 

  13. Dormoy, F.X.: Scade 6: a model based solution for safety critical software development. In: ERTS 2008, pp. 1–9 (2008)

    Google Scholar 

  14. 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(1), 127–144 (2003)

    Article  Google Scholar 

  15. Texas Instruments of Electrical and Electronic Engineers: Standard VHDL language reference manual. IEEE Std (1988)

    Google Scholar 

  16. Elmqvist, H., Mattsson, S.E., Otter, M.: Modelica-a language for physical system modeling, visualization and interaction. In: Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design, pp. 630–639. IEEE (1999)

    Google Scholar 

  17. Haber, A.: MontiArc - Architectural Modeling and Simulation of Interactive Distributed Systems. Shaker Verlag (2016)

    Google Scholar 

  18. Herbert, J., Dutertre, B., Riemenschneider, R., Stavridou, V.: A formalization of software architecture. In: FM (1999)

    Google Scholar 

  19. Horn, R.A., Johnson, C.R.: Matrix Analysis. Cambridge University Press, Cambridge (2012)

    Book  Google Scholar 

  20. Instruments, N.: BridgeView and LabView: G Programming Reference Manual. Technical report 321296B–01, National Instruments (1998)

    Google Scholar 

  21. Kaufmann, M., Kornerup, J., Reitblatt, M.: Formal verification of LabVIEW programs using the ACL2 theorem prover. In: ACL2 (2009)

    Google Scholar 

  22. Klein, C., Rumpe, B., Broy, M.: A stream-based mathematical model for distributed information processing systems-the SysLab system model. In: Formal Methods for Open Object-based Distributed Systems (1997)

    Google Scholar 

  23. Lemke, J.: C++-Metaprogrammierung: Eine Einführung in die Präprozessor-und Template-Metaprogrammierung (2016)

    Google Scholar 

  24. Logozzo, F.: Cibai: an abstract interpretation-based static analyzer for modular analysis and verification of Java classes. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, pp. 283–298. Springer, Heidelberg (2007). doi:10.1007/978-3-540-69738-1_21

    Chapter  Google Scholar 

  25. Luckham, D.C., Vera, J.: An event-based architecture definition language. IEEE Trans. Softw. Eng. 21(9), 717–734 (1995)

    Article  Google Scholar 

  26. Maoz, S., Ringert, J.O., Rumpe, B.: Verifying component and connector models against crosscutting structural views. In: ICSE (2014)

    Google Scholar 

  27. Maoz, S., Ringert, J.O., Rumpe, B., von Wenckstern, M.: Consistent extra-functional properties tagging for component and connector models. In: ModComp (2016)

    Google Scholar 

  28. Mathworks: simulink user’s guide. Technical report R2016b, MATLAB & SIMULINK (2016)

    Google Scholar 

  29. Nikitin, P.V., Shi, C., Wan, B.: Modeling partial differential equations in VHDL-AMS (mixed signal systems applications). In: SOC (2003)

    Google Scholar 

  30. OMG: UML profile for MARTE: modeling and analysis of real-time embedded systems. Technical report Version 1.1, OMG Group (2011)

    Google Scholar 

  31. OMG: OMG systems modeling language (OMG SysML). Technical report. Version 1.4, OMG Group (2015)

    Google Scholar 

  32. Rumpe, B.: Modeling with UML: Language, Concepts, Methods. Springer, Heidelberg (2016)

    Book  MATH  Google Scholar 

  33. Rumpe, B., Schulze, C., von Wenckstern, M., Ringert, J.O., Manhart, P.: Behavioral compatibility of simulink models for product line maintenance and evolution. In: SPLC (2015)

    Google Scholar 

  34. IEEE Computer Society: IEEE standard for standard systemc® language reference manual (2012)

    Google Scholar 

  35. Chromatography software: UNICORN 5.0 - User Reference Manual. Technical report 03–0014-90 (2004)

    Google Scholar 

  36. Accellera Systems Initiative: Verilog-AMS Language Reference Manual. Technical report 2.4.0, Accellera Systems Initiative standards (2014)

    Google Scholar 

Download references

Acknowledgements

This research was supported by a Grant from the GIF, the German-Israeli Foundation for Scientific Research and Development, and by the Grant SPP1835 from DFG, the German Research Foundation.

Author information

Authors and Affiliations

  1. Software Engineering, RWTH Aachen, Aachen, Germany

    Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe & Michael von Wenckstern

  2. Fraunhofer FIT, Aachen, Germany

    Bernhard Rumpe

Authors
  1. Evgeny Kusmenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander Roth
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernhard Rumpe
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Michael von Wenckstern
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael von Wenckstern .

Editor information

Editors and Affiliations

  1. University of Paderborn, Paderborn, Germany

    Anthony Anjorin

  2. Tecnalia Research and Innovation, Derio, Spain

    Huáscar Espinoza

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Kusmenko, E., Roth, A., Rumpe, B., von Wenckstern, M. (2017). Modeling Architectures of Cyber-Physical Systems. In: Anjorin, A., Espinoza, H. (eds) Modelling Foundations and Applications. ECMFA 2017. Lecture Notes in Computer Science(), vol 10376. Springer, Cham. https://doi.org/10.1007/978-3-319-61482-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61482-3_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61481-6

  • Online ISBN: 978-3-319-61482-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation