@inproceedings{Duc2020,Author = {Duc Do Tran, Kim Grüttner, Jörg Walter and Frank Oppenheimer},Title = {Towards Time-Sensitive Behavioral Contract Monitors for IEC 61499 Function Blocks},Year = {2020},Month = {06},Booktitle = {3rd IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2020)},type = {inproceedings},Abstract = {The IEC standard 61499 defines a generic model for distributed industry control systems. It offers high flexibility through an event-driven model of execution. The downside of such models is that they can be difficult to analyze and debug.The central modeling element of IEC 61499 is the function block (FB), a composable representation of behaviour activated through event ports, with optional data ports. We adopt the concept of contracts for FBs to allow the specification of assumptions and guarantees over data/event traces of their input and output ports.This work proposes an initial concept for integrating time-sensitive behavioural contracts with IEC 61499 FBs. We propose specification patterns and a tool that supports the automatic generation and integrating of contract monitors into IEC 61499 FB models. These monitors observe an FB's input and output values/events and check that assumptions and guarantees hold. We evaluate our proposed concept on a simple pick and place control system that is modeled in 4diac, an open source IEC 61499 framework. }}@COMMENT{Bibtex file generated on }