Emergency Shutdown Module (Danfoss)

Emergency Shutdown Module (Danfoss)

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.

Pacemaker Software Certification

Pacemaker Software Certification

This case-study demonstrates the use of model based development and verification technologies provided by AF3 for the development of a "Pacemaker" system.

UAV Sense and Avoid System (Integrasys)

UAV Sense and Avoid System (Integrasys)

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.

 
Escalator (KONE)

Escalator (KONE)

KONE successfully developed safety functions of an escalator in the RECOMP project using AutoFOCUS3 models.

Turbine Overspeed Protection (Metso)

Turbine Overspeed Protection (Metso)

Metso used AutoFOCUS3 to model safety functions and code generation the Turbine overspeed detection system as a contribution to the RECOMP project.