Making real-time systems fault tolerant: a specification-based approach
Seyed Morteza Babamir, Saeed Jalili · Journal of Scientific & Industrial Research · 2010
To make an event-triggered real-time system safe in application layer, this study presents a specification-based run-time verification (RV) and fault tolerance approach in following steps: i) System is isolated from its environment by modeling interaction between them; ii) Considering safety requirements violation, observation-verification-tolerance rules are systematically obtained; 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).