Modeling Smart Cyber Physical Systems Based on ModelicaML

Cyber-physical systems are a kind of emerging large-scale distributed systems that are integrations of computation, networking, and physical worlds. Cyber physical systems are increasing scale and complexity with the growing pervasiveness of ICT and the development of the smart worlds such as smart factory, smart robotics, smart grids, smart cities, smart vehicles, smart healthcare systems, and smart homes. The growing interconnection of physical and virtual worlds of complex cyber physical systems, and the development of increasingly sophisticated intelligence techniques, has given rise to the next generation of CPS, that is referred to as smart cyber-physical systems (sCPS) which can efficiently operate, manage and control physical world and virtual world, and offer broad range of novel applications and services. Thus, smart cyber physical systems are complex cyber physical systems endowed with intelligent abilities. The main characteristic of such a new generation of smart cyber physical systems is the ability to interact with the physical worlds and adapt to new working environments through distributed intelligent mechanisms that executing and operating at the unit (single device), cluster (groups of devices) and network level (the network of devices). The properties like uncertainties, safety, reliability, and performance requirement, spatial-temporal requirement, and adaptation ability are very important, modeling smart cyber-physical systems must face these challenges and satisfy these specific requiremnts. In order to specify and model such kind of systems, we propose a new paradigm for specifying and modeling smart cyber physical systems based on software defined approach using Modelicaml. Software defined approach is a new way that help abstract the real world and virtual world with software components, this approach can simplify system specification, modeling and design. 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 based on software defined approach. The effectiveness of the approach is demonstrated with a case study of Vehicular Ad-hoc NETwork.