![]() ![]() |
||||
|
||||
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.
|
||||