Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception

Abstract : In many domains such as avionics, medecine or home automation, software applications play an increasingly important rolethat can even be critical for their environment. In order to trust these applications, their development is contrained by dependability requirements. Indeed, it is necessary to demonstrate that these high-level requirements are taken into account throughout the development cycle and concrete solutions are implemented to achieve compliance. Such constraints make the development of dependable applications particularly complex and difficult. Easing this process calls for the research of new development approaches that integrate dependability concepts and guide the developers during each step of the development of trustworthy applications.This thesis proposes to leverage a design-driven approach to guide the development of dependable applications. This approachis materialized through a tool-suite called DiaSuite and offers dedicated support for each stage of the development. Inparticular, a design language is used to describe both functional and non-functional applications. This language is based on adedicated paradigm and integrates dependability concepts such as error handling. From the description of an application, development support is generated to guide the implementation and verification stages. Indeed, the generation of a dedicated programming framework allows to guide the implementation while the generation of a formal model allows to guide the static verification and simulation support eases the testing. This approach is evaluated through case studies conducted in the domains of avionics and pervasive computing.
Complete list of metadatas

Cited literature [92 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00829477
Contributor : Abes Star <>
Submitted on : Monday, June 3, 2013 - 1:42:15 PM
Last modification on : Thursday, January 11, 2018 - 6:20:16 AM
Long-term archiving on: Wednesday, September 4, 2013 - 4:13:04 AM

File

ENARD_QUENTIN_2013_CORR.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00829477, version 1

Collections

Citation

Quentin Enard. Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception. Autre. Université Sciences et Technologies - Bordeaux I, 2013. Français. ⟨NNT : 2013BOR14781⟩. ⟨tel-00829477⟩

Share

Metrics

Record views

502

Files downloads

568