loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Thomas Pedersen ; Thibaut Le Guilly ; Anders P. Ravn and Arne Skou

Affiliation: Aalborg University, Denmark

Keyword(s): Feature Interaction, Control Systems, Model-driven Development, Home Automation, Model Checking, Timed Automata.

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Formal Methods ; Model-Driven Engineering ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: This paper presents a method to check for feature interactions in a system assembled from independently developed concurrent processes as found in many reactive systems. The method combines and refines existing definitions and adds a set of activities. The activities describe how to populate the definitions with models to ensure that all interactions are captured. The method is illustrated on a home automation example with model checking as analysis tool. In particular, the modelling formalism is timed automata and the analysis uses UPPAAL to find interactions.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.235.139.122

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Pedersen, T.; Le Guilly, T.; Ravn, A. and Skou, A. (2015). A Method for Model Checking Feature Interactions. In Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT 2015) - ICSOFT-EA; ISBN 978-989-758-114-4, SciTePress, pages 219-228. DOI: 10.5220/0005516402190228

@conference{icsoft-ea15,
author={Thomas Pedersen. and Thibaut {Le Guilly}. and Anders P. Ravn. and Arne Skou.},
title={A Method for Model Checking Feature Interactions},
booktitle={Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT 2015) - ICSOFT-EA},
year={2015},
pages={219-228},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005516402190228},
isbn={978-989-758-114-4},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT 2015) - ICSOFT-EA
TI - A Method for Model Checking Feature Interactions
SN - 978-989-758-114-4
AU - Pedersen, T.
AU - Le Guilly, T.
AU - Ravn, A.
AU - Skou, A.
PY - 2015
SP - 219
EP - 228
DO - 10.5220/0005516402190228
PB - SciTePress