Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
An Interface for Reducing Errors in Intravenous Drug Administration Read chapter Read first chapter

2014 | OriginalPaper | Chapter

Specification of Railway Cyber Physical Systems Using AADL

Author : Lichen Zhang

Published in: Advanced Technologies, Embedded and Multimedia for Human-centric Computing

Publisher: Springer Netherlands

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Integrated Approach for Modeling Cyber Physical Systems
next chapter Formal Specification of Railway Control Systems
Literature
1.
IEC62278:2002 Railway applications: specification and demonstration of reliability, availability, maintainability and safety (RAMS)
2.
IEC62279:2002 Railway applications: communications, signaling and processing systems– Software for railway control and protection systems
3.
IEC62280:2002 Railway applications: communication, signaling and processing systems –Safety related electronic systems for signaling
4.
Laprie C (1992) Dependability: basic concepts and terminology. Springer, BerlinMATH
5.
Svizienis A, Laprie JC, Randell B (2000) Dependability of computer systems: fundamental concepts, terminology, and examples. Technical report, LAAS-CNRS
6.
Feiler PH, Gluch DP, Hudak JJ (2006) The architecture analysis and design language (AADL): an introduction. CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
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)
8.
Hudak JJ, Feiler PH (2007) Developing aadl models for control systems: a practitioner’s guide
9.
Feiler PH, Gluch DP (2012) Model-based engineering with AADL: an introduction to the SAE architecture analysis and design language. Addison-Wesley Professional
10.
SAE AS-2C (2012) Architecture analysis and design language. SAE international document AS5506B(2012) Revision 2.1 of the SAE AADL standard
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 Rico
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-5283
13.
The story of AADL (2012) AADL Wiki. Software Engineering Institute, 2010. Web. 06 Jan 2012
14.
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–20
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 2008
17.
Modelica Association (2002) Modelica—a unified object-oriented language for physical systems modelling. Language specification. Technical report
18.
Modelica Association (2007) Modelica: A unified object- oriented language for physical systems modeling: language specification version 3.0. www.​modelica.​org
19.
OMG OMG unified modeling language TM (OMG UML). Superstructure Version 2.2, February 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 2012
21.
Nagel K, Schreckenberg M (1992) A cellular automaton model for freeway traffic. Phys I France 2(12):2221–2229CrossRef
22.
Metadata
Title
Specification of Railway Cyber Physical Systems Using AADL
Author
Lichen Zhang
Copyright Year
2014
Publisher
Springer Netherlands
Book
Advanced Technologies, Embedded and Multimedia for Human-centric Computing

Print ISBN: 978-94-007-7261-8

Electronic ISBN: 978-94-007-7262-5

Copyright Year: 2014

DOI
https://doi.org/10.1007/978-94-007-7262-5_45