Design verification for product line development

Tomoji Kishi, Natsuko Noda, Takuya Katayama

研究成果: Conference contribution

9 引用 (Scopus)

抜粋

Our society is becoming increasingly dependent on embedded software, and its reliability becomes more and more important. Although we can utilize powerful scientific methods such as model checking techniques to develop reliable embedded software, it is expensive to apply these methods to consumer embedded software development. In this paper, we propose an application of model checking techniques for design verification in product line development (PLD). We introduce reusable verification models in which we define variation points, and we show how to define traceability among feature models, design models and verification models. The reuse of verification models in PLD not only enables the systematic design verification of each product but also reduces the cost of applying model checking techniques.

元の言語English
ホスト出版物のタイトルLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ページ150-161
ページ数12
DOI
出版物ステータスPublished - 2005 12 1
イベント9th International Conference on Software Product Lines, SPLC 2005 - Rennes, France
継続期間: 2005 9 262005 9 29

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
3714 LNCS
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

Conference

Conference9th International Conference on Software Product Lines, SPLC 2005
France
Rennes
期間05/9/2605/9/29

    フィンガープリント

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

これを引用

Kishi, T., Noda, N., & Katayama, T. (2005). Design verification for product line development. : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 150-161). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 3714 LNCS). https://doi.org/10.1007/11554844_18