The development of railway cyber physical systems is a challenging process. 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 continuous aspect, physical world modeling aspect. Finally, we illustrate the proposed method via an example of specification of communication based train control system. © Springer-Verlag Berlin Heidelberg 2014.
CITATION STYLE
Zhang, L., & Xu, B. (2014). Specification of communication based train control system using AADL. In Lecture Notes in Electrical Engineering (Vol. 274 LNEE, pp. 63–68). Springer Verlag. https://doi.org/10.1007/978-3-642-40675-1_10
Mendeley helps you to discover research relevant for your work.