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
CityKuala Lumpur
Period11/3/2011/3/22

ASJC Scopus subject areas

  • コンピュータ ネットワークおよび通信
  • 情報システム

フィンガープリント

「Verification of embedded system by a method for detecting defects in source codes using model checking」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル