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

Quentin Enard 1, 2
2 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Abstract : In many domains such as avionics, medecine or home automation, software applications play an increasingly important role that 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 approach is materialized through a tool-suite called DiaSuite and offers dedicated support for each stage of the development. In particular, a design language is used to describe both functional and non-functional applications. This language is based on a dedicated 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.
Document type :
Theses
Complete list of metadatas

Cited literature [92 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00839298
Contributor : Quentin Enard <>
Submitted on : Thursday, June 27, 2013 - 4:22:51 PM
Last modification on : Tuesday, February 5, 2019 - 3:26:04 PM

Identifiers

  • HAL Id : tel-00839298, version 1

Citation

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

Share

Metrics

Record views

455

Files downloads

431