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.
Real-Time Safety Analysis for Autonomous Guided Vehicles
1990
14 pages
Report
No indication
English
Real-Time Quasi Dense Two-Frames Depth Map for Autonomous Guided Vehicles
British Library Conference Proceedings | 2011
|REAL-TIME VIOLATIONS AND SAFETY MONITORING SYSTEM ON AUTONOMOUS VEHICLES
European Patent Office | 2019
|Real-time violations and safety monitoring system on autonomous vehicles
European Patent Office | 2022
|Real-time coordination of autonomous vehicles
IEEE | 2006
|