Software engineering for safety | Synapse