Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
An intelligent, predictive control approach to the high-speed cross-country autonomous navigation problem
Safety Assurance Strategies for Autonomous Vehicles
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
A formal model of reliable sensor perception
EuroSSC'10 Proceedings of the 5th European conference on Smart sensing and context
Safety and Precision of Spatial Context Models for Autonomous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Assuring safety of autonomous vehicles operating in an open environment requires reliable situation awareness, action planning and prediction of actions of other vehicles and objects. Factors that also have to be considered are certainty and completeness of available information and trust in information sources and other entities. The paper discusses the problem of autonomous vehicle safety assurance and proposes dynamic situation assessment to cope with the problem of environment dynamics and incomplete and uncertain situation knowledge. The approach is presented for a simple example of a simulated autonomous vehicle. The situation awareness model and autonomous vehicle control system architecture is presented. The problems of justifying system safety are discussed.