A model-based approach to qualified process automation for anomaly detection and treatment

Modern machineries are becoming complex cyber-physical systems with increasingly intelligent support for process automation. For the dependability and performance, a combination of measures for fault avoidance, robust architecture, and runtime anomaly handling is necessary. These in turn call for a formalization of knowledge across different system lifecycle stages and a provision of novel methods and tools for qualified system synthesis and effective risk management. This paper presents a model-based approach to qualified process automation for the operation and maintenance of production systems. The contribution is centered on the formalizations of a wide range of system concerns, and thereby a consolidation of the rationale behind the design of run-time process logic in BPMN2.0. In particular, the approach allows an integration of formal system descriptions, FTA and FEMA based anomaly analysis, and executable process models for effective anomaly detection and treatment. The approach adopts mature modeling methods and tools through EAST-ADL. In this paper, a prototype tool-chain with MetaEdit+ Domain-Specific Modeling (DSM) Workbench, HiP-HOPS Tool and Camunda BPM Platform is also presented.