Please use this identifier to cite or link to this item:
|Title:||Making real-time systems fault tolerant: a specification-based approach|
|Authors:||Babamir, Seyed Morteza|
|Keywords:||Aspect-oriented;Fault tolerance;Instrumentation;Run-time verification;Safety-critical software|
|Abstract:||To make an event-triggered real-time system safe in application layer, this study presents a specification-based run-timeverification (RV) and fault tolerance approach in following steps: i) System is isolated from its environment by modeling interactionbetween them; ii) Considering safety requirements violation, observation-verification-tolerance rules are systematicallyobtained; and iii) Rules are weaved into control software (called software instrumentation) by an automatic way. For effectiveness,proposed approach is applied to classic and real-time Railroad Crossing Control System (RCCS).|
|ISSN:||0975-1084 (Online); 0022-4456 (Print)|
|Appears in Collections:||JSIR Vol.69(07) [July 2010]|
Items in NOPR are protected by copyright, with all rights reserved, unless otherwise indicated.