Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
IEC62278:2002 Railway applications: specification and demonstration of reliability, availability, maintainability and safety (RAMS)
IEC62279:2002 Railway applications: communications, signaling and processing systems– Software for railway control and protection systems
IEC62280:2002 Railway applications: communication, signaling and processing systems –Safety related electronic systems for signaling
Laprie C (1992) Dependability: basic concepts and terminology. Springer, Berlin
Svizienis A, Laprie JC, Randell B (2000) Dependability of computer systems: fundamental concepts, terminology, and examples. Technical report, LAAS-CNRS
Feiler PH, Gluch DP, Hudak JJ (2006) The architecture analysis and design language (AADL): an introduction. CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
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)
Hudak JJ, Feiler PH (2007) Developing aadl models for control systems: a practitioner’s guide
Feiler PH, Gluch DP (2012) Model-based engineering with AADL: an introduction to the SAE architecture analysis and design language. Addison-Wesley Professional
SAE AS-2C (2012) Architecture analysis and design language. SAE international document AS5506B(2012) Revision 2.1 of the SAE AADL standard
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 Rico
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-5283
The story of AADL (2012) AADL Wiki. Software Engineering Institute, 2010. Web. 06 Jan 2012
Muhammad N, Vandewoude Y, Berbers Y, van Loo S Modelling embedded systems with AADL: a practical study. www.intechopen.com/download/pdf/10732
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–20
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 2008
Modelica Association (2002) Modelica—a unified object-oriented language for physical systems modelling. Language specification. Technical report
Modelica Association (2007) Modelica: A unified object- oriented language for physical systems modeling: language specification version 3.0. www.modelica.org
OMG OMG unified modeling language TM (OMG UML). Superstructure Version 2.2, February 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 2012
Nagel K, Schreckenberg M (1992) A cellular automaton model for freeway traffic. Phys I France 2(12):2221–2229
Culik K, Hurd LP (1990) Formal languages and global cellular automaton behavior. Phys D 45(13):396–403
Acknowledgments
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).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media Dordrecht
About this paper
Cite this paper
Zhang, L. (2014). Specification of Railway Cyber Physical Systems Using AADL. In: Huang, YM., Chao, HC., Deng, DJ., Park, J. (eds) Advanced Technologies, Embedded and Multimedia for Human-centric Computing. Lecture Notes in Electrical Engineering, vol 260. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-7262-5_45
Download citation
DOI: https://doi.org/10.1007/978-94-007-7262-5_45
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-7261-8
Online ISBN: 978-94-007-7262-5
eBook Packages: EngineeringEngineering (R0)