TY - GEN
T1 - Reusable formal specification for embedded systems
AU - Arichika, Yuji
AU - Araki, Keijiro
PY - 2004/12/1
Y1 - 2004/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=18944363434&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=18944363434&partnerID=8YFLogxK
U2 - 10.1109/APSEC.2004.87
DO - 10.1109/APSEC.2004.87
M3 - Conference contribution
AN - SCOPUS:18944363434
SN - 0769522459
T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC
SP - 557
EP - 558
BT - Proceedings - 11th Asia-Pacific Software Engineering Conference, APSEC 2004
T2 - Proceedings - 11th Asia-Pacific Software Engineering Conference, APSEC 2004
Y2 - 30 November 2004 through 3 December 2004
ER -