We provide EU funding and world-class technical support to engineering and technology businesses.

Find out more about who we are and what we do


Stay in Touch

EventBrite logo Twitter logo RSS logo Linked In  logo Email us

Join our mailing list

Join our mailing list to receive notification of CPSE Labs events and upcoming calls

Smart Anything Everywhere

Cyber-Physical Systems Engineering Labs is part of the Smart Anything Everywhere initiative.

This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 644400.

SMOF

SMOF is a Safety Monitoring Framework that starts from the results of a HAZOP-UML analysis to derive the specification of a set of safety monitors that launch safety interventions. SMOF relies on a high-level formalization of the target properties and of the available interventions (e.g., lock the robot wheels). It provides tool support for synthesis of strategies that trigger the interventions when needed, while minimizing impact on the functional activity of the system.

More specifically, SMOF is a research framework to assist the specification of safety rules executed by an independent monitor to ensure safety of the whole system. The safety rules are high-level requirements of the monitor expressed in terms of observable variables on the system and its environment and interventions.

Our method is based on risk analysis and take into account the system versatility in the specification of the safety rules.

The approach takes into account the permissiveness of the monitor, i.e. the ability to ensure safety without reducing the system functionalities, and so particularly fit the autonomous systems.

The tools are based on NuSMV, a model-checker. It is used to model and verify. The framework includes a template to ease the modeling. For the user, writing and checking manually safety rules in NuSMV may be tedious and error-prone. We have developed a synthesis tool, which returns directly satisfying sets of safety rules.

Further reading

More details can be found on SMOF homepage: publications describing the scientific insights, as well as an open-source version of an implementation of the framework.

Crescendo logo
Design centre

This platform is supported by our France design centre.

France design centre