* Preconditions: Applicable to components under test involved in the scenario in roles of sender and receiver: vehicle, remote station * Input conditions / steps: Execute static analysis focused on specific type of software bugs. * Expected result: True-positives or false-positives should be notified.