Contracts-based Control Integration into Software Systems

Abstract : Among the different techniques that are used to design self-adaptive software systems, control theory allows one to design an adaptation policy whose properties, such as stability and accuracy, can be formally guaranteed under certain assumptions. However, in the case of software systems, the integration of these controllers to build complete feedback control loops is manual. More importantly it requires an extensive handcrafting of non-trivial implementation code. This may lead to inconsistencies and instabilities as no systematic and automated assurance can be obtained on the fact that the initial assumptions for the designed controller still hold in the resulting system. In this chapter, we rely on the principles of design-by-contract to ensure the correction and robustness of a self-adaptive software system built using feedback control loops. Our solution raises the level of abstraction upon which the loops are specified by allowing one to define and automatically verify system-level properties organized in contracts. They cover behavioral, structural and temporal architectural constraints as well as explicit interaction. These contracts are complemented by a first-class support for systematic fault handling. As a result, assumptions about the system operation conditions become more explicit and verifiable in a systematic way.
Type de document :
Chapitre d'ouvrage
R. de Lemos; D. Garlan; C. Ghezzi; H. Giese. Software Engineering for Self-Adaptive Systems 3: Assurances, Springer, 2017, <http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=13511>
Liste complète des métadonnées

https://hal.inria.fr/hal-01257205
Contributeur : Romain Rouvoy <>
Soumis le : jeudi 18 février 2016 - 10:10:18
Dernière modification le : mardi 28 février 2017 - 08:27:45
Document(s) archivé(s) le : jeudi 19 mai 2016 - 10:29:39

Fichier

sefsasb3-paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01257205, version 1

Citation

Filip Krikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier. Contracts-based Control Integration into Software Systems. R. de Lemos; D. Garlan; C. Ghezzi; H. Giese. Software Engineering for Self-Adaptive Systems 3: Assurances, Springer, 2017, <http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=13511>. <hal-01257205>

Partager

Métriques

Consultations de
la notice

303

Téléchargements du document

70