ADAS are safety critical, making sure the ADAS is correct means it has been properly tested against its requirements, which in turn means these requirements should be trustworthy artefacts.

How ADAS requirements can be verified, through simulation, with CATIA Stimulus (4mn video)?