Janos Sztipanovits
ABSTRACT
Design automation tools evolved to support the principle of "separation of concerns" to manage engineering complexity. Accordingly, we find tool suites that are vertically integrated with limited support (even intention) for horizontal integratability (i.e. integration across disciplinary boundaries). CPS challenges these established boundaries and with this - market conditions. The question is how to facilitate reorganization and create the foundation and technologies for composable CPS design tool chains that enables reuse of existing commercial and open source tools? In this paper we describe some of the lessons learned in the design and implementation of a design automation tool suite for complex cyber-physical systems (CPS) in the vehicle domain. The tool suite followed a model- and component-based design approach to match the significant increase in design productivity experienced in several narrowly focused homogeneous domains, such as signal processing, control and aspects of electronic design. The primary challenge in the undertaking was the tremendous heterogeneity of complex cyber-physical systems (CPS), where such as vehicles has not yet been achieved. This paper describes some of the challenges addressed and solution approaches to building a comprehensive design tool suite for complex CPS.
- Eremenko, Paul: "Philosophical Underpinnings of Adaptive Vehicle Make," DARPA-BAA-12-15. Appendix 1, December 5, 2011Google Scholar
- Sztipanovits, J., T. Bapty, S. Neema, X. Koutsoukos, and J. Scott, The META Toolchain: Accomplishments and Open Challenges, no. ISIS-15-102, 2015. (download: http://www.isis.vanderbilt.edu/publications)Google Scholar
- Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, S. Neema, and J. Scott, Integration Platform Technology Components in the META Toolchain, no. ISIS-15-110, Nashville, Institute for Software Integrated Systems, 01/2015Google Scholar
- 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, LNCS 8415 (pp. 235--249), 2014Google Scholar
- Simko, G., Levendovszky, T., Neema, S., Jackson, E., Bapty, T., Porter, J., Sztipanovits, J.: "Foundation for Model Integration: Semantic Backplane" Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2012 August 12--15, 2012, Chicago, ILGoogle Scholar
- Neema, H., Z. Lattmann, P. Meijer, J. Klingler, S. Neema, T. Bapty, J. Sztipanovits, and G. Karsai: "Design Space Exploration and Manipulation for Cyber Physical Systems," IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Springer-Verlag Berlin Heidelberg 2014.Google Scholar
- Simko, G., Lindecker, D., Levendovszky, T., Neema, S., & Sztipanovits, J. (2013). Specification of Cyber-Physical Components with Formal Semantics--Integration and Composition. In Model-Driven Engineering Languages and Systems (pp. 471--487). Springer Berlin Heidelberg.Google ScholarDigital Library
- Lattmann, Zs., Nagel, A., Scott, J., Smyth, K., vanBuskirk, C., Porter, J., Neema, S., Bapty, T., Sztipanovits, J.: "Towards Automated Evaluation of Vehicle Dynamics in System-Level Design," Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2012 August 12--15, 2012, Chicago, ILGoogle Scholar
- E. K. Jackson, T. Levendovszky, and D. Balasubramanian, "Reasoning about Metamodeling with Formal Specifications and Automatic Proofs," in Model Driven Engineering Languages and Systems, vol. 6981, J. Whittle, T. Clark, and T. Kühne, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 653--667 Google ScholarDigital Library
- Jackson, E., Sztipanovits, J.: 'Formalizing the Structural Semantics of Domain-Specific Modeling Languages," Journal of Software and Systems Modeling pp. 451--478, September 2009Google Scholar
- O. L. de Weck, "Feasibility of a 5x speedup in system development due to meta design," in 32nd ASME Computers and Information in Engineering Conference, Aug. 2012, pp. 1105--1110Google Scholar
- E. K. Jackson and W. Schulte, "Model Generation for Horn Logic with Stratified Negation," in Formal Techniques for Networked and Distributed Systems -- FORTE 2008, vol. 5048, K. Suzuki, T. Higashino, K. Yasumoto, and K. El-Fakih, Eds. Springer Berlin Heidelberg, pp. 1--2 Google ScholarDigital Library
Index Terms
- Design tool chain for cyber-physical systems: lessons learned
Recommendations
Cyber-physical systems: the next computing revolution
DAC '10: Proceedings of the 47th Design Automation ConferenceCyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled and integrated by a computing and communication core. Just as the internet transformed how humans interact with one another, cyber-...
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
FORMALISE '15: Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software EngineeringThe engineering of dependable cyber-physical systems (CPSs) is inherently collaborative, demanding cooperation between diverse disciplines. A goal of current research is the development of integrated tool chains for model-based CPS design that support ...
Towards a Unified Framework for Cyber-Physical Systems (CPS)
CDEE '10: Proceedings of the 2010 First ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded SystemsCyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today's computing and ...
Comments