Modeling large scale complex cyber physical control systems based on system of systems engineering approach

Most cyber physical systems are composed of subsystems. The subsystems themselves may have smaller sub-systems. Complex cyber physical systems rely heavily on the interplay of dozens of individual sub-systems. Thus, cyber physical systems are typical system of systems (SoS). In order to specify and model such kind of systems, we need develop specification and modeling methods which would be capable to encompass the systems of systems (SoS) specific properties of cyber physical systems. In this paper, we propose a new paradigm for specifying and modeling automotive cyber physical systems based on system-of-systems approach. In this paper, we propose an approach to support specification and modeling automotive cyber physical systems based on systems of systems engineering in the well established modeling language Modelicaml. The main aim of ModelicaML is to enable an efficient and effective way to use Modelica, UML and SysML models reusing notations that are also used for software modeling. We apply formal specification method in requirement analysis process in order to ensure that the software requirements model satisfies required system function and performance goals and constraints, including safety. The effectiveness of the approach is demonstrated with a case study of Vehicular Ad-hoc NETwork.