Safety Component-based Approach and its Application to ERTMS/ETCS On-board Train Control System

Safety-critical software is becoming more and more complex and at the same time it operates in frequently changing environments on which it reacts by reconfiguring its architecture. Thus, an appropriate modelling approach is needed to reduce the complexity of designing and to enable the verification of dynamic reconfiguration behaviour before the deployment at runtime. The paradigm of software component-based engineering provides an essential support for this. However, composing software from many reconfigurable components can lead to a huge number of possible compositional configurations difficult to handle at design time. Moreover, analysing all possible sequences of reconfiguration, including failure situations, is far beyond feasibility without an appropriate abstraction and granularity levels. In this paper, the authors propose a hierarchical component-based design approach to reduce the complexity of designing and to analyse the dynamic reconfiguration behaviour. The authors illustrate an approach with a case study derived from European Rail Traffic Management System/European Train Control System ERTMS/ETCS level 2.

Language

  • English

Media Info

  • Media Type: Digital/other
  • Features: Figures; References; Tables;
  • Pagination: 10p
  • Monograph Title: Transport Research Arena (TRA) 2014 Proceedings

Subject/Index Terms

Filing Info

  • Accession Number: 01531189
  • Record Type: Publication
  • Files: VTI, TRIS, ATRI
  • Created Date: Jul 7 2014 11:57AM