학술논문
Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems
Document Type
Conference
Author
Source
Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06) Engineering of Autonomic and Autonomous Systems, 2006. EASe 2006. Proceedings of the Third IEEE International Workshop on. :129-140 2006
Subject
Language
ISSN
2168-1864
2168-1872
2168-1872
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.