Skip to Main content Skip to Navigation

Approche pour le développement de logiciels intégrant des concepts de qualité de service

Stéphanie Geoffroy 1
1 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 critical domains such as avionics, railways or automotive, to certify a system, it is required to demonstrate that it achieves its function, with respect to specified timing requirements. Indeed, longer-than-predicted function computing can make data erroneous, leading potentially to endanger people lives. Today, most approaches propose to ensure these Quality of Service requirements at platform level, e.g., through deterministic bandwidth, static time slots allocation and predefined scheduling. These constraints ensure applications can’t overpass allocated time slots; applications are then fed with requirements decoupled to their functionality. However, it shall be possible to certify timing requirements, dedicated to an application. Hence, guarantees at platform-level are not sufficient anymore. It should be possible to take into account these requirements from the stage of application design. Today, most of existing approaches in this domain, focus on supporting QoS at individual stages of the software development process, preventing requirements traceability. This thesis proposes a design-driven approach to supporting QoS throughout software development process, integrated in a tool-based methodology, namely DiaSuite. The QoS extension enriches the DiaSpec design language, with the capability to instantiate QoS requirements onto software components. A runtime execution support to monitoring these timing requirements, is then generated, directly from the specification. This thesis uniformly integrates timing concepts with error ones, around DiaSuite methodology, to propose a supervision layer that could lead to application reconfiguration in case of QoS contract violation. Contributions of this thesis are evaluated through respect of coherence and conformance critera, illustrated through a case study in avionics.
Document type :
Complete list of metadata

Cited literature [89 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Friday, August 28, 2015 - 10:03:26 AM
Last modification on : Wednesday, March 31, 2021 - 3:16:56 AM
Long-term archiving on: : Sunday, November 29, 2015 - 10:23:05 AM


Version validated by the jury (STAR)


  • HAL Id : tel-01111456, version 2



Stéphanie Geoffroy. Approche pour le développement de logiciels intégrant des concepts de qualité de service. Génie logiciel [cs.SE]. Université de Bordeaux, 2014. Français. ⟨NNT : 2014BORD0008⟩. ⟨tel-01111456v2⟩



Record views


Files downloads