Evaluation of safety-critical software | Synapse