Autonomous cars bring the promise to make our roads safer.
BUT... data-driven decision making can not guarantee that the system will be safe in every possible situation.
How to guarantee safety in every possible situation?
How to decide if a trajectory is safe or not?
How to assess the risk of each decision?
IVEX develops a formal model for safe driving. This model contains a minimum set of context-dependent constraints that define safe driving behavior. Our Safety Co-Pilot uses the model to assess if a certain traffic situation is dangerous, decide which constraints should be respected by the trajectory and recommend decisions which can lead the car to a safe state.
The safety co-pilot constantly checks the planned trajectory created by the motion planning components.
The safety co-pilot evaluates the safety of the planned trajectory w.r.t the perceived environment & prediction. In order to have a reliable view of the world, the safety co-pilot can use raw sensor data as well as post-processed data together with the level of certainty of this data.
3 Act & Guarantee
The safety co-pilot will give constraints to planning & decision-making controller to guarantee safety according to IVEX driving model.
The IVEX safety Co-Pilot is an extra certifiable safety layer for the AD system that gives runtime guarantees on the behavior.
IVEX can easily add client dependent custom made constraints to the model.
The Co-Pilot enables imperfect perception and sensor failure. Uncertainty of perception, and contradicting perception data are modeled in the safe driving model.
The IVEX safety Co-Pilot is certifiable as SEooC - ISO26262