High-level Specification and Modeling of Cyber-physical Systems

Software development for cyber-physical systems is different and more complicated than conventional computer-based systems, this is because of the hybrid nature of these systems and their complex general properties. This paper proposes a simplified approach to higher-level formal specification and modeling of cyber-physical systems as a way to raise the level of abstraction of the development of these systems. The Train-Gate System is presented as a case study that shows the specification of the timing constraints, modeling, and the simulation aspects of this study. The results of the simulation display the reaction times, response times, throughput, and the deadlines missed.