Specifying and Modeling Railway Cyber Physical Systems by the Extension of AADL

Advances in computer technology and computer technology has enabled new generation railway cyber physical systems, where computing units are interacting with the physical environment not only through monitoring and decision making in the computing domain, but also through critical control operations on the physical properties and dynamic properties of the physical environment, including human physiology. The complexities of railway cyber physical systems make their development a significant technical challenge. In this paper, we propose an approach to specify and model railway cyber physical systems by the extension of AADL. We use AADL extension mechanism to model the physical world of railway cyber physical systems, the spatial aspect of railway cyber physical systems, and the dynamic aspect of railway cyber physical systems by integrating Modelica, Cellular automata (CA) and formal methods. Finally, we illustrate the proposed method via an example of railway cyber physical system.