DocumentCode
2363603
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
fYear
2011
fDate
20-23 March 2011
Firstpage
530
Lastpage
535
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computers & Informatics (ISCI), 2011 IEEE Symposium on
Conference_Location
Kuala Lumpur
Print_ISBN
978-1-61284-689-7
Type
conf
DOI
10.1109/ISCI.2011.5958972
Filename
5958972
Link To Document