The case study is an emergency shutdown module for a frequency converter that is used in multiple application in the industry to control the speed of an electronic motor.
This case-study demonstrates the use of model based development and verification technologies provided by AF3 for the development of a "Pacemaker" system.
In the RECOMP project Integrasys and fortiss jointly were using AutoFOCUS3 to model the logical and technical architecture of a UAV Sense and Avoid System demonstrator.
KONE successfully developed safety functions of an escalator in the RECOMP project using AutoFOCUS3 models.
Metso used AutoFOCUS3 to model safety functions and code generation the Turbine overspeed detection system as a contribution to the RECOMP project.