Applying System of Systems Engineering Approach to Build Complex Cyber Physical Systems

Cyber physical systems are growing in scale and complexity. The cyber physical systems such as transportation systems and aerospace systems are systems of systems that are large scale concurrent and distributed systems and comprised of complex systems. 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 cyber physical systems based on system-of-systems approach. In this paper, we extend AADL in modeling dynamic continuous aspect and spatial aspect, and integrate AADL with Modelica, and formal methods to specify and model cyber physical systems based on system-of-systems approach. We specify cyber part of cyber physical systems with, and model physical part of cyber physical systems with Modelica. 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.