Specification of Railway Cyber Physical Systems Using AADL

Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 260)


Railway cyber physical systems involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but the complexities of railway cyber physical systems make their development a significant technical challenge. Various development technologies are now indispensable for quickly developing safe and reliable transportation systems. In this paper, we apply AADL to specify railway cyber physical systems and give a detailed analysis and design of the CBTC system. The CBTC system is split into four subsystems and makes friendly communication between the other three subsystems connecting to the data communication subsystem. We apply AADL to model each subsystem and give a detailed analysis and modeling, and make an effective integration of all subsystems together to form a complete CBTC system finally.


Railway cyber physical systems AADL Specification CBTC 



This work is supported by Shanghai Knowledge Service Platform Project (No. ZF1213), national high technology research and development program of China (No. 2011AA010101), national basic research program of China (No. 2011CB302904), the national science foundation of China under grant (No. 61173046, No. 61021004, No. 61061130541, No. 91118008), doctoral program foundation of institutions of higher education of China (No. 20120076130003),national science foundation of Guangdong province under grant (No.S2011010004905).


  1. 1.
    IEC62278:2002 Railway applications: specification and demonstration of reliability, availability, maintainability and safety (RAMS)Google Scholar
  2. 2.
    IEC62279:2002 Railway applications: communications, signaling and processing systems– Software for railway control and protection systemsGoogle Scholar
  3. 3.
    IEC62280:2002 Railway applications: communication, signaling and processing systems –Safety related electronic systems for signalingGoogle Scholar
  4. 4.
    Laprie C (1992) Dependability: basic concepts and terminology. Springer, BerlinMATHGoogle Scholar
  5. 5.
    Svizienis A, Laprie JC, Randell B (2000) Dependability of computer systems: fundamental concepts, terminology, and examples. Technical report, LAAS-CNRSGoogle Scholar
  6. 6.
    Feiler PH, Gluch DP, Hudak JJ (2006) The architecture analysis and design language (AADL): an introduction. CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INSTGoogle Scholar
  7. 7.
    Feiler PH, Lewis B, Vestal S et al (2005) An overview of the SAE architecture analysis and design language (AADL) standard: a basis for model-based architecture-driven embedded systems engineering. Springer, US, pp 3–15 (Architecture Description Languages)Google Scholar
  8. 8.
    Hudak JJ, Feiler PH (2007) Developing aadl models for control systems: a practitioner’s guideGoogle Scholar
  9. 9.
    Feiler PH, Gluch DP (2012) Model-based engineering with AADL: an introduction to the SAE architecture analysis and design language. Addison-Wesley ProfessionalGoogle Scholar
  10. 10.
    SAE AS-2C (2012) Architecture analysis and design language. SAE international document AS5506B(2012) Revision 2.1 of the SAE AADL standardGoogle Scholar
  11. 11.
    Delange J (2012) Towards a model-driven engineering software development framework. In: The third analytic virtual integration of cyber-physical systems workshop, 04 Dec 2012, Porto RicoGoogle Scholar
  12. 12.
    Feiler P, Hugues J, Sokolsky P (Eds) (2012) Oleg Architecture-driven semantic analysis of embedded systems. Dagstuhl Seminar 12272. Dagstuhl Report, 2(7):30–55. ISSN 2192-5283Google Scholar
  13. 13.
    The story of AADL (2012) AADL Wiki. Software Engineering Institute, 2010. Web. 06 Jan 2012Google Scholar
  14. 14.
    Muhammad N, Vandewoude Y, Berbers Y, van Loo S Modelling embedded systems with AADL: a practical study.
  15. 15.
    de Niz D, Feiler PH Aspects in the industry standard AADL. In: AOM ‘07 Proceedings of the 10th international workshop on aspect-oriented modeling. pp 15–20Google Scholar
  16. 16.
    Michotte L, Vergnaud T, Feiler P, France R (2008) Aspect oriented modeling of component architectures using AADL. In: Proceedings of the second international conference on new technologies, mobility and security, 5–7 Nov 2008Google Scholar
  17. 17.
    Modelica Association (2002) Modelica—a unified object-oriented language for physical systems modelling. Language specification. Technical reportGoogle Scholar
  18. 18.
    Modelica Association (2007) Modelica: A unified object- oriented language for physical systems modeling: language specification version 3.0.
  19. 19.
    OMG OMG unified modeling language TM (OMG UML). Superstructure Version 2.2, February 20Google Scholar
  20. 20.
    De Saqui-Sannes P, Hugues J (2012) Combining SysML and AADL for the design, validation and implementation of critical systems. In: ERTSS 2012 (Embedded Real Time Software and Systems), Toulouse, France, 01–03 Feb 2012Google Scholar
  21. 21.
    Nagel K, Schreckenberg M (1992) A cellular automaton model for freeway traffic. Phys I France 2(12):2221–2229CrossRefGoogle Scholar
  22. 22.
    Culik K, Hurd LP (1990) Formal languages and global cellular automaton behavior. Phys D 45(13):396–403MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  1. 1.Shanghai Key Laboratory of Trustworthy ComputingEast China Normal UniversityShanghaiChina

Personalised recommendations