Model checking adaptive software with featured transition systems

Maxime Cordy; Andreas Classen; Patrick Heymans; Axel Legay; Pierre Schobbens

doi:10.1007/978-3-642-36249-1

Model checking adaptive software with featured transition systems

Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre Schobbens

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre

223 Téléchargements (Pure)

Résumé

We propose to see adaptive systems as systems with highly dynamic features. We model as features both the reconfigurations of the system, but also the changes of the environment, such as failure modes. The resilience of the system can then be defined as the fact that the system can select an adequate reconfiguration for each possible change of the environment. We must take into account that reconfiguration is often a major undertaking for the system: it has a high cost and it might make functions of the system unavailable for some time. These constraints are domain-specific. In this paper, we therefore provide a modelling language to describe these aspects, and a property language to describe the requirements on the adaptive system. We design algorithms that determine how the system must reconfigure itself to satisfy its intended requirements. © 2013 Springer-Verlag.

langue originale	Anglais
titre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Sous-titre	Principles, Models, and Techniques
rédacteurs en chef	Javier Cámara, Rogério de Lemos, Carlo Ghezzi , Antónia Lopes
Lieu de publication	Heidelberg Dordrecht London New York
Editeur	Springer
Pages	1-29
Nombre de pages	29
Volume	7740
ISBN (Electronique)	978-3-642-36249-1
ISBN (imprimé)	978-3-642-36248-4
Les DOIs	https://doi.org/10.1007/978-3-642-36249-1
Etat de la publication	Publié - 1 janv. 2013

Série de publications

Nom	Lecture Notes in Computer Science

Accès au document

10.1007/978-3-642-36249-1

ASAS12Accepted author manuscript, 466 KB

http://link.springer.com/book/10.1007/978-3-642-36249-1

Autres fichiers et liens

Link to publication in Scopus

Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.
CORDY, M., Heymans, P. & Schobbens, P. Y.
1/10/11 → 30/09/15
Projet: Projet de thèse
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P. Y., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Projet: Recherche
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Projet: Recherche

Contient cette citation

Cordy, M., Classen, A., Heymans, P., Legay, A., & Schobbens, P. (2013). Model checking adaptive software with featured transition systems. Dans J. Cámara, R. de Lemos, C. Ghezzi , & A. Lopes (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques (Vol 7740, p. 1-29). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-36249-1

Cordy, Maxime ; Classen, Andreas ; Heymans, Patrick et al. / Model checking adaptive software with featured transition systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Editeur / Javier Cámara ; Rogério de Lemos ; Carlo Ghezzi ; Antónia Lopes . Vol 7740 Heidelberg Dordrecht London New York : Springer, 2013. p. 1-29 (Lecture Notes in Computer Science).

@inbook{48a338709de94d58a753220e821c3c31,

title = "Model checking adaptive software with featured transition systems",

abstract = "We propose to see adaptive systems as systems with highly dynamic features. We model as features both the reconfigurations of the system, but also the changes of the environment, such as failure modes. The resilience of the system can then be defined as the fact that the system can select an adequate reconfiguration for each possible change of the environment. We must take into account that reconfiguration is often a major undertaking for the system: it has a high cost and it might make functions of the system unavailable for some time. These constraints are domain-specific. In this paper, we therefore provide a modelling language to describe these aspects, and a property language to describe the requirements on the adaptive system. We design algorithms that determine how the system must reconfigure itself to satisfy its intended requirements. {\textcopyright} 2013 Springer-Verlag.",

keywords = "Software Product Line, Software Product Line Engineering, Software verification, Model-Checking",

author = "Maxime Cordy and Andreas Classen and Patrick Heymans and Axel Legay and Pierre Schobbens",

note = "Publication editors : J. Camara, R. de Lemos, c. Ghezzi, A. Lopes",

year = "2013",

month = jan,

day = "1",

doi = "10.1007/978-3-642-36249-1",

language = "English",

isbn = "978-3-642-36248-4",

volume = "7740",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--29",

editor = "Javier C{\'a}mara and {de Lemos}, Rog{\'e}rio and {Ghezzi }, Carlo and {Lopes }, Ant{\'o}nia",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Cordy, M, Classen, A, Heymans, P, Legay, A & Schobbens, P 2013, Model checking adaptive software with featured transition systems. Dans J Cámara, R de Lemos, C Ghezzi & A Lopes (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. VOL. 7740, Lecture Notes in Computer Science, Springer, Heidelberg Dordrecht London New York, p. 1-29. https://doi.org/10.1007/978-3-642-36249-1

Model checking adaptive software with featured transition systems. / Cordy, Maxime; Classen, Andreas; Heymans, Patrick et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Ed. / Javier Cámara; Rogério de Lemos; Carlo Ghezzi ; Antónia Lopes . Vol 7740 Heidelberg Dordrecht London New York: Springer, 2013. p. 1-29 (Lecture Notes in Computer Science).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre

TY - CHAP

T1 - Model checking adaptive software with featured transition systems

AU - Cordy, Maxime

AU - Classen, Andreas

AU - Heymans, Patrick

AU - Legay, Axel

AU - Schobbens, Pierre

N1 - Publication editors : J. Camara, R. de Lemos, c. Ghezzi, A. Lopes

PY - 2013/1/1

Y1 - 2013/1/1

N2 - We propose to see adaptive systems as systems with highly dynamic features. We model as features both the reconfigurations of the system, but also the changes of the environment, such as failure modes. The resilience of the system can then be defined as the fact that the system can select an adequate reconfiguration for each possible change of the environment. We must take into account that reconfiguration is often a major undertaking for the system: it has a high cost and it might make functions of the system unavailable for some time. These constraints are domain-specific. In this paper, we therefore provide a modelling language to describe these aspects, and a property language to describe the requirements on the adaptive system. We design algorithms that determine how the system must reconfigure itself to satisfy its intended requirements. © 2013 Springer-Verlag.

AB - We propose to see adaptive systems as systems with highly dynamic features. We model as features both the reconfigurations of the system, but also the changes of the environment, such as failure modes. The resilience of the system can then be defined as the fact that the system can select an adequate reconfiguration for each possible change of the environment. We must take into account that reconfiguration is often a major undertaking for the system: it has a high cost and it might make functions of the system unavailable for some time. These constraints are domain-specific. In this paper, we therefore provide a modelling language to describe these aspects, and a property language to describe the requirements on the adaptive system. We design algorithms that determine how the system must reconfigure itself to satisfy its intended requirements. © 2013 Springer-Verlag.

KW - Software Product Line

KW - Software Product Line Engineering

KW - Software verification

KW - Model-Checking

UR - http://www.scopus.com/inward/record.url?scp=84873831818&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-36249-1

DO - 10.1007/978-3-642-36249-1

M3 - Chapter

SN - 978-3-642-36248-4

VL - 7740

T3 - Lecture Notes in Computer Science

SP - 1

EP - 29

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Cámara, Javier

A2 - de Lemos, Rogério

A2 - Ghezzi , Carlo

A2 - Lopes , Antónia

PB - Springer

CY - Heidelberg Dordrecht London New York

ER -

Cordy M, Classen A, Heymans P, Legay A, Schobbens P. Model checking adaptive software with featured transition systems. Dans Cámara J, de Lemos R, Ghezzi C, Lopes A, rédacteurs en chef, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Vol 7740. Heidelberg Dordrecht London New York: Springer. 2013. p. 1-29. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-36249-1

Model checking adaptive software with featured transition systems

Résumé

Série de publications

Accès au document

Autres fichiers et liens

Empreinte digitale

Projets

Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.

TPA: Théorie et Pratique des Automates et des Logiques

VLPL: Vérification de Lignes de Produits Logiciels

Contient cette citation