Skip to Main content Skip to Navigation
New interface

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 metadata

Cited literature [92 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Monday, June 3, 2013 - 1:42:15 PM
Last modification on : Saturday, June 25, 2022 - 10:33:40 AM
Long-term archiving on: : Wednesday, September 4, 2013 - 4:13:04 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00829477, version 1



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⟩



Record views


Files downloads