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


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Making real-time systems fault tolerant: a specification-based approach


    Contributors:


    Publication date :

    2010


    Size :

    9 Seiten, 8 Bilder, 1 Tabelle, 30 Quellen



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Module Templates for the Specification of Fault-Tolerant Systems

    Doche, M. / Cazin, J. / Le Berre, D. et al. | British Library Conference Proceedings | 1998


    Module Templates for the Specification of Fault-Tolerant Systems

    Doche, M. / Cazin, J. / Le Berre, D. et al. | British Library Online Contents | 1998


    Distributed Fault-Tolerant Avionic Systems: A Real-Time Prespective

    Audsley, N. / Burke, M. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1998


    Time triggered protocol - fault-tolerant real-time communication

    Poledna,S. / TTTech Computertechnik,AT | Automotive engineering | 2000