Skip to Main content Skip to Navigation
Theses

Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software

Abstract : In recent years, the development of critical systems demands more and more software. In order to reduce their costs of development and verification, actors in critical domains, such as avionics and automotive domains, are moving more and more towards model-driven engineering. In contrast, in the railway domain, for strategic and organizational reasons, actors remain faithful to traditional methods that allow them to take advantage of their knowledge. However, these conventional approaches suffer from a lack of abstraction and do not provide supports for traceability of concerns and formal verification, which are highly recommended, or even mandatory, for the development of railway safety-critical software. To address these shortcomings, we present in this thesis a systematic approach based on model driven engineering and component-based modelling, in order to better manage software complexity and traceability of concerns. In this dissertation, we provide in particular three major contributions. First, we provide an integrated set of meta-models for describing the concerns of software requirements, software components, and traceability between the concerns and software components. With the second contribution, we propose a formal support of our model to allow formal verification of temporal properties. Finally, with the last contribution, we propose a software component-based development and verification approach, called SARA, and included in V-lifecycle widely used in the railway domain. Experiments we conducted to validate our approach through a few case studies of the new European train control system ERTMS/ETCS, show that by using component model that explicitly include requirement traceability, we are able to provide a practical, scalable and reliable approach.
Complete list of metadatas

Cited literature [161 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01208083
Contributor : Marc Sango <>
Submitted on : Thursday, October 1, 2015 - 6:20:41 PM
Last modification on : Friday, November 27, 2020 - 2:20:10 PM
Long-term archiving on: : Saturday, January 2, 2016 - 11:28:09 AM

Identifiers

  • HAL Id : tel-01208083, version 1

Citation

Marc Sango. Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software. Software Engineering [cs.SE]. Université de Lille 1, 2015. English. ⟨tel-01208083⟩

Share

Metrics

Record views

631

Files downloads

985