Title :
Verification of embedded system by a method for detecting defects in source codes using model checking
Author :
Aoki, Yoshitaka ; Matsuura, Saeko
Author_Institution :
Course of Electron. Eng. & Comput. Sci., Shibaura Inst. Technol., Saitama, Japan
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.
Keywords :
embedded systems; formal verification; mobile robots; program testing; source coding; embedded system verification; enterprise systems; hard-to-discover defects detection; line tracing robot; model checking; source code defect detection method; Business; Embedded systems; Hardware; Inspection; Manuals; Robot sensing systems; Model checking; Process Modeling; Software debugging; Software tools; system verification;
Conference_Titel :
Computers & Informatics (ISCI), 2011 IEEE Symposium on
Conference_Location :
Kuala Lumpur
Print_ISBN :
978-1-61284-689-7
DOI :
10.1109/ISCI.2011.5958972
