Abstract
The integration of software COTS components into safety-critical real-time systems raises serious problems from a dependability viewpoint. Wrappers can be used to assist such an integration by providing additional error detection mechanisms. We recently defined a framework to automatically develop such a type of wrappers from temporal logic specifications. In this paper, we extend this framework to endow wrappers with forward error recovery capabilities based on the concept of recovery actions. Recovery actions consist of variants of basic functions of the target system that are run concurrently to help correct errors. We apply these comprehensive wrappers to a real-time COTS microkernel. Software implemented fault injection (SWIFI) is then used to evaluate the efficiency of the wrappers. This step helped identify the sets of wrappers that maximize the error detection and recovery coverage while meeting hard task deadlines.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
