The quality of service model and high assurance | Synapse