A mechanism for modeling timing, precedence, and data-consistency constraints on concurrently executing processes is presented. The model allows durations and intervals between events to be specified. An algorithm is provided to detect schedules which may be unsafe with respect to the constraints. This work, motivated by the design and validation of autonomous error-recovery strategies on the Galileo spacecraft, appears to be applicable to a variety of asynchronous real-time systems.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Detecting unsafe error recovery schedules


    Weitere Titelangaben:

    Entdeckung unsicherer Schedules zur Fehlerbehebung


    Beteiligte:
    Lutz, R.R. (Autor:in) / Wong, J.S.K. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1992


    Format / Umfang :

    12 Seiten, 40 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Detecting unsafe car seat passenger-conditions

    BEUMLER JUSTIN EDWARD | Europäisches Patentamt | 2016

    Freier Zugriff

    UNSAFE TRANSPORT OPERATION

    MCFARLAND JR STEPHEN PAUL | Europäisches Patentamt | 2023

    Freier Zugriff

    Unsafe transport operation

    MCFARLAND JR STEPHEN PAUL | Europäisches Patentamt | 2023

    Freier Zugriff

    UNSAFE DRIVER ACTIONS

    British Library Online Contents | 2002


    UNSAFE TRANSPORT OPERATION

    MCFARLAND JR STEPHEN PAUL | Europäisches Patentamt | 2021

    Freier Zugriff