Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

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 18.220.171.141

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. P. 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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic