A framework for the rigorous design of highly adaptive timed systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

A framework for the rigorous design of highly adaptive timed systems

Résumé

Adaptive systems can be regarded as a set of static programs and transitions between these programs. These transitions allow the system to adapt its behaviour in response to unexpected changes in its environment. Modelling highly dynamic systems is cumbersome, as these may go through a large number of adaptations. Moreover, often they must also satisfy real-time requirements whereas adaptations may not complete instantaneously. In this paper, we propose to model highly adaptive systems as dynamic real-time software product lines, where software products are able to change their features at runtime. Adaptive features allow one to design systems equipped with runtime reconfiguration capabilities and to model changes in their environment, such has failure modes. We define Featured Timed Game Automata, a formalism that combines adaptive features with discrete and real-time behaviour. We also propose a novel logic to express real-time requirements on adaptive systems, as well as algorithms to check a system against them. We implemented our method as part of PyECDAR, a model checker for timed systems.
Fichier principal
Vignette du fichier
formalise13report.pdf (239.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01087810 , version 1 (26-11-2014)

Identifiants

Citer

Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez. A framework for the rigorous design of highly adaptive timed systems. 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 2013, San Francisco, United States. pp.64 - 70, ⟨10.1109/FormaliSE.2013.6612279⟩. ⟨hal-01087810⟩
253 Consultations
103 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More