Reusable formal specification for embedded systems

Yuji Arichika, Keijiro Araki

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

Abstract

In embedded system development, software depends on hardware and we have to change software specification frequently because of hardware specification changes. Therefore in embedded software development, it is important to get reusable software. To get reusable software, it is important to divide common and variant features. To analyze features, FODA is effective. But because FODA uses natural languages, we can't validate the consistency of the models and can't solve interaction problems. To validate the consistency and solve interaction problems, we have to get strict model. Formal methods are effective methods to get strict model. Therefore, purpose of our research is to get reusable strict embedded systems specifications. We intend to use formal methods to solve feature interaction problem and get strict reusable embedded systems specifications.

Original languageEnglish
Title of host publicationProceedings - 11th Asia-Pacific Software Engineering Conference, APSEC 2004
Pages557-558
Number of pages2
DOIs
Publication statusPublished - Dec 1 2004
EventProceedings - 11th Asia-Pacific Software Engineering Conference, APSEC 2004 - Busan, Korea, Republic of
Duration: Nov 30 2004Dec 3 2004

Publication series

NameProceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN (Print)1530-1362

Other

OtherProceedings - 11th Asia-Pacific Software Engineering Conference, APSEC 2004
CountryKorea, Republic of
CityBusan
Period11/30/0412/3/04

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Arichika, Y., & Araki, K. (2004). Reusable formal specification for embedded systems. In Proceedings - 11th Asia-Pacific Software Engineering Conference, APSEC 2004 (pp. 557-558). (Proceedings - Asia-Pacific Software Engineering Conference, APSEC). https://doi.org/10.1109/APSEC.2004.87