Formal verification and software product lines

Tomoji Kishi, Natsuko Noda

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Advances in embedded computing technologies have made society extremely dependent on embedded software used in automobile, mobile phone, and home electronics applications, etc. Consequently, the reliability of embedded software is crucial for daily life. In the past, the development of embedded software has been implementation-centric. However, due to an increase in the size and complexity of software and a reduction in development time, it is difficult to produce reliable software using conventional techniques. Therefore, the quality of embedded software has become a matter of concern. To solve this problem, various software engineering techniques, such as analysis/design methods and reuse technologies, are currently introduced. Product line engineering is one of the most advanced software practices based on these results (Clements and Northrop 2001).

Original languageEnglish
Title of host publicationApplied Software Product Line Engineering
PublisherCRC Press
Pages231-246
Number of pages16
ISBN (Electronic)9781420068429
ISBN (Print)9781420068412
DOIs
Publication statusPublished - 2009 Jan 1
Externally publishedYes

Fingerprint

Embedded software
Mobile homes
Mobile phones
Automobiles
Software engineering
Electronic equipment
Formal verification
Product line
Software

ASJC Scopus subject areas

  • Computer Science(all)
  • Economics, Econometrics and Finance(all)
  • Business, Management and Accounting(all)

Cite this

Kishi, T., & Noda, N. (2009). Formal verification and software product lines. In Applied Software Product Line Engineering (pp. 231-246). CRC Press. https://doi.org/10.1201/9781420068429

Formal verification and software product lines. / Kishi, Tomoji; Noda, Natsuko.

Applied Software Product Line Engineering. CRC Press, 2009. p. 231-246.

Research output: Chapter in Book/Report/Conference proceedingChapter

Kishi, T & Noda, N 2009, Formal verification and software product lines. in Applied Software Product Line Engineering. CRC Press, pp. 231-246. https://doi.org/10.1201/9781420068429
Kishi T, Noda N. Formal verification and software product lines. In Applied Software Product Line Engineering. CRC Press. 2009. p. 231-246 https://doi.org/10.1201/9781420068429
Kishi, Tomoji ; Noda, Natsuko. / Formal verification and software product lines. Applied Software Product Line Engineering. CRC Press, 2009. pp. 231-246
@inbook{20c465321fe8415aaa16ea4a05b6eaed,
title = "Formal verification and software product lines",
abstract = "Advances in embedded computing technologies have made society extremely dependent on embedded software used in automobile, mobile phone, and home electronics applications, etc. Consequently, the reliability of embedded software is crucial for daily life. In the past, the development of embedded software has been implementation-centric. However, due to an increase in the size and complexity of software and a reduction in development time, it is difficult to produce reliable software using conventional techniques. Therefore, the quality of embedded software has become a matter of concern. To solve this problem, various software engineering techniques, such as analysis/design methods and reuse technologies, are currently introduced. Product line engineering is one of the most advanced software practices based on these results (Clements and Northrop 2001).",
author = "Tomoji Kishi and Natsuko Noda",
year = "2009",
month = "1",
day = "1",
doi = "10.1201/9781420068429",
language = "English",
isbn = "9781420068412",
pages = "231--246",
booktitle = "Applied Software Product Line Engineering",
publisher = "CRC Press",

}

TY - CHAP

T1 - Formal verification and software product lines

AU - Kishi, Tomoji

AU - Noda, Natsuko

PY - 2009/1/1

Y1 - 2009/1/1

N2 - Advances in embedded computing technologies have made society extremely dependent on embedded software used in automobile, mobile phone, and home electronics applications, etc. Consequently, the reliability of embedded software is crucial for daily life. In the past, the development of embedded software has been implementation-centric. However, due to an increase in the size and complexity of software and a reduction in development time, it is difficult to produce reliable software using conventional techniques. Therefore, the quality of embedded software has become a matter of concern. To solve this problem, various software engineering techniques, such as analysis/design methods and reuse technologies, are currently introduced. Product line engineering is one of the most advanced software practices based on these results (Clements and Northrop 2001).

AB - Advances in embedded computing technologies have made society extremely dependent on embedded software used in automobile, mobile phone, and home electronics applications, etc. Consequently, the reliability of embedded software is crucial for daily life. In the past, the development of embedded software has been implementation-centric. However, due to an increase in the size and complexity of software and a reduction in development time, it is difficult to produce reliable software using conventional techniques. Therefore, the quality of embedded software has become a matter of concern. To solve this problem, various software engineering techniques, such as analysis/design methods and reuse technologies, are currently introduced. Product line engineering is one of the most advanced software practices based on these results (Clements and Northrop 2001).

UR - http://www.scopus.com/inward/record.url?scp=85056389071&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85056389071&partnerID=8YFLogxK

U2 - 10.1201/9781420068429

DO - 10.1201/9781420068429

M3 - Chapter

AN - SCOPUS:85056389071

SN - 9781420068412

SP - 231

EP - 246

BT - Applied Software Product Line Engineering

PB - CRC Press

ER -