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

Yoshitaka Aoki, Saeko Matsuura

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

Abstract

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.

Original languageEnglish
Title of host publicationISCI 2011 - 2011 IEEE Symposium on Computers and Informatics
Pages530-535
Number of pages6
DOIs
Publication statusPublished - 2011 Sep 1
Event2011 IEEE Symposium on Computers and Informatics, ISCI 2011 - Kuala Lumpur, Malaysia
Duration: 2011 Mar 202011 Mar 22

Publication series

NameISCI 2011 - 2011 IEEE Symposium on Computers and Informatics

Conference

Conference2011 IEEE Symposium on Computers and Informatics, ISCI 2011
CountryMalaysia
CityKuala Lumpur
Period11/3/2011/3/22

    Fingerprint

Keywords

  • Model checking
  • Process Modeling
  • Software debugging
  • Software tools
  • system verification

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems

Cite this

Aoki, Y., & Matsuura, S. (2011). Verification of embedded system by a method for detecting defects in source codes using model checking. In 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