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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26(5), 109–120 (2001)
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)
Bauer, A., Romberg, J., Schätz, B.: Integrierte entwicklung von automotive-software mit autofocus. Informatik - Forschung und Entwicklung 19, 194–205 (2005)
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
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)
Broy, M., Huber, F., Schätz, B.: Autofocus - ein werkzeugprototyp zur entwicklung eingebetteter systeme. Informatik-Forschung und Entwicklung 14(3), 121–134 (1999)
Broy, M., Rumpe, B.: Modulare hierarchische modellierung als grundlage der software- und systementwicklung. Informatik-Spektrum 30(1), 3–18 (2007)
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
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
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
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)
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
Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13–28 (2012)
Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Boston (2012)
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
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)
OM Group: OMG Unified Modeling Language (OMG UML), Infrastructure version 2.3 (10-05-03) (2010)
Haber, A.: MontiArc - Architectural Modeling and Simulation of Interactive Distributed Systems. Aachener Informatik-Berichte, Software Engineering, Band, vol. 24. Shaker Verlag, September 2016
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
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
Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8, 231–274 (1987)
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
Harel, D., Rumpe, B.: Meaningful modeling: what’s the semantics of “semantics”? IEEE Comput. 37(10), 64–72 (2004)
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)
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
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
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)
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
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)
Karsai, G., Sztipanovits, J.: Model-integrated development of cyber-physical systems. Softw. Technol. Embed. Ubiquit. Syst. 5287, 46–54 (2008)
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)
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)
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)
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)
Lee, E.A.: CPS foundations. In: 2010 47th ACM/IEEE Design Automation Conference (DAC), pp. 737–742. IEEE (2010)
Lee, E.A.: Constructive models of discrete and continuous physical phenomena. IEEE Access 2, 1–25 (2014)
Lynch, N.A., Tuttle, M.R.: An introduction to input/output automata. CWI Q. 2, 219–246 (1989)
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)
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
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)
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)
Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26, 70–93 (2000)
Milner, R.: Communication and Concurrency, vol. 84. Prentice Hall, Upper Saddle River (1989)
Milner, R.: Communicating and Mobile Systems: the \(\pi \) Calculus. Cambridge University Press, Cambridge (1999)
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)
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)
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)
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)
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
Reisig, W.: Petri Nets: An Introduction, vol. 4. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-69968-9
Ringert, J.O.: Analysis and Synthesis of Interactive Component and Connector Systems. Aachener Informatik-Berichte, Software Engineering, Band, vol. 19. Shaker Verlag (2014)
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)
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)
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)
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)
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)
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)
Rumpe, B.: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, München, Deutschland (1996)
Rumpe, B.: Modellierung mit UML. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-642-22413-3
Rumpe, B.: Modeling with UML: Language, Concepts, Methods. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-319-33933-7
Schindler, M.: Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P. Aachener Informatik-Berichte, Software Engineering, Band, vol. 11. Shaker Verlag (2012)
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)
Tedd, L.A., Radjenovic, J., Milosavljevic, B., Surla, D.: Modelling and implementation of catalogue cards using freemarker. Program 43(1), 62–76 (2009)
Thomas, W.: Automata on infinite objects. In: Handbook of Theoretical Computer Science, vol. B, pp. 133–191. Elsevier (1990)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
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)