Skip to main content
SpringerLink
Log in

Specification of Communication Based Train Control System Using AADL

  • Conference paper
Mobile, Ubiquitous, and Intelligent Computing

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 274))

  • 2714 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. IEC62278:2002, Railway applications: Specification and demonstration of reliability, availability, maintainability and safety (RAMS)

    Google Scholar 

  2. IEC62279:2002, Railway applications: Communications, signaling and processing systems–Software for railway control and protection systems

    Google Scholar 

  3. EC62280:2002, Railway applications: Communication, signaling and processing systems–Safety related electronic systems for signaling

    Google Scholar 

  4. Laprie, J.C. (ed.): Dependability: Basic Concepts and Terminology. Springer, Secaucus (1992)

    Google Scholar 

  5. Avizienis, A., Laprie, J.-C., Randell, B.: Dependability of computer systems: Fundamental concepts, terminology, and examples (2000)

    Google Scholar 

  6. Hudak, J.J., Feiler, P.H.: Developing aadl models for control systems: A practitioner’s guide (2007)

    Google Scholar 

  7. Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional (2012)

    Google Scholar 

  8. Muhammad, N., Vandewoude, Y., Berbers, Y., van Loo, S.: Modelling embedded systems with AADL: A practical study. In: New Advanced Technologies, pp. 247–263. Intech (2010)

    Google Scholar 

  9. De Niz, D., Feiler, P.H.: Aspects in the industry standard AADL. In: Proceedings of the 10th International Workshop on Aspect-oriented Modeling, pp. 15–20. ACM press (2007)

    Google Scholar 

  10. Michotte, L., Vergnaud, T., Feiler, P.H., France, R.B.: Aspect oriented modeling of component architectures using AADL. In: New Technologies, Mobility and Security, NTMS 2008, pp. 1–6. IEEE (2008)

    Google Scholar 

  11. Modelica Association, Modelica - a unified object-oriented language for physical systems modeling. Language specification (2002)

    Google Scholar 

  12. Modelica Association, Modelica: a unified object-oriented language for physical systems modeling: Language. Specification Version 3.0 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Software Engineering Institute, East China Normal University, Shanghai, 200062, Shanghai, China

    Lichen Zhang

  2. Software Engineering Institure, East China Normal University, 200062, Shanghai, China

    Bingqing Xu

Authors
  1. Lichen Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bingqing Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lichen Zhang .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Seoul University of Science & and Technology (SeoulTech), Seoul, Korea, Republic of (South Korea)

    James J. (Jong Hyuk) Park

  2. Biomedical Informatics Neuroscience, Ohio State University Center for Biomedical Engineering, Columbus, Ohio, USA

    Hojjat Adeli

  3. Dept of Computer Education, Jeju National University Teachers College, Jeju Special Self-Governing Province, Korea, Republic of (South Korea)

    Namje Park

  4. Ryerson University Dept. Computer Science, Toronto, Ontario, Canada

    Isaac Woungang

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, L., Xu, B. (2014). Specification of Communication Based Train Control System Using AADL. In: Park, J., Adeli, H., Park, N., Woungang, I. (eds) Mobile, Ubiquitous, and Intelligent Computing. Lecture Notes in Electrical Engineering, vol 274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40675-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40675-1_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40674-4

  • Online ISBN: 978-3-642-40675-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation