Safeware: system safety and computers
Safeware: system safety and computers
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Component-based product line engineering with UML
Component-based product line engineering with UML
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Feature-Oriented Project Line Engineering
IEEE Software
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Formal Semantics and Verification for Feature Modeling
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Safety Analysis of Software Product Lines Using State-Based Modeling
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
An Extension of Problem Frame Notation for Software Product Lines
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Context-aware feature-oriented modeling with an aspect extension of VDM
Proceedings of the 2007 ACM symposium on Applied computing
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
FM'06 Proceedings of the 14th international conference on Formal Methods
Safe adaptation in context-aware feature models
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
Structuring variability in the context of embedded systems during software engineering
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
| Hi-index | 0.00 |
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical environments. In the current product line engineering, the feature analysis is mainly conducted from the viewpoint of system configurations: how hardware and software components are configured to constitute a system. In most cases, contexts are not considered explicitly. As a result, unexpected and unfavorable behavior might emerge in a system if a developer does not recognize any possible conflicting combinations between the system and contexts. To deal with this problem, this paper provides the notion of a contextdependent product line, which is composed of the system and context lines. The former is obtained by analyzing a family of systems. The latter is obtained by analyzing features of contexts associated to the systems. In the proposed method, each feature is described using VDM++. The configuration of selected system components and contexts can readily be checked with VDM++ Toolset.