Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In this case, fault tolerance mechanisms are introduced at the hardware and software level. Debugging and verifying the correct design and implementation of these mechanisms ask for effective environments, and Fault Injection represents a viable solution for their implementation. In this paper we present a flexible environment suitable to compute the fault coverage provided by hardware and software mechanisms existing in most microprocessor-based systems. The environment, called FlexFI, is flexible, since it allows the adoption of different solutions for implementing the most critical modules, which differ in terms of cost, speed, and intrusiveness in the original system behavior.
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems / Benso, Alfredo; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - 1698(1999), pp. 323-335. ((Intervento presentato al convegno Computer Safety, Reliability and Security 18th International Conference, SAFECOMP’99 tenutosi a Toulouse (FRA) nel September 27–29, 1999 [10.1007/3-540-48249-0_28].
Titolo: | FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems | |
Autori: | ||
Data di pubblicazione: | 1999 | |
Rivista: | ||
Abstract: | Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air ...and railway traffic control, nuclear plant control, aircraft and car control). In this case, fault tolerance mechanisms are introduced at the hardware and software level. Debugging and verifying the correct design and implementation of these mechanisms ask for effective environments, and Fault Injection represents a viable solution for their implementation. In this paper we present a flexible environment suitable to compute the fault coverage provided by hardware and software mechanisms existing in most microprocessor-based systems. The environment, called FlexFI, is flexible, since it allows the adoption of different solutions for implementing the most critical modules, which differ in terms of cost, speed, and intrusiveness in the original system behavior. | |
ISBN: | 3540482490 | |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
2374729.pdf | 2. Post-print / Author's Accepted Manuscript | Non Pubblico - Accesso privato/ristretto | Administrator Richiedi una copia |
http://hdl.handle.net/11583/2374729