ITEA Award of Excellence for ENTOC project

On 2020-09-09 the Vice Chairman of ITEA, Philippe Letellier handed over the Award of Excellence to the ENTOC project, in which ifak was extensively involved. It continues the success of its predecessor project AVANTI, which also received this award. Main research topics of ifak were the formalization of requirements documents for production systems, the specification and prototypical implementation of a component store that provides consistent behavioral descriptions of automation components as well as the online comparison of sensor and target values from the production system with the plant simulation in order to detect errors in the system at an early stage.