Context-dependent product line practice for constructing reliable embedded systems

Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationSoftware Product Lines
Subtitle of host publicationGoing Beyond - 14th International Conference, SPLC 2010, Proceedings
Number of pages15
Publication statusPublished - 2010
Event14th International Conference on Software Product Lines: Going Beyond, SPLC 2010 - Jeju Island, Korea, Republic of
Duration: Sep 13 2010Sep 17 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6287 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other14th International Conference on Software Product Lines: Going Beyond, SPLC 2010
Country/TerritoryKorea, Republic of
CityJeju Island

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Context-dependent product line practice for constructing reliable embedded systems'. Together they form a unique fingerprint.

Cite this