MAFALDA: A Series of Prototype Tools for the Assessment of Real Time COTS Microkernel-Based Systems

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.