Presentation	2012/2/24 Model Checking to Find Defects in Embedded Control Software Affected by Hardware Failures MASAHIRO MATSUBARA, KOHEI SAKURAI, FUMIO NARISAWA, HISAMITSU YAMANAKA,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	In embedded control systems, potential risks have been increasing because of software defects caused by a timing related problem. These defects are rarely found by simulation and test. To detect such defects, we have proposed model checking application method based on external environment models with unsteady behaviors and the software slicing technique using variable dependency graphs. We have applied the proposed method to an analysis of a non-reproducible defect in automotive control software and demonstrated the usefulness of the method.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)
Paper #	Vol.2012-SLDM-155 No.11,Vol.2012-EMB-24 No.11
Date of Issue

Conference Information
Committee	DC
Conference Date	2012/2/24(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Dependable Computing (DC)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	Model Checking to Find Defects in Embedded Control Software Affected by Hardware Failures
Sub Title (in English)
Keyword(1)
1st Author's Name	MASAHIRO MATSUBARA
1st Author's Affiliation	Hitachi Ltd.()
2nd Author's Name	KOHEI SAKURAI
2nd Author's Affiliation	Hitachi Ltd.
3rd Author's Name	FUMIO NARISAWA
3rd Author's Affiliation	Hitachi Ltd.
4th Author's Name	HISAMITSU YAMANAKA
4th Author's Affiliation	Hitachi Automotive Systems, Ltd.
Date	2012/2/24
Paper #	Vol.2012-SLDM-155 No.11,Vol.2012-EMB-24 No.11
Volume (vol)	vol.111
Number (no)	462
Page	pp.pp.-
#Pages	5
Date of Issue