Including variability of physical models into the design automation of cyber-physical systems

A good cyber-physical-systems (CPS) design methodology must conduct trade-off analysis of both the physical characteristics of the CPS as well as its cyber sub-system in a holistic manner. This paper presents a design space exploration (DSE) approach for CPSs that emphasizes the variabilities of the physical subsystem and control aspects of the system. We propose the application of parameterizable physical models and automatic recalculation of control algorithm parameters for the explored systems. The resulting parameterizable models can be applied in a systematic simulation-based DSE framework that facilitates the identification of superior system configurations. We applied the proposed design flow to a real non-linear inverted pendulum system with a range of physical and cyber settings. The results show the feasibility and effectiveness of our approach in the design of physical and control parts of CPSs. Our work supplements existing work on cyber system modeling and plays an integral part in the design automation of such systems.

[1]  Alberto L. Sangiovanni-Vincentelli,et al.  Co-design of control algorithm and embedded platform for building HVAC systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[2]  Michael Glaß,et al.  A co-simulation approach for control performance analysis during design space exploration of cyber-physical systems , 2011, SIGBED.

[3]  Marcia Kilchenman O'Malley,et al.  Mathematical equations as executable models of mechanical systems , 2010, ICCPS '10.

[4]  Donald E. Kirk,et al.  Optimal control theory : an introduction , 1970 .

[5]  Arquimedes Canedo,et al.  Context-sensitive synthesis of executable functional models of cyber-physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[6]  David Broman,et al.  Meta-Languages and Semantics for Equation-Based Modeling and Simulation , 2010 .

[7]  Gabor Karsai,et al.  Design Space Exploration and Manipulation for Cyber Physical Systems , 2014 .

[8]  K.-E. Arzen,et al.  How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime , 2003, IEEE Control Systems.

[9]  Fumin Zhang,et al.  Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems , 2008, 2008 Real-Time Systems Symposium.

[10]  Edward A. Lee,et al.  A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[11]  Samarjit Chakraborty,et al.  Co-design of cyber-physical systems via controllers with flexible delay constraints , 2011, 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011).

[12]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[13]  Petru Eles,et al.  Control-quality driven design of cyber-physical systems with robustness guarantees , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[14]  Edward A. Lee,et al.  Cyber-physical system design contracts , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).