Acceleration of Simulated Fault Injection Using a Checkpoint ForwardingTechnique

Collection with item attached
2017
Item details URL
http://open-repository.kisti.re.kr/cube/handle/open_repository/474184.do
DOI
10.4218/etrij.17.0116.0151
Title
Acceleration of Simulated Fault Injection Using a Checkpoint ForwardingTechnique
Description
This work was supported by Aerospace Component Technology DevelopmentProject funded by the Ministry of Trade, Industry and Energy (MOTIE,Korea) [Development of L-Shape Integrated Multi-Function Air Data Systemfor the Supersonic Aircraft: 10067079].
abstract
Simulated fault injection (SFI) is widely used to assess the effectiveness of fault tolerance mechanisms in safety-critical embedded systems (SCESs) because of its advantages such as controllability and observability. However, the long test time of SFI due to the large number of test cases and the complex simulation models of modern SCESs has been identified as a limiting factor. We present a method that can accelerate an SFI tool using a checkpoint forwarding (CF) technique. To evaluate the performance of CF-based SFI (CF-SFI), we have developed a CF mechanism using Verilog fault-injection tools and two systems under test (SUT): a single-core-based co-simulation model and a triple modular redundant co-simulation model. Both systems use the Verilog simulation model of the OpenRISC 1200 processor and can execute the embedded benchmarks from MiBench. We investigate the effectiveness of the CF mechanism and evaluate the two SUTs by measuring the test time as well as the failure rates. Compared to the SFI with no CF mechanism, the proposed CF-SFI approach reduces the test time of the two SUTs by 29%-45%.
provenance
Made available in Cube on 2018-09-28T10:39:24Z (GMT). No. of bitstreams: 0
language
English
author
Na, Jongwhoa
Lee, Dongwoo
accessioned
2018-09-28T10:39:24Z
available
2018-09-28T10:39:24Z
issued
2017
citation
ETRI JOURNAL(39): 4
issn
1225-6463
uri
http://open-repository.kisti.re.kr/cube/handle/open_repository/474184.do
Funder
산업통상자원부
Funding Program
항공우주부품기술개발
Project ID
1415152713
Jurisdiction
Rep.of Korea
Project Name
Development of Cone-type Integrated Multi-Function Air Data System for the Supersonic Aircraft
rights
openAccess
subject
Simulated fault injection
Simulation acceleration
Checkpoint andforwarding
Triple modular redundant
type
article


Files in This Item

There are no attached files.