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

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 responsivenes...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Abhishek Dubey, Nordstrom, S., Keskinpala, T., Sandeep Neema, Bapty, T.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Aerospace electronics Biology computing Delay Engines Fault tolerant systems Humans Large-scale systems Military computing Real time systems Safety
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!