Modeling railway cyber physical systems based on AADL

Railway cyber physical system observes, plans, controls and manages the trains and the track-side equipment so as to meet operational goals without compromising on safety requirements. The quality of railway cyber physical systems is very important as their failure may cause catastrophic loss of life and /or properties. In this paper, we extend the Architecture Analysis and Design Language (AADL) to model physical world, continuous dynamic features and spatial-temporal requirements of railway cyber physical systems. We propose a method to transform the rule of Cellular Automata (CA) to AADL model for modeling spatial-temporal requirements and we propose an approach to describe the continuous dynamic features in AADL and transform the Modelica model to AADL model. The proposed method is illustrated by specification and modeling of communication based train control system (CBTC).