Aspect-Oriented Modeling of Railway Cyber Physical Systems Based on the Extension of AADL

Abstract

The railway system has developed from a purely physical system based on the laws of mechanics and chemistry, to a more sophisticated Cyber Physical System which embeds electronic components and control systems to improve performance and safety. Therefore, the system in the railway is a typical CPS, which is called the Railway Cyber-Physical System. The railway cyber physical system combines traditional state-based discrete control model and continuous models based on physical environments expressed by the classic differential equations which are the most suitable model for modeling physical system. Architecture Analysis and Design Language (AADL) is a standard architecture description language to design and evaluate software architectures for embedded systems already in use by a number of organizations around the world. In this paper we present our current effort to extend AADL to include new features for separation of concerns of railway cyber physical systems, we extend AADL in spatial aspect, dynamic continous aspect, physical world modeling aspect, formal specification aspect. Finally, we illustrate the proposed method via an example of railway cyber physical system.