Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture

Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska

Research into safety in autonomous and semi-autonomous vehicles has, so far, largely been focused on testing and validation through simulation. Due to the fact that failure of thes…