Software Requirement Definition and Review

Failure Modes and Effects Analysis (FMEA)

Fault Tree Analysis (FTA)

Design Review

Formal Specification and Model Checking

Bug finding, error diagnostics

Code Review: identification of runtime errors

Development of made-to-measure HSI test equipment

Manual and automated test case/test data generation

Model based testing

Requirement based testing

Robustness tests (e.g. stack overflow, maximal load, avalanche, long duration)

Protocol conformance tests

to all topics mentioned above