Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques

Abstract : Safety-critical software (used in avionics, military or aerospace domains) must preserve their integrity, ensure a continuous operational state and enforce security of their data. There requirements are met through a dedicated development process that analyses and detects errors before system release. However, these methods are not sufficient and safety or security still occurs in such systems (e.g. explosion of Ariane 5, mission failure of Mars Climate Orbiter, etc). In addition, meeting safety and security becomes more and more difficult due to an increasing number of functionalities. This thesis introduces a new method to build safety-critical systems and ensure their safety and security requirements. The approach proposes patterns for the specification of safe and secure systems. Then, a dedicated development process relies on them to (i) validate, (ii) automatically implement and (iii) certify the system, enforcing its requirements from the specifications to the code. System validation (i) detects specification errors, ensuring its correctness and feasibility prior any development effort. The automatic implementation process (ii) translates system specification into code and ensures their requirements enforcement. The certification (iii) aspect verifies that specification requirements are met in the implementation by analyzing the system during its execution. It also evaluates its compliance against certification standards (such as DO178B).
Document type :
Theses
Domain :
Complete list of metadatas

Cited literature [114 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/pastel-00006301
Contributor : Ecole Télécom Paristech <>
Submitted on : Friday, September 10, 2010 - 8:00:00 AM
Last modification on : Thursday, October 17, 2019 - 12:36:07 PM
Long-term archiving on : Thursday, March 30, 2017 - 6:00:36 AM

Identifiers

  • HAL Id : pastel-00006301, version 1

Collections

Citation

Julien Delange. Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques. domain_other. Télécom ParisTech, 2010. Français. ⟨pastel-00006301⟩

Share

Metrics

Record views

477

Files downloads

532