A formal framework for the safe design of the Autonomous Driving supervision - Cuer, Romain; Piétrac, Laurent; Niel, Eric; Diallo, Saidou; Minoiu-Enache, Nicoleta; Dang-Van-Nhan, Christophe (Reliability engineering & system safety, 2018)
Keywords: Automobile driving; Automobile industry; Automotive engineering; Autonomous cars; Autonomous vehicle; Autonomous vehicles; Collisions; Control systems; Design engineering; Design systems; Discrete-event dynamic systems; Driving; Electric power; Embedded systems; Engineering Sciences; Highway safety; Nonlinear systems; Redundancy control; Reliability engineering; Requirements analysis; Safety; Safety analysis; Safety critical; Safety engineering; Systems design; Systems engineering; Traffic accidents & safety; Traffic safety; Requirements analysis; Design systems; Autonomous vehicle; Systems engineering; Safety analysis; Redundancy control; Discrete-event dynamic systems