Abstract
Model- and component-based design have yielded dramatic increase in design productivity in several narrowly focused homogeneous domains, such as signal processing, control and aspects of electronic design. However, significant impact on the design and manufacturing of complex cyber-physical systems (CPS) such as vehicles has not yet been achieved. This paper describes challenges of and solution approaches to building a comprehensive design tool suite for complex CPS. The primary driver for the OpenMETA tool chain was to push the boundaries of the “correct-by-construction” principle to decrease significantly the costly design-build-test-redesign cycles in design flows. In the discussions we will focus on the impact of heterogeneity in modeling CPS. This challenge is compounded by the need for rapidly evolving the design flow by changing/updating the selection of modeling languages, analysis and verification tools and synthesis methods. Based on our experience with the development of OpenMETA and with the evaluation of its performance in a complex CPS design challenge we argue that the current vertically integrated, discipline-specific tool chains for CPS design need to be complemented with horizontal integration layers that support model integration, tool integration and design process integration. This paper will examine the OpenMETA technical approach to construct the new integration layers, provides and overview of the technical framework we established for their implementation and summarize our experience with their application.
Chapter PDF
Similar content being viewed by others
Keywords
References
Eremenko, P.: Philosophical Underpinnings of Adaptive Vehicle Make. DARPA-BAA-12-15. Appendix 1 (December 5, 2011)
Gossler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming - Formal Methods for Components and Objects Pragmatic Aspects and Applications 55(1-3), 161–183 (2005)
Lattmann, Z., Nagel, A., Scott, J., Smyth, K., van Buskirk, C., Porter, J., Neema, S., Bapty, T., Sztipanovits, J.: Towards Automated Evaluation of Vehicle Dynamics in System-Level Design. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, IDETC/CIE 2012, Chicago, IL, August 12-15 (2012)
Simko, G., Levendovszky, T., Neema, S., Jackson, E., Bapty, T., Porter, J., Sztipanovits, J.: Foundation for Model Integration: Semantic Backplane. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, IDETC/CIE 2012, Chicago, IL, August 12-15 (2012); Sztipanovits J., Karsai G.: Model-Integrated Computing. IEEE Computer 30, 110–112 (1997)
Jackson, E., Sztipanovits, J.: Formalizing the Structural Semantics of Domain-Specific Modeling Languages. Journal of Software and Systems Modeling, 451–478 (September 2009)
Sangiovanni-Vincentelli, A.: Quo Vadis, SLD? Reasoning about the Trends and Challenges of System Level Design. Proc. of the IEEE 95(3), 467–506 (2007)
Jackson, E., Porter, J., Sztipanovits, J.: Semantics of Domain Specific Modeling Languages. In: Mosterman, P., Nicolescu, G. (eds.) Model-Based Design of Heterogeneous Embedded Systems, November 24, pp. 437–486. CRC Press (2009)
Chen, K., Sztipanovits, J., Neema, S.: Compositional Specification of Behavioral Semantics. In: Lauwereins, R., Madsen, J. (eds.) Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE. Springer (2008)
Jackson, E.K., Sztipanovits, J.: Constructive Techniques for Meta- and Model-Level Reasoning. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 405–419. Springer, Heidelberg (2007)
Jackson, E.K., Tiham, Balasubramanian, D.: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 653–667. Springer, Heidelberg (2011)
Sangiovanni-Vincentelli, A., Shukla, S., Sztipanovits, J., Yang, G.: Metamodeling: An Emerging representation Paradigm for System-Level Design. IEEE Design and Test of Computers (May/June 2009)
Jackson, E., Simko, G., Sztipanovits, J.: Diversely Enumerating System-Level Architectures. In: Proceedings of EMSOFT 2013, Embedded Systems Week, Montreal, CA, September 29-October 4 (2013)
Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374–425 (2001)
Jackson, E.K., Schulte, W.: Model Generation for Horn Logic with Stratified Negation. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol. 5048, pp. 1–20. Springer, Heidelberg (2008)
de 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)
Jackson, E.K., Sztipanovits, J.: Constructive Techniques for Meta- and Model-Level Reasoning. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 405–419. Springer, Heidelberg (2007)
Karsai, G., Maroti, M., Ledeczi, A., Gray, J., Sztipanovits, J.: Composition and cloning in modeling and meta-modeling. IEEE Transactions on Control Systems Technology 12(2), 263–278 (2004)
Lédeczi, Á., Bakay, Á., Maróti, M., Völgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific Design Environments. IEEE Computer 34(11), 44–51 (2001)
Wrenn, R., Nagel, A., Owens, R., Yao, D., Neema, H., Shi, F., Smyth, K., van Buskirk, C., Porter, J., Bapty, T., Neema, S., Sztipanovits, J., Ceisel, J., Mavris, D.: Towards Automated Exploration and Assembly of Vehicle Design Models. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2012, Chicago, IL, August 12-15 (2012)
Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The model integrated computing tool suite: Metaprogrammable tools for embedded control system design. In: Proceedings of the IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany (2006)
Sztipanovits, J.: Cyber Physical Systems: Convergence of Physical and Information Sciences. In: Information Technology, pp. 257–265. Oldenbourg Wissenschaftsverlag GmbH (June 2012)
Simko, G., Levendovszky, T., Maroti, M., Sztipanovits, J.: Towards a Theory for Cyber-Physical Systems Modeling. In: Proc. 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2013), Philadelphia, USA, April 08-11, pp. 1–6 (2013)
Simko, G., Lindecker, D., Levendovszky, T., Neema, S., Sztipanovits, J.: Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 471–487. Springer, Heidelberg (2013)
Eyisi, E., Zhang, Z., Koutsoukos, X., Porter, J., Karsai, G., Sztipanovits, J.: Model-Based Design and Integration of Cyber-Physical Systems: An Adaptive Cruise Control Case Studies. Journal of Control Science and Engineering, Special Issue on Embedded Model-Based Control 2013, Article ID 678016, 15 pages (2013)
Fritzson, P., Lattmann, Z., Pop, A., de Kleer, J., Janssen, B., Neema, S., Bapty, T., Koutsoukos, X., Klenk, M., Bobrow, D., Saha, B., Kurtoglu, T.: Verification and Design Exploration through Meta Tool Integration with OpenModelica. In: 10th International Modelica Conference 2014, Lund, Sweden, March 10-12 (2014)
Neema, H., Gohl, J., Lattmann, Z., Sztipanovits, J., Karsai, G., Neema, S., Bapty, T., Batteh, J., Tummescheit, H.: Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems. In: 10th International Modelica Conference 2014, Lund, Sweden, March 10-12 (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sztipanovits, J., Bapty, T., Neema, S., Howard, L., Jackson, E. (2014). OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds) From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science, vol 8415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54848-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-54848-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54847-5
Online ISBN: 978-3-642-54848-2
eBook Packages: Computer ScienceComputer Science (R0)