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.
Real-Time Safety Analysis for Autonomous Guided Vehicles
1990
12 pages
Report
Keine Angabe
Englisch
Real-time violations and safety monitoring system on autonomous vehicles
Europäisches Patentamt | 2022
|REAL-TIME VIOLATIONS AND SAFETY MONITORING SYSTEM ON AUTONOMOUS VEHICLES
Europäisches Patentamt | 2019
|Real-Time Quasi Dense Two-Frames Depth Map for Autonomous Guided Vehicles
British Library Conference Proceedings | 2011
|