To make an event-triggered real-time system safe in application layer, this study presents a specification-based RV (runtime verification) and fault tolerance approach in following steps: i) system is isolated from its environment by modelling 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 RCCS (railroad crossing control system).
Making real-time systems fault tolerant: a specification-based approach
Journal of Scientific and Industrial Research (JSIR) (Online) ; 69 , 7 ; 501-509
2010
9 Seiten, 8 Bilder, 1 Tabelle, 30 Quellen
Aufsatz (Zeitschrift)
Englisch
Module Templates for the Specification of Fault-Tolerant Systems
British Library Conference Proceedings | 1998
|Module Templates for the Specification of Fault-Tolerant Systems
British Library Online Contents | 1998
|Distributed Fault-Tolerant Avionic Systems: A Real-Time Prespective
British Library Conference Proceedings | 1998
|Time triggered protocol - fault-tolerant real-time communication
Kraftfahrwesen | 2000
|Real-Time Recovery of Fault Tolerant Processing
Online Contents | 1997
|