Reusable formal specification for embedded systems

Yuji Arichika, Keijiro Araki

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


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
Number of pages2
Publication statusPublished - 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


OtherProceedings - 11th Asia-Pacific Software Engineering Conference, APSEC 2004
Country/TerritoryKorea, Republic of

All Science Journal Classification (ASJC) codes

  • General Engineering


Dive into the research topics of 'Reusable formal specification for embedded systems'. Together they form a unique fingerprint.

Cite this