ILT-U-1743
Software static test: Code verification to ensure safety requirements.
ILT-U-1744
Software static test: Code verification to ensure safety requirements.
ILT-U-1749
Software safety validation of software module for an Adaptative Cruise Control System (ACC)
