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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
6. References
J. Clark, D. Pradhan, Fault Injection: A method for Validating Computer-System Dependability, IEEE Computer, June 1995, pp. 47–56
M. C. Hsueh, T. Tsai, R. K. Iyer, Fault Injection Techniques and Tools, IEEE Computer, April 1997, pp. 75–82
E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, J. Karlsson, Fault injection into VHDL Models: the MEFISTO Tool, FTCS-24, 1994, pp. 66–75
T. A. Delong, B. W. Johnson, J. A. Profeta III, A Fault Injection Technique for VHDL Behavioral-Level Models, IEEE Design & Test of Computers, Winter 1996, pp. 24–33
J. Carreira, H. Madeira, J. Silva, Xception: Software Fault Injection and Monitoring in Processor Functional Units, DCCA-5, Conference on Dependable Computing for Critical Applications, 1995, pp. 135–149
G. A. Kanawati, N. A. Kanawati, J. A. Abraham, FERRARI: A Flexible Software-Based Fault and Error Injection System, IEEE Trans. on Computers, Vol 44, N. 2, February 1995, pp. 248–260
S. Han, K. G. Shin, H. A. Rosenberg, Doctor: An Integrated Software Fault-Injection Environment for Distributed Real-Time Systems, IEEE Int. Computer Performance and Dependability Symposium, 1995, pp. 204–213
J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J. C. Fabre, J.-C. Laprie, E. Martins, D. Powell, Fault Injection for Dependability Validation: A Methodology and some Applications, IEEE Transactions on Software Engineering, Vol. 16, No. 2, February 1990, pp. 166–182
A. Benso, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, “A Fault Injection Environment for Microprocessor-based Boards”, IEEE International Test Conference, 1998, pp. 768–773
A. Benso, M. Rebaudengo, L. Impagliazzo, P. Marmo, “Fault List Collapsing for Fault Injection Experiments”, Annual Reliability and Maintainability Symposium, 1998, pp. 383–388
P. Prinetto, M. Rebaudengo, M. Sonza Reorda, Exploiting the Background Debugging Mode in a Fault Injection system, IEEE International Computer Performance and Dependability Symposium, 1998, pag. 277
Motorola Inc., M68000 Family Programmer’s Reference Manual-M68000PM/AD, 1992
Motorola Inc., A Background Debugging Mode Driver Package for Modular Microcontrollers, by S. Howard, Motorola Semiconductor Application Note AN1230/D, 1996
A. M. Amendola, A. Benso, F. Corno, L. Impagliazzo, P. Marmo, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment, EURO-VHDL’96, 1996, pp. 536–541
A. Benso, P. L. Civera, M. Rebaudengo, M. Sonza Reorda “A low-cost programmable board for speeding-up Fault Injection in microprocessor-based systems”, Annual Reliability and Maintainability Symposium, 1999, pp. 171–177
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benso, A., Rebaudengo, M., Reorda, M.S. (1999). FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems. In: Felici, M., Kanoun, K. (eds) Computer Safety, Reliability and Security. SAFECOMP 1999. Lecture Notes in Computer Science, vol 1698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48249-0_28
Download citation
DOI: https://doi.org/10.1007/3-540-48249-0_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66488-8
Online ISBN: 978-3-540-48249-9
eBook Packages: Springer Book Archive