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

    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{4c50f3f3dfe6448b8b12b9ff9a0a5e2b,
    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

    SN - 9781420068412

    SP - 231

    EP - 246

    BT - Applied Software Product Line Engineering

    PB - CRC Press

    ER -