• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Contracts-based Control Integration into ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Partie d'ouvrage
Title :
Contracts-based Control Integration into Software Systems
Author(s) :
Křikava, Filip [Auteur]
Collet, Philippe [Auteur]
Université Nice Sophia Antipolis (1965 - 2019) [UNS]
Rouvoy, Romain [Auteur] refId
Université de Lille, Sciences et Technologies
Self-adaptation for distributed services and large software systems [SPIRALS]
Institut Universitaire de France [IUF]
Seinturier, Lionel [Auteur] refId
Université de Lille, Sciences et Technologies
Self-adaptation for distributed services and large software systems [SPIRALS]
Scientific editor(s) :
Rogerio de Lemos
David Garlan
Carlo Ghezzi
Holger Giese
Book title :
Software Engineering for Self-Adaptive Systems 3: Assurances
Publisher :
Springer
Publication date :
2017-05-01
HAL domain(s) :
Informatique [cs]/Génie logiciel [cs.SE]
Informatique [cs]/Informatique ubiquitaire
Informatique [cs]/Système d'exploitation [cs.OS]
English abstract : [en]
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 ...
Show more >
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.Show less >
Language :
Anglais
Audience :
Internationale
Popular science :
Non
ANR Project :
Très grands systèmes répartis auto-adaptatifs
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Files
Thumbnail
  • https://hal.inria.fr/hal-01257205v2/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.inria.fr/hal-01257205v2/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.inria.fr/hal-01257205v2/document
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017