Unpredictable behavior in hard real-time systems can have drastic consequences and the formal verification of system safety properties in this context is therefore particularly appropriate. The paper applies safety analysis to the timing specification of a simple robot vehicle. The specification is given by a set of Real-Time Logic formulas (rules). A modified rule is proposed to permit the preemption of low priority real-time processes.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Real-Time Safety Analysis for Autonomous Guided Vehicles


    Contributors:
    A. C. Brown (author)

    Publication date :

    1990


    Size :

    14 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English





    Real-Time Quasi Dense Two-Frames Depth Map for Autonomous Guided Vehicles

    Ducrot, A. / Dumortier, Y. / Herlin, I. et al. | British Library Conference Proceedings | 2011


    REAL-TIME VIOLATIONS AND SAFETY MONITORING SYSTEM ON AUTONOMOUS VEHICLES

    FERGUSON DAVID / ZHU JIAJUN / LEIPOLD COSIMO et al. | European Patent Office | 2019

    Free access

    Real-time violations and safety monitoring system on autonomous vehicles

    FERGUSON DAVID / ZHU JIAJUN / LEIPOLD COSIMO et al. | European Patent Office | 2022

    Free access

    Real-time coordination of autonomous vehicles

    Bouroche, M. / Hughes, B. / Cahill, V. | IEEE | 2006