In order to meet user requirements and system environment changes, reconfigurable control systems must dynamically adapt their structure and behavior without disrupting system operation. IEC 61499 standard provides limited support for the design and verification of such systems. In fact, handling different reconfiguration scenarios at runtime is difficult since IEC 61499 function blocks cannot be changed at run-time. Hence, this thesis promotes an IEC 61499 extension called reconfigurable

more »

... on block (RFB) that increases design readability and smoothly switches to the most appropriate behaviour when a reconfiguration event occurs. In order to ensure system feasibility after reconfiguration, in addition to the qualitative verification, quantitative verification based on probabilistic model checking is addressed in a new RFBA approach. The latter aims to transform the designed RFB model automatically into a generalised reconfigurable timed net condition/event system model (GRTNCES) using a newly developed environment called RFBTool. The GR-TNCES fits well with RFB and preserves its semantic. Using a probabilistic model checker PRISM, the generated GR-TNCES model is checked using defined properties specified in computation tree logic. As a result, an evaluation of system performance and an estimation of reconfiguration risks are obtained. The RFBA methodology is applied on a distributed power system case study.