Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Practical software metrics for project management and process improvement
Practical software metrics for project management and process improvement
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Systems Engineering Using SDL-92
Systems Engineering Using SDL-92
Feature Interactions in Telecommunications and Software Systems VI
Feature Interactions in Telecommunications and Software Systems VI
Prototyping: An Approach to Evolutionary System Development
Prototyping: An Approach to Evolutionary System Development
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Meta-Modeling for Distributed Object Environments
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Feature Interaction in Composed Systems
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Introduction to the user requirements notation: learning by example
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
The winning entry of the SAM 2002 design contest: a case study of the effectiveness of SDL and MSC
SDL'03 Proceedings of the 11th international conference on System design
Model-based generation of SDL specifications for the early prototyping of reactive systems
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
LTS-BT: a tool to generate and select functional test cases for embedded systems
Proceedings of the 2008 ACM symposium on Applied computing
Modelling feature interactions in the automotive domain
Proceedings of the 2008 international workshop on Models in software engineering
Detecting feature interactions in SPL requirements analysis models
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
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)
An agent-based extensible climate control system for sustainable greenhouse production
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
Present-day software systems, like modern telecommunications systems or distributed Internet applications, have reached levels of complexity that can no longer be addressed with ad-hoc techniques. Therefore, systematic approaches for coping with this huge complexity are required. To correctly develop such systems, interactions between the system's features have to be considered, as these might be the origin of incorrect system behavior. In addition to the traditional domains of large systems, increasingly complex systems can be found in the domain of embedded control systems, of which automotive as well as building and home control systems are interesting examples. In particular, the environment, in which an embedded control system operates, plays a crucial role in such a system's behavior, and can thus be the source for additional interrelationships between features. In this article, a systematic approach for the automatic detection of feature interactions in embedded control systems is presented, which allows the identification of interactions within a system as well as the detection of interactions that are caused by the environment.