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
EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux], Inria Bordeaux - Sud-Ouest, LaBRI - Laboratoire Bordelais de Recherche en Informatique
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 :
Theses
Complete list of metadatas

Cited literature [89 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01111456
Contributor : Abes Star <>
Submitted on : Friday, August 28, 2015 - 10:03:26 AM
Last modification on : Tuesday, February 5, 2019 - 3:26:04 PM
Long-term archiving on : Sunday, November 29, 2015 - 10:23:05 AM

File

GATTI_STEPHANIE_2014.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01111456, version 2

Citation

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⟩

Share

Metrics

Record views

1392

Files downloads

810