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


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:


    Erscheinungsdatum :

    2010


    Format / Umfang :

    9 Seiten, 8 Bilder, 1 Tabelle, 30 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    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 | Kraftfahrwesen | 2000