Sökning: onr:"swepub:oai:research.chalmers.se:b4de4f72-12c0-47b8-a4b6-db89bb3a770e" >
MEFISTO: A Series o...
MEFISTO: A Series of Prototype Tools for Fault Injection into VHDL Models
-
Arlat, Jean (författare)
-
Boué, Jerome (författare)
-
Crouzet, Yves (författare)
-
visa fler...
-
Jenn, Eric (författare)
-
- Aidemark, Joakim, 1965 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Folkesson, Peter, 1968 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Karlsson, Johan, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Ohlsson, Joakim, 1965 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Rimén, Marcus, 1965 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- ISBN 1402075898
- 2003
- 2003
- Engelska.
-
Ingår i: Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation, Kluwer Academic Publishing. - 1402075898 ; , s. 177-193
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://research.cha...
-
https://doi.org/10.1...
-
visa färre...
Innehållsförteckning
Abstract
Ämnesord
Stäng
No table of content available
- The early assessment of the fault tolerance mechanisms is an essential task in the design of dependable computing systems. Simulation languages offer the necessary support to carry out such a task. Due to its wide spectrum of application and hierarchical features, VHDL is a powerful simulation language. This chapter summarizes the main results of a pioneering effort aimed at developing and experimenting supporting tools for fault injection into VHDL models. The chapter first identifies the possible means to inject faults into a VHDL model. Then, we describe two prototype tools that were developed using each of the main injection strategies previously identified. Finally, some general insights and perspectives are briefly discussed.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publikations- och innehållstyp
- kap (ämneskategori)
- vet (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Arlat, Jean
-
Boué, Jerome
-
Crouzet, Yves
-
Jenn, Eric
-
Aidemark, Joakim ...
-
Folkesson, Peter ...
-
visa fler...
-
Karlsson, Johan, ...
-
Ohlsson, Joakim, ...
-
Rimén, Marcus, 1 ...
-
visa färre...
- Om ämnet
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
- Artiklar i publikationen
-
Fault Injection ...
- Av lärosätet
-
Chalmers tekniska högskola