A Multidisciplinary Design Methodology for Cyber-physical Systems

Designing cyber-physical systems is a challenge originating from the multidisciplinary and mixed-signal requirements. In order to handle this challenge, many design languages have been developed, but none is able to connect different application domains adequately. This paper proposes a new system based view for cyber-physical system design which can be easily adapted by MARTE or SysML, as it uses a model based design technique. Instead of defining another UML profile, we present an intuitive idea for the development of cyber-physical systems by refinement and introduce new abstraction layers that help to describe operating system and mixed-signal issues. Using new abstraction layers, it is now possible to support all views of the platform based design by using one consistent language. The approach explicitly distinguishes between the physical system and the computational system. The benefit of this new approach is presented in a case study where a cyber-physical system is designed.

[1]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[2]  Matthias Traub,et al.  Durchgängige Timing-Bewertung von Vernetzungsarchitekturen und Gateway-Systemen im Kraftfahrzeug , 2010 .

[3]  Alberto L. Sangiovanni-Vincentelli,et al.  Platform-Based Design for Embedded Systems , 2005, Embedded Systems Handbook.

[4]  Klaus Buchenrieder,et al.  Generating MARTE allocation models from activity threads , 2008, 2008 Forum on Specification, Verification and Design Languages.

[5]  Rolf Ernst,et al.  Formal Methods for System Level Performance Analysis and Optimization , 2009 .

[6]  Andreas Gerstlauer,et al.  Automatic Layer-Based Generation of System-On-Chip Bus Communication Models , 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Bran Selic,et al.  Modeling and Analysis of Real-Time and Embedded Systems , 2005, MoDELS.

[8]  Kai Richter Compositional scheduling analysis using standard event models: the SymTA/S approach , 2005 .

[9]  M. Chinnadurai,et al.  HIGH LEVEL SYNTHESIS , 2011 .

[10]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[11]  Edward A. Lee Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[12]  Frank Slomka,et al.  Comparative Application of Real-Time Verification Methods to an Automotive Architecture , 2010 .

[13]  Alberto L. Sangiovanni-Vincentelli,et al.  Platform-Based Design and Software Design Methodology for Embedded Systems , 2001, IEEE Des. Test Comput..

[14]  Pierre Boulet,et al.  Repetitive Allocation Modeling with MARTE , 2007 .

[15]  Christian Haubelt,et al.  A system-level synthesis approach from formal application models to generic bus-based MPSoCs , 2010, 2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

[16]  Frank Slomka,et al.  A general time model for the specification and design of embedded real-time systems , 2003, Microelectron. J..

[17]  Ernesto Wandeler,et al.  Modular performance analysis and interface based design for embedded real time systems , 2006 .

[18]  Frank Slomka,et al.  Event Stream Calculus for Schedulability Analysis , 2009, IESS.