11.2 Safetyexample.aadl
A simple safety criticality checking example. This model illustrates the use of a safety criticality property to assure that a low safety criticality component does not control the execution of a high safety criticality component. 
It is used the same way as the security example above, except that you invoke the safety check.