Transparency analysis of Petri net based logic controllers - A measure for software quality in automation

被引：0

作者：

Frey, G ^{[1
]}

Litz, L ^{[1
]}

机构：

[1] Univ Kaiserslautern, Inst Proc Automat, D-67653 Kaiserslautern, Germany

来源：

PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6 | 2000年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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) so cording to IEC 1131-3 standard the analysis is easily extended to SFC-nets.

引用

页码：3182 / 3186

页数：5

共 50 条

[1] Correctness analysis of Petri net based logic controllers
Frey, G
Litz, L
[J]. PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3165 - 3166
[2] Petri net-based specification, analysis and synthesis of logic controllers
Wegrzyn, A
Wegrzyn, M
[J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 20 - 26
[3] Dynamic reconfiguration of Petri net logic controllers based on modified net rewriting systems
Li, Jun
Dai, Xianzhong
Meng, Zhengda
[J]. 2005 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATIONS, VOLS 1-4, CONFERENCE PROCEEDINGS, 2005, : 562 - 567
[4] Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers
Li, J
Dai, XZ
Meng, ZD
[J]. IECON 2005: THIRTY-FIRST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2005, : 2284 - 2289
[5] Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Doligalski, Michal
Adamski, Marian
[J]. INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2012, 58 (01) : 43 - 48
[6] Developing software controllers with Petri nets and a logic of actions
Simon, C
[J]. 2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 58 - 63
[7] Dual synthesis of Petri net based application specific logic controllers with increased safety
Tkacz, J.
Bukowiec, A.
Adamski, M.
[J]. BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES, 2016, 64 (03) : 467 - 478
[8] Dual Synthesis of Petri Net Based Dependable Logic Controllers for Safety Critical Systems
Bukowiec, Arkadiusz
Tkacz, Jacek
Adamski, Marian
Wisniewski, Remigiusz
[J]. 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 243 - 248
[9] Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams
Uzam, M
Jones, AH
Ajlouni, N
[J]. ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 649 - 655
[10] Petri net implementation in programmable logic controllers: methodology for development and validation
Azkarate Fernandez, Igor
Mugarza Cortabarria, Juan Carlos
Eciolaza Echeverria, Luka
[J]. 2021 IEEE 19TH WORLD SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS (SAMI 2021), 2021, : 15 - 19

← 1 2 3 4 5 →