Model Checking Feature Interactions

Thibaut Le Guilly; Petur Olsen; Thomas Pedersen; Anders Peter Ravn; Arne Joachim Skou

doi:10.1007/978-3-319-30142-6_17

Model Checking Feature Interactions

Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders Peter Ravn, Arne Joachim Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

Abstract

This paper presents an offline approach to analyzing feature interactions in embedded systems. The approach consists of a systematic process to gather the necessary information about system components and their models. The model is first specified in terms of predicates, before being refined to timed automata. The consistency of the model is verified at different development stages, and the correct linkage between the predicates and their semantic model is checked. The approach is illustrated on a use case from home automation.

Originalsprog	Engelsk
Titel	Software Technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Redaktører	Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen
Forlag	Springer
Publikationsdato	2016
Sider	307-325
ISBN (Trykt)	978-3-319-30141-9
ISBN (Elektronisk)	978-3-319-30142-6
DOI	https://doi.org/10.1007/978-3-319-30142-6_17
Status	Udgivet - 2016

Navn	Communications in Computer and Information Science
Vol/bind	586
ISSN	1865-0929

Adgang til dokumentet

10.1007/978-3-319-30142-6_17

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P., & Skou, A. J. (2016). Model Checking Feature Interactions. I P. Lorenz, J. Cardoso, L. A. Maciaszek, & M. van Sinderen (red.), Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers (s. 307-325). Springer. https://doi.org/10.1007/978-3-319-30142-6_17

Le Guilly, Thibaut ; Olsen, Petur ; Pedersen, Thomas et al. / Model Checking Feature Interactions. Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. red. / Pascal Lorenz ; Jorge Cardoso ; Leszek A. Maciaszek ; Marten van Sinderen. Springer, 2016. s. 307-325 (Communications in Computer and Information Science, Bind 586).

@inbook{08e7a45455b74d9eb2dbaec555510ea0,

title = "Model Checking Feature Interactions",

abstract = "This paper presents an offline approach to analyzing feature interactions in embedded systems. The approach consists of a systematic process to gather the necessary information about system components and their models. The model is first specified in terms of predicates, before being refined to timed automata. The consistency of the model is verified at different development stages, and the correct linkage between the predicates and their semantic model is checked. The approach is illustrated on a use case from home automation.",

author = "{Le Guilly}, Thibaut and Petur Olsen and Thomas Pedersen and Ravn, {Anders Peter} and Skou, {Arne Joachim}",

year = "2016",

doi = "10.1007/978-3-319-30142-6_17",

language = "English",

isbn = "978-3-319-30141-9",

series = "Communications in Computer and Information Science",

publisher = "Springer",

pages = "307--325",

editor = "Pascal Lorenz and Jorge Cardoso and Maciaszek, {Leszek A.} and {van Sinderen}, Marten",

booktitle = "Software Technologies",

address = "Germany",

}

Le Guilly, T, Olsen, P, Pedersen, T, Ravn, AP & Skou, AJ 2016, Model Checking Feature Interactions. i P Lorenz, J Cardoso, LA Maciaszek & M van Sinderen (red), Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Springer, Communications in Computer and Information Science, bind 586, s. 307-325. https://doi.org/10.1007/978-3-319-30142-6_17

Model Checking Feature Interactions. / Le Guilly, Thibaut; Olsen, Petur; Pedersen, Thomas et al.
Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. red. / Pascal Lorenz; Jorge Cardoso; Leszek A. Maciaszek; Marten van Sinderen. Springer, 2016. s. 307-325 (Communications in Computer and Information Science, Bind 586).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

TY - CHAP

T1 - Model Checking Feature Interactions

AU - Le Guilly, Thibaut

AU - Olsen, Petur

AU - Pedersen, Thomas

AU - Ravn, Anders Peter

AU - Skou, Arne Joachim

PY - 2016

Y1 - 2016

N2 - This paper presents an offline approach to analyzing feature interactions in embedded systems. The approach consists of a systematic process to gather the necessary information about system components and their models. The model is first specified in terms of predicates, before being refined to timed automata. The consistency of the model is verified at different development stages, and the correct linkage between the predicates and their semantic model is checked. The approach is illustrated on a use case from home automation.

AB - This paper presents an offline approach to analyzing feature interactions in embedded systems. The approach consists of a systematic process to gather the necessary information about system components and their models. The model is first specified in terms of predicates, before being refined to timed automata. The consistency of the model is verified at different development stages, and the correct linkage between the predicates and their semantic model is checked. The approach is illustrated on a use case from home automation.

U2 - 10.1007/978-3-319-30142-6_17

DO - 10.1007/978-3-319-30142-6_17

M3 - Book chapter

SN - 978-3-319-30141-9

T3 - Communications in Computer and Information Science

SP - 307

EP - 325

BT - Software Technologies

A2 - Lorenz, Pascal

A2 - Cardoso, Jorge

A2 - Maciaszek, Leszek A.

A2 - van Sinderen, Marten

PB - Springer

ER -

Le Guilly T, Olsen P, Pedersen T, Ravn AP, Skou AJ. Model Checking Feature Interactions. I Lorenz P, Cardoso J, Maciaszek LA, van Sinderen M, red., Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Springer. 2016. s. 307-325. (Communications in Computer and Information Science, Bind 586). doi: 10.1007/978-3-319-30142-6_17

Model Checking Feature Interactions

Abstract

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater