Model Checking Feature Interactions

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Abstrakt

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.
OriginalsprogEngelsk
TitelSoftware Technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
RedaktørerPascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen
ForlagSpringer
Publikationsdato2016
Sider307-325
ISBN (Trykt)978-3-319-30141-9
ISBN (Elektronisk)978-3-319-30142-6
DOI
StatusUdgivet - 2016
NavnCommunications in Computer and Information Science
Vol/bind586
ISSN1865-0929

Fingeraftryk

Dyk ned i forskningsemnerne om 'Model Checking Feature Interactions'. Sammen danner de et unikt fingeraftryk.

Citationsformater