Enforcing safety requirements for industrial automation systems at runtime position paper

Current industrial automation systems are becoming more and more complex, and typically involve different phases of engineering, such as design time and runtime. System requirements, which are usually elicited during design time by engineers, currently are not sufficiently represented at runtime, like the runtime enforcement of safety requirements for industrial automation systems. Such kind of enforcement usually is very hard to model and predict at design time. Hence, the need exists to capture and manage safety requirements at design time and runtime, since safety requirements of industrial automation systems may lead to high risks if not addressed properly. In this position paper, we introduce a safety requirements enforcement framework and the using of Boilerplates for requirements elicitation and by explicitly modeling the runtime requirements knowledge for further application. We illustrate and evaluate the approach with data from a real-world case study in the area of industrial process systems. Major result was that the Boilerplates and explicit engineering knowledge are well suited to capture and enforce runtime safety requirements of industrial automation systems.