Dependability of COTS Microkernel-Based Systems
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
| Hi-index | 0.00 |
Abstract: In this paper we describe a framework allowing the experimental verification of complex software-implemented fault-tolerance algorithms and mechanisms (FTAMs). This framework takes into account two of the most important aspects which are increasingly required in newly developed fault-tolerant systems: the considerations of COTS-based (Commercial-Off-The-Shelf) architectures and the compliance with severe safety certifications procedures. The strategy proposed shows how rigorous FTAM specification, based in a multiple viewpoint architectural description, may help to mechanically monitoring the verification of its implementation under real conditions. The strategy proposed has been instantiated using two mechanized techniques: model-checking and fault-injection. The preliminary conclusions of the application of this automated approach to a small part of a commercial fault-tolerant system, help us clarify its usage and its suitability for validating complex dependable systems.