Statecharts: A visual formalism for complex systems
Science of Computer Programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Safeware: system safety and computers
Safeware: system safety and computers
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Symbolic Model Checking
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Mastering SIMULINK
Defining and translating a "safe" subset of simulink/stateflow into lustre
Proceedings of the 4th ACM international conference on Embedded software
Feature interactions in embedded control systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Feature Interaction Detection in the Automotive Domain
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Feature Interaction Aware Test Case Generation for Embedded Control Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
Hi-index | 0.00 |
We propose to use model checking to detect feature interactions in a set of features under design for an automotive embedded system. In this paper, we present (1) the characteristics of the feature interaction problem in the automotive domain that make model checking an appropriate detection technique; (2) our proposal for a general, systematic definition of feature interactions for this domain based on the set of actuators in the vehicle influenced by the features; and (3) our solutions to two modelling issues that arise when creating a description in SMV of the behaviour of an integrated set of automotive features designed in MATLAB's STATEFLOW.