Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

MAFALDA: Microkernel Assessment by Fault Injection and Design Aid

Manuel RodríguezContact Information, Frédéric SallesContact Information, Jean-Charles FabreContact Information and Jean ArlatContact Information

(7)  LAAS-CNRS, 7 Avenue du Colonel Roche, 31007, Toulouse cedex 4, France
Abstract
MAFALDA is a generic experimental environment that is intended to support, for several microkernel candidates, both objectives of characterization of the failure modes in the presence of injected faults (internal or external) and of the incorporation of wrappers to improve these failure modes. After a short classification of current microkernel architectures and of their interactions between the application layer and the microkernel functional components, the paper presents the main features of MAFALDA with a focus on the fault injection and wrapping modules. The implementation of these modules is then described distinguishing the two main modes of interactions identified (library-based or trap-based). Some experimental results are presented that show the usefulness of the tool. The paper concludes by a summary of the main characteristics of MAFALDA and a brief discussion of our future work.

Contact Information Manuel Rodríguez
Email: rodriguez@laas.fr

Contact Information Frédéric Salles
Email: salles@laas.fr

Contact Information Jean-Charles Fabre
Email: fabre@laas.fr

Contact Information Jean Arlat
Email: arlat@laas.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: mpweb06
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)