Verification of embedded system by a method for detecting defects in source codes using model checking

Yoshitaka Aoki, Saeko Matsuura

研究成果: Conference contribution

抜粋

We have proposed a method based on model checking for detecting hard-to-discover defects in enterprise systems. We apply our method to embedded system development to easily discover some defects caused by input/output data of the hardware which are influenced by the external environment before the software is integrated into the hardware. This paper discuss the effectiveness of our method using a case study to develop a line tracing robot.

元の言語English
ホスト出版物のタイトルISCI 2011 - 2011 IEEE Symposium on Computers and Informatics
ページ530-535
ページ数6
DOI
出版物ステータスPublished - 2011 9 1
イベント2011 IEEE Symposium on Computers and Informatics, ISCI 2011 - Kuala Lumpur, Malaysia
継続期間: 2011 3 202011 3 22

出版物シリーズ

名前ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics

Conference

Conference2011 IEEE Symposium on Computers and Informatics, ISCI 2011
Malaysia
Kuala Lumpur
期間11/3/2011/3/22

    フィンガープリント

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems

これを引用

Aoki, Y., & Matsuura, S. (2011). Verification of embedded system by a method for detecting defects in source codes using model checking. : ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics (pp. 530-535). [5958972] (ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics). https://doi.org/10.1109/ISCI.2011.5958972