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