GF_LL_ACC2000_4_june_2000

Frey, G.; Litz, L.:
Transparency Analysis of Petri net based Logic Controllers - A Measure for Software Quality in Automation.
Proceedings of the American Control Conference ACC 2000, Chicago, June 28-30, 2000, pp. 3182-3186.

    Control algorithms are a special type of application oriented software which clearly should meet the quality criteria defined by ISO/IEC9126 standard. It is shown how these criteria are related to two basic properties of control algorithms: correctness and transparency. This contribution concentrates on the analysis of transparency. An algorithm is said to be correct if it fulfils several formal criteria as for example determinism. It is said to be transparent if it is 'easy and clear to see' what the controller does at the moment and what it will do in the next steps. A number of criteria for transparency are given. These criteria cover different aspects such as number of comments, directionality, and I/O-behavior. They are combined in a weighted sum to an automatically computable metric. The analysis is based on the Signal Interpreted Petri Net (SIPN). It is shown how the transparency properties of the SIPN can be determined using the SIPN itself and its reachability graph. Because of a close relation between SIPN and Sequential Function Chart (SFC) according to IEC 1131-3 standard the analysis is easily extended to SFC-nets.