Skip to main content
SpringerLink
Log in

Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures

  • Chapter
  • First Online:
Book cover Principles of Modeling

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

Abstract

Model-driven development of cyber-physical systems (CPS) requires modeling techniques based on a well-founded theory that supports addressing development techniques, such as decomposition, refinement and the different notions of time required by its components. Based on an elaborated theory for the modeling of underspecification with respect to nondeterminism, hierarchical composition, refinement that is compatible with composition, and finally proven correct evolution patterns, we discuss how such a theory can be practically applied for the development of CPS. Through an orchestrated efficient simulation, we can identify potential bottlenecks, function failures, hardware risks, etc. early. All models as well as the simulation take advantage of the compositionality and the timing refinement properties of the theory. In summary, we discuss how the elaborated theory shapes the simulation and the results.

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.

    See http://www.monticore.de/languages/montiarc/.

References

  1. de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26(5), 109–120 (2001)

    Article  Google Scholar 

  2. Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schtäz, B.: Autofocus 3: tooling concepts for seamless, model-based development of embedded systems. In: 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems, pp. 19–26 (2015)

    Google Scholar 

  3. Bauer, A., Romberg, J., Schätz, B.: Integrierte entwicklung von automotive-software mit autofocus. Informatik - Forschung und Entwicklung 19, 194–205 (2005)

    Article  Google Scholar 

  4. Broy, M.: (Inter-)action refinement: the easy way. In: Broy, M. (ed.) Program Design Calculi. NATO ASI F, vol. 118, pp. 121–158. Springer, Heidelberg (1993). https://doi.org/10.1007/978-3-662-02880-3_5

    Chapter  Google Scholar 

  5. Broy, M., Dederich, F., Dendorfer, C., Fuchs, M., Gritzner, T., Weber, R.: The design of distributed systems - an introduction to FOCUS. Technical report, TUM-I9202, SFB-Bericht Nr. 342/2-2/92 A (1993)

    Google Scholar 

  6. Broy, M., Huber, F., Schätz, B.: Autofocus - ein werkzeugprototyp zur entwicklung eingebetteter systeme. Informatik-Forschung und Entwicklung 14(3), 121–134 (1999)

    Article  Google Scholar 

  7. Broy, M., Rumpe, B.: Modulare hierarchische modellierung als grundlage der software- und systementwicklung. Informatik-Spektrum 30(1), 3–18 (2007)

    Article  Google Scholar 

  8. Broy, M., Stølen, K.: Specification and Development of Interactive Systems. Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001). https://doi.org/10.1007/978-1-4613-0091-5

    Book  MATH  Google Scholar 

  9. Butting, A., et al.: Systematic language extension mechanisms for the montiarc architecture description language. In: Anjorin, A., Espinoza, H. (eds.) ECMFA 2017. LNCS, vol. 10376, pp. 53–70. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61482-3_4

    Chapter  Google Scholar 

  10. Canal, C., Pimentel, E., Troya, J.M.: Specification and refinement of dynamic software architectures. In: Donohoe, P. (ed.) Software Architecture. ITIFIP, vol. 12, pp. 107–125. Springer, Boston, MA (1999). https://doi.org/10.1007/978-0-387-35563-4_7

    Chapter  Google Scholar 

  11. Cuesta, C.E., de la Fuente, P., Barrio-Solírzano, M., Beato, M.E.G.: An “abstract process” approach to algebraic dynamic architecture description. J. Log. Algebraic Program. 63, 177–214 (2005)

    Article  MathSciNet  Google Scholar 

  12. Debruyne, V., Simonot-Lion, F., Trinquet, Y.: EAST-ADL—an architecture description language. In: Dissaux, P., Filali-Amine, M., Michel, P., Vernadat, F. (eds.) Architecture Description Languages. ITIFIP, vol. 176, pp. 181–195. Springer, Boston, MA (2005). https://doi.org/10.1007/0-387-24590-1_12

    Chapter  Google Scholar 

  13. Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13–28 (2012)

    Article  Google Scholar 

  14. Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Boston (2012)

    Google Scholar 

  15. France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Future of Software Engineering (FOSE 2007), pp. 37–54, May 2007

    Google Scholar 

  16. Giese, H., Rumpe, B., Schätz, B., Sztipanovits, J.: Science and engineering of cyber-physical systems (Dagstuhl seminar 11441). Dagstuhl Rep. 1(11), 1–22 (2012)

    Google Scholar 

  17. OM Group: OMG Unified Modeling Language (OMG UML), Infrastructure version 2.3 (10-05-03) (2010)

    Google Scholar 

  18. Haber, A.: MontiArc - Architectural Modeling and Simulation of Interactive Distributed Systems. Aachener Informatik-Berichte, Software Engineering, Band, vol. 24. Shaker Verlag, September 2016

    Google Scholar 

  19. Haber, A., Rendel, H., Rumpe, B., Schaefer, I.: Evolving delta-oriented software product line architectures. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 183–208. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34059-8_10

    Chapter  Google Scholar 

  20. Haber, A., Ringert, J.O., Rumpe, B.: Montiarc - architectural modeling of interactive distributed and cyber-physical systems. Technical report AIB-2012-03, RWTH Aachen University, February 2012

    Google Scholar 

  21. Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8, 231–274 (1987)

    Article  MathSciNet  Google Scholar 

  22. Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems. NATO ASI F, vol. 13, pp. 477–498. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-82453-1_17

    Chapter  Google Scholar 

  23. Harel, D., Rumpe, B.: Meaningful modeling: what’s the semantics of “semantics”? IEEE Comput. 37(10), 64–72 (2004)

    Article  Google Scholar 

  24. Heim, R., Mir Seyed Nazari, P., Ringert, J.O., Rumpe, B., Wortmann, A.: Modeling robot and world interfaces for reusable tasks. In: Intelligent Robots and Systems Conference (IROS 2015), pp. 1793–1798. IEEE (2015)

    Google Scholar 

  25. Hoare, C.A.R.: Communicating sequential processes. In: Hansen, P.B. (ed.) The Origin of Concurrent Programming, pp. 413–443. Springer, New York (1978). https://doi.org/10.1007/978-1-4757-3472-0_16

    Chapter  Google Scholar 

  26. Hölzl, F., Feilkas, M.: 13 AutoFocus 3 - a scientific tool prototype for model-based development of component-based, reactive, distributed systems. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds.) MBEERTS 2007. LNCS, vol. 6100, pp. 317–322. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16277-0_13

    Chapter  Google Scholar 

  27. Huber, F., Schätz, B.: Rapid prototyping with AutoFocus. In: Wolisz, A., Schieferdecker, I., Rennoch, A. (eds.) Formale Beschreibungstechniken für verteilte Systeme, GI/ITG Fachgespräch, pp. 343–352. GMD Verlag, St. Augustin (1997)

    Google Scholar 

  28. Huber, F., Schätz, B., Schmidt, A., Spies, K.: AutoFocus—a tool for distributed systems specification. In: Jonsson, B., Parrow, J. (eds.) FTRTFT 1996. LNCS, vol. 1135, pp. 467–470. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61648-9_58

    Chapter  Google Scholar 

  29. Jensen, J.C., Chang, D.H., Lee, E.A.: A model-based design methodology for cyber-physical systems. In: 2011 7th International on Wireless Communications and Mobile Computing Conference (IWCMC), pp. 1666–1671. IEEE (2011)

    Google Scholar 

  30. Karsai, G., Sztipanovits, J.: Model-integrated development of cyber-physical systems. Softw. Technol. Embed. Ubiquit. Syst. 5287, 46–54 (2008)

    Article  Google Scholar 

  31. Klein, C., Rumpe, B., Broy, M.: A stream-based mathematical model for distributed information processing systems - SysLab system model. In: Workshop on Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology, pp. 323–338. Chapmann & Hall (1996)

    Google Scholar 

  32. Krahn, H., Rumpe, B., Völkel, S.: MontiCore: a framework for compositional development of domain specific languages. Int. J. Softw. Tools Technol. Transf. (STTT) 12(5), 353–372 (2010)

    Article  Google Scholar 

  33. Lee, E.A.: Cyber-physical systems-are computing foundations adequate. In: Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, vol. 2 (2006)

    Google Scholar 

  34. Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 363–369. IEEE (2008)

    Google Scholar 

  35. Lee, E.A.: CPS foundations. In: 2010 47th ACM/IEEE Design Automation Conference (DAC), pp. 737–742. IEEE (2010)

    Google Scholar 

  36. Lee, E.A.: Constructive models of discrete and continuous physical phenomena. IEEE Access 2, 1–25 (2014)

    Article  Google Scholar 

  37. Lynch, N.A., Tuttle, M.R.: An introduction to input/output automata. CWI Q. 2, 219–246 (1989)

    MathSciNet  MATH  Google Scholar 

  38. Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39(6), 869–891 (2013)

    Article  Google Scholar 

  39. Manna, Z., Pnueli, A.: Verifying hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 4–35. Springer, Heidelberg (1993). https://doi.org/10.1007/3-540-57318-6_22

    Chapter  Google Scholar 

  40. Maoz, S., Ringert, J.O., Rumpe, B.: Synthesis of component and connector models from crosscutting structural views. In: Meyer, B., Baresi, L., Mezini, M. (eds.) Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), pp. 444–454. ACM, New York (2013)

    Google Scholar 

  41. Maoz, S., Ringert, J.O., Rumpe, B.: Verifying component and connector models against crosscutting structural views. In: Software Engineering Conference (ICSE 2014), pp. 95–105. ACM (2014)

    Google Scholar 

  42. Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26, 70–93 (2000)

    Article  Google Scholar 

  43. Milner, R.: Communication and Concurrency, vol. 84. Prentice Hall, Upper Saddle River (1989)

    MATH  Google Scholar 

  44. Milner, R.: Communicating and Mobile Systems: the \(\pi \) Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  45. Navarro Pérez, A., Rumpe, B.: Modeling cloud architectures as interactive systems. In: Model-Driven Engineering for High Performance and Cloud Computing Workshop. CEUR Workshop Proceedings, vol. 1118, pp. 15–24 (2013)

    Google Scholar 

  46. van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. Computer 33(3), 78–85 (2000)

    Article  Google Scholar 

  47. Oquendo, F.: \(\pi \)-ADL: an architecture description language based on the higher-order typed \(\pi \)-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Softw. Eng. Notes 29, 1–14 (2004)

    Google Scholar 

  48. Paech, B., Rumpe, B.: State based service description. In: Proceeding of the IFIP TC6 WG6.1 International Workshop on Formal Methods for Open Object-Based Distributed Systems, FMOODS 1997, pp. 293–302. Chapman & Hall Ltd., London (1997)

    Google Scholar 

  49. Philipps, J., Rumpe, B.: Refinement of pipe-and-filter architectures. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 96–115. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48119-2_8

    Chapter  Google Scholar 

  50. Reisig, W.: Petri Nets: An Introduction, vol. 4. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-69968-9

    Book  MATH  Google Scholar 

  51. Ringert, J.O.: Analysis and Synthesis of Interactive Component and Connector Systems. Aachener Informatik-Berichte, Software Engineering, Band, vol. 19. Shaker Verlag (2014)

    Google Scholar 

  52. Ringert, J.O., Roth, A., Rumpe, B., Wortmann, A.: Language and code generator composition for model-driven engineering of robotics component & connector systems. J. Softw. Eng. Rob. (JOSER) 6(1), 33–57 (2015)

    Google Scholar 

  53. Ringert, J.O., Rumpe, B.: A little synopsis on streams, stream processing functions, and state-based stream processing. Int. J. Softw. Inform. 5(1–2), 29–53 (2011)

    Google Scholar 

  54. Ringert, J.O., Rumpe, B., Schulze, C., Wortmann, A.: Teaching agile model-driven engineering for cyber-physical systems. In: International Conference on Software Engineering: Software Engineering and Education Track (ICSE 2017), pp. 127–136. IEEE (2017)

    Google Scholar 

  55. Ringert, J.O., Rumpe, B., Wortmann, A.: A case study on model-based development of robotic systems using montiarc with embedded automata. In: Giese, H., Huhn, M., Philipps, J., Schätz, B. (eds.) Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme, pp. 30–43 (2013)

    Google Scholar 

  56. Ringert, J.O., Rumpe, B., Wortmann, A.: From software architecture structure and behavior modeling to implementations of cyber-physical systems. In: Software Engineering Workshopband (SE 2013). LNI, vol. 215, pp. 155–170 (2013)

    Google Scholar 

  57. Ringert, J.O., Rumpe, B., Wortmann, A.: Architecture and behavior modeling of cyber-physical systems with MontiArcAutomaton. No. 20 in Aachener Informatik-Berichte, Software Engineering. Shaker Verlag (2014)

    Google Scholar 

  58. Rumpe, B.: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, München, Deutschland (1996)

    Google Scholar 

  59. Rumpe, B.: Modellierung mit UML. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-642-22413-3

    Book  MATH  Google Scholar 

  60. Rumpe, B.: Modeling with UML: Language, Concepts, Methods. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-319-33933-7

    Book  MATH  Google Scholar 

  61. Schindler, M.: Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P. Aachener Informatik-Berichte, Software Engineering, Band, vol. 11. Shaker Verlag (2012)

    Google Scholar 

  62. Schlegel, C., Steck, A., Lotz, A.: Model-driven software development in robotics: communication patterns as key for a robotics component model. In: Chugo, D., Yokota, S. (eds.) Introduction to Modern Robotics. iConcept Press (2011)

    Google Scholar 

  63. Tedd, L.A., Radjenovic, J., Milosavljevic, B., Surla, D.: Modelling and implementation of catalogue cards using freemarker. Program 43(1), 62–76 (2009)

    Article  Google Scholar 

  64. Thomas, W.: Automata on infinite objects. In: Handbook of Theoretical Computer Science, vol. B, pp. 133–191. Elsevier (1990)

    Google Scholar 

  65. Völter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S., Czarnecki, K., von Stockfleth, B.: Model-Driven Software Development: Technology, Engineering, Management. Wiley Software Patterns Series. Wiley, Hoboken (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering, RWTH Aachen University, Aachen, Germany

    Bernhard Rumpe & Andreas Wortmann

Authors
  1. Bernhard Rumpe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Wortmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andreas Wortmann .

Editor information

Editors and Affiliations

  1. University of California, Berkeley, Berkeley, California, USA

    Marten Lohstroh

  2. National Instruments, Berkeley, California, USA

    Patricia Derler

  3. Mälardalen University, Västerås, Sweden, Reykjavík University, Reykjavik, Iceland

    Marjan Sirjani

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Rumpe, B., Wortmann, A. (2018). Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures. In: Lohstroh, M., Derler, P., Sirjani, M. (eds) Principles of Modeling. Lecture Notes in Computer Science(), vol 10760. Springer, Cham. https://doi.org/10.1007/978-3-319-95246-8_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-95246-8_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-95245-1

  • Online ISBN: 978-3-319-95246-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation