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. Safety analysis is applied 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 to permit the preemption of low priority real time processes is proposed.


    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 :

    12 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. | IEEE | 2011


    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 VIOLATIONS AND SAFETY MONITORING SYSTEM ON AUTONOMOUS VEHICLES

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

    Free access

    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