USF Metamodel
The specification of USF
The Universal Safety Format (USF) consists of two parts: The metamodel for the specification of models which will be subject to weaving, and the USF transformation language.
The specification of USF
How to define safety mechanisms using the USF transformation language
Example for the application of a safety pattern in Simulink®