Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems
2006Vol. 126, pp. 129–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
Related Papers
- → Coron's problem for the critical Lane-Emden system(2023)7 cited
- → The -neumann problem on certain piecewise smooth domains in(2001)2 cited
- → DISCRETE SEQUENCES IN UNBOUNDED DOMAINS(2016)1 cited
- → Illustrations of Constructions of the Method of Difference Potentials(2002)
- → Discrete sequences in unbounded domains(2016)