Safe By Design Autonomous Driving System