A model for vehicular Cyber-Physical System based on extended hybrid automaton

Cyber-Physical Systems (CPS) are networks of embedded systems with the integrations of computation and physical processes. Modern cars consist of many ECUs, which form a complex environment of embedded network, a typical vehicular CPS. This paper analyses the features of vehicular CPS software in depth such as heterogeneity and distributed, then we propose a modeling method for vehicular Cyber-Physical System with extended hybrid automata as formal modeling tools from the perspective of service providing, treating the monitor and control device entities as device services respectively. At last, a case of the vehicle speed control system shows the validity of the modeling method.

[1]  Manfred Broy,et al.  Cross-layer analysis, testing and verification of automotive control software , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[2]  Manfred Broy,et al.  Engineering Automotive Software , 2007, Proceedings of the IEEE.

[3]  Rajeev Alur,et al.  Optimal scheduling for constant-rate multi-mode systems , 2012, HSCC '12.

[4]  Edward A. Lee,et al.  Distributed Real-Time Software for Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[5]  Sungyoung Lee,et al.  V-Cloud: vehicular cyber-physical systems and cloud computing , 2011, ISABEL '11.

[6]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[7]  Ge Li,et al.  Modeling and Verifying Services of Internet of Things Based on Timed Automata , 2011 .

[8]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[9]  M. Broy.  Automotive software and systems engineering , 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..

[10]  Rajeev Alur,et al.  Formal verification of hybrid systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[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).