Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems

Author

Dubey, Abhishek ; Nordstrom, Steve ; Keskinpala, Turker ; Neema, Sandeep ; Bapty, Ted

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Vanderbilt Univ., Nashville, TN

fYear

2006

fDate

27-30 March 2006

Firstpage

129

Lastpage

140

Abstract

In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In these systems any autonomic behavior must not only be functionally correct but they must also not violate properties of liveness, safety and bounded time responsiveness. In this paper we present and analyze a realtime reflex engine for providing fault mitigation capability to large scale real time systems. We also present a semantic domain for analyzing and verifying the properties of such systems along with the framework of real-time reflex engines

Keywords

formal verification; real-time systems; software fault tolerance; software maintenance; autonomic fault mitigation strategy verification; large scale real-time systems; reflex engines; Aerospace electronics; Biology computing; Delay; Engines; Fault tolerant systems; Humans; Large-scale systems; Military computing; Real time systems; Safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Autonomic and Autonomous Systems, 2006. EASe 2006. Proceedings of the Third IEEE International Workshop on

Conference_Location

Potsdam

Print_ISBN

0-7695-2544-X

Type

conf

DOI

10.1109/EASE.2006.24

Filename

1607337