Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus

The automobile is no longer purely physical system and has evolved into more complex and technologically advanced Cyber physical system (CPS), which embeds control software and electronic control units to improve safety and performance. Formal specification technologies are essential for the rapid development of reliable and safe transportation system. In this study, the Hybrid Relation Calculus, a new formal specification formwork, which is used to develop automotive cyber physical systems. This new formal specification framework can handle not only continuous system about differential equation, but also discrete system without differential equation. The formal method of hybrid relation calculus can model physical elements and their communication with intelligent units. This study takes the distributed vehicle safety cruise intelligent transportation system as the application goal, and uses the hybrid relational calculus programming language to describe and model the automotive cyber physical system. The study of automotive cyber physical system case shows that applying the new formal specification framework to describe automotive cyber physics system can lead to each subpart more detailed and reduce the complexity, so that it is convenient to understand the continuous motion state of the automotive cyber physics systems.