Dual synthesis of Petri net based application specific logic controllers with increased safety

被引：0
|
作者：
Tkacz, J. [1 ]
Bukowiec, A. [1 ]
Adamski, M. [1 ]
机构：
[1] Univ Zielona Gora, 9 Licealna St, PL-65417 Zielona Gora, Poland
来源：
BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES | 2016年 / 64卷 / 03期
关键词：
critical safety; FPGAs; logic controllers; logic synthesis; Petri nets; verification; HARDWARE IMPLEMENTATION; FPGA; DESIGN;
D O I：
10.1515/bpasts-2016-0052
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.
引用
收藏
页码：467 / 478
页数：12
相关论文
共 50 条
  • [21] Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy
    王生原
    梁英毅
    董渊
    TsinghuaScienceandTechnology, 2007, (06) : 684 - 690
  • [22] Logic Synthesis for FPGAs of Interpreted Petri Net with Common Operation Memory
    Bukowiec, Arkadiusz
    Adamski, Marian
    11TH IFAC/IEEE INTERNATIONAL CONFERENCE ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2012), 2012,
  • [23] Property Preservation and Application of a kind of Petri net Synthesis
    Xia, Chuanliang
    2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 35 - 38
  • [24] Hardware implementation of real-time Petri-net-based controllers
    Chang, N
    Kwon, WH
    Park, J
    CONTROL ENGINEERING PRACTICE, 1998, 6 (07) : 889 - 895
  • [25] A methodology based on a Petri Net model for control process safety: Application to a steering axletree control
    Bourjij, A
    Musset, R
    Krzakala, G
    PROCEEDINGS OF THE HIGH PERFORMANCE COMPUTING SYMPOSIUM - HPC '99, 1999, : 465 - 469
  • [26] Hardware implementation of real-time Petri net-based controllers
    Chang, N
    Kwon, WH
    Park, J
    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, 1997, : 245 - 250
  • [27] Petri-Net Based Application for Supply Chain Management: An Overview
    Zhang, Xiaoling
    Lu, Qiang
    Wu, Teresa
    2009 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1-4, 2009, : 1406 - +
  • [28] Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131 part I:: Specification and design
    Feldmann, K
    Colombo, AW
    Schnur, C
    Stöckel, T
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1999, 7 (06) : 657 - 665
  • [29] Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131 part II:: Design and implementation
    Feldmann, K
    Colombo, AW
    Schnur, C
    Stöckel, T
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1999, 7 (06) : 666 - 674
  • [30] FPGA-based logic controllers for safety critical systems
    Wegrzyn, M
    NEW TECHNOLOGIES FOR COMPUTER CONTROL 2001, 2002, : 553 - 558
12345