TY - GEN
T1 - Context-dependent product line practice for constructing reliable embedded systems
AU - Ubayashi, Naoyasu
AU - Nakajima, Shin
AU - Hirayama, Masayuki
PY - 2010
Y1 - 2010
N2 - 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 context-dependent 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.
AB - 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 context-dependent 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.
UR - http://www.scopus.com/inward/record.url?scp=78049371829&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78049371829&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-15579-6_1
DO - 10.1007/978-3-642-15579-6_1
M3 - Conference contribution
AN - SCOPUS:78049371829
SN - 3642155782
SN - 9783642155789
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 15
BT - Software Product Lines
T2 - 14th International Conference on Software Product Lines: Going Beyond, SPLC 2010
Y2 - 13 September 2010 through 17 September 2010
ER -