Behavioral type-based monitoring for IEC 61499

摘要

We present work on extending IEC 61499 with behavioral types-based specifications. Identifying components and establishing interface specifications is already a key concept of IEC 61499. Components and their interfaces are a well established concept facilitating the development, maintenance, and refactoring of software systems. Behavioral types further extend the expressiveness of interface specifications by adding regular expression-based, protocol-like usages of components. We motivate the concept and focus on a particular application area: runtime monitoring of behavioral specifications in components. This allows us to catch deviations from specified behavior automatically in an already deployed system. We present the integration into the 4DIAC runtime environment using an example.