Building dependable COTS microkernel-based systems using MAFALDA

Authors:
J.-C. Fabre;M. Rodriguez;J. Arlat;J.-M. Sizun
Affiliations:
-;-;-;-
Venue:
PRDC '00 Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing
Year:
2000

Citing 0
Cited 10

Dependability of COTS Microkernel-Based Systems

IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Failure Mode Analysis of CORBA Service Implementations

Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Automatic Detection and Masking of Nonatomic Exception Handling

IEEE Transactions on Software Engineering
Improving the reliability of commodity operating systems

ACM Transactions on Computer Systems (TOCS)
Information Assurance: Dependability and Security in Networked Systems

Information Assurance: Dependability and Security in Networked Systems
Security Assessment Framework Using Static Analysis and Fault Injection

ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Security assessment for application network services using fault injection

PAISI'07 Proceedings of the 2007 Pacific Asia conference on Intelligence and security informatics
Using stratified sampling for fault injection

LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
A methodology for the automated identification of buffer overflow vulnerabilities in executable software without source-code

LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Fault injection approach based on architectural dependencies

Architecting Dependable Systems III

Quantified Score

Hi-index	0.00

Visualization

Abstract

MAFALDA (Microkernel Assessment by Fault injection Analysis and Design Aid) is a generic tool providing quantitative information on COTS microkernels to support their integration into dependable systems. The main originality of MAFALDA relies on the features provided for both the analysis of the failure modes of the target microkernel and the design of error confinement wrappers. The paper illustrates: (i) how MAFALDA is organized and its user interface, and (ii) how it can be used to carry out fault injection campaigns. Finally, we present the experimental context of campaigns carried out on two commercial microkernels and draw the main lessons learnt.