Fault Injection for Dependability Validation: A Methodology and Some Applications
IEEE Transactions on Software Engineering
Fault Injection Techniques and Tools for Embedded Systems
Fault Injection Techniques and Tools for Embedded Systems
Improvement of fault injection techniques based on VHDL code modification
HLDVT '05 Proceedings of the High-Level Design Validation and Test Workshop, 2005. on Tenth IEEE International
Fault Injection Techniques and their Accelerated Simulation in SystemC
DSD '07 Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools
A mutation model for the SystemC TLM 2.0 communication interfaces
Proceedings of the conference on Design, automation and test in Europe
XML Schema Based Faultset Definition to Improve Faults Injection Tools Interoperability
DEPCOS-RELCOMEX '08 Proceedings of the 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX
Fault Models and Injection Strategies in SystemC Specifications
DSD '08 Proceedings of the 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools
Analysis of the influence of intermittent faults in a microcontroller
DDECS '08 Proceedings of the 2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems
On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models
DEPCOS-RELCOMEX '09 Proceedings of the 2009 Fourth International Conference on Dependability of Computer Systems
Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models
DSD '09 Proceedings of the 2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
| Hi-index | 0.00 |
In space software development there are strong robustness requirements that need advanced simulation techniques and tools to analyze the system behavior in the presence of faults. Even more, those simulation tools should provide the ability to communicate embedded software under development with another real working systems using standardized interfaces. In this paper, we present the design of a virtual platform for LEON3, a 32bit SPARC CPU based system used by the European Space Agency, described at Transaction Level using SystemC. By means of virtual I/O this platform allows real SpaceWire communications with another virtual or real equipment using real SpaceWire commercial hardware. Each TLM component of the model exposes a standard TLM2.0 "transport_dbg" interface to allow internal component inspection and modification. This way full fault injection campaigns by corrupting CPU registers or memory locations can be carried out.