Aspect-oriented modeling for railway control systems

Train control systems have very important requirements which are the concerns about timing aspects, safety aspects, spatial aspects and dynanic continous aspects. Aspect-oriented development method can decreease the complexity of models by separating its different concerns of train control system. The high need for product quality is beyond dispute as human life may be endangered if a railway controller is malfunctioning. The struggle for high-quality software development methods is of highest importance in railway control systems. 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 control 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 control system.