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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Detecting unsafe error recovery schedules


    Additional title:

    Entdeckung unsicherer Schedules zur Fehlerbehebung


    Contributors:
    Lutz, R.R. (author) / Wong, J.S.K. (author)

    Published in:

    Publication date :

    1992


    Size :

    12 Seiten, 40 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Detecting unsafe car seat passenger-conditions

    BEUMLER JUSTIN EDWARD | European Patent Office | 2016

    Free access

    UNSAFE TRANSPORT OPERATION

    MCFARLAND JR STEPHEN PAUL | European Patent Office | 2023

    Free access

    Unsafe transport operation

    MCFARLAND JR STEPHEN PAUL | European Patent Office | 2023

    Free access

    UNSAFE DRIVER ACTIONS

    British Library Online Contents | 2002


    UNSAFE TRANSPORT OPERATION

    MCFARLAND JR STEPHEN PAUL | European Patent Office | 2021

    Free access