Abstract
MAFALDA (Microkernel Assessment by Fault injection AnaLysis and Design Aid) encompasses a series of prototype tools providing quantitative information on real-time COTS microkernels to support their integration into systems with strict dependability requirements. We illustrate how the most recent version of MAFALDA, namely MAFALDA-RT, is organized, the basic fault injection techniques it implements, the main experimental parameters that are to be specified, and the various measures that can be obtained. Finally, we draw the main lessons learnt and some perspectives for this work.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Kluwer Academic Publishers
About this chapter
Cite this chapter
Arlat, J., Fabre, JC., Rodríguez, M., Salles, F. (2003). MAFALDA: A Series of Prototype Tools for the Assessment of Real Time COTS Microkernel-Based Systems. In: Benso, A., Prinetto, P. (eds) Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation. Frontiers in Electronic Testing, vol 23. Springer, Boston, MA. https://doi.org/10.1007/0-306-48711-X_9
Download citation
DOI: https://doi.org/10.1007/0-306-48711-X_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7589-6
Online ISBN: 978-0-306-48711-8
eBook Packages: Springer Book Archive