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 条
  • [1] Dual Synthesis of Petri Net Based Dependable Logic Controllers for Safety Critical Systems
    Bukowiec, Arkadiusz
    Tkacz, Jacek
    Adamski, Marian
    Wisniewski, Remigiusz
    2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 243 - 248
  • [2] Dual Simulation of Application Specific Logic Controllers Based on Petri Nets
    Bukowiec, Arkadiusz
    Tkacz, Jacek
    MULTIMEDIA AND UBIQUITOUS ENGINEERING, 2014, 308 : 399 - 404
  • [3] Dynamic reconfiguration of Petri net logic controllers based on modified net rewriting systems
    Li, Jun
    Dai, Xianzhong
    Meng, Zhengda
    2005 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATIONS, VOLS 1-4, CONFERENCE PROCEEDINGS, 2005, : 562 - 567
  • [4] Specification and synthesis of Petri Net based reprogrammable logic controller
    Adamski, M
    PROGRAMMABLE DEVICES AND SYSTEMS 2001, 2002, : 95 - 100
  • [5] Petri net implementation in programmable logic controllers: methodology for development and validation
    Azkarate Fernandez, Igor
    Mugarza Cortabarria, Juan Carlos
    Eciolaza Echeverria, Luka
    2021 IEEE 19TH WORLD SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS (SAMI 2021), 2021, : 15 - 19
  • [6] Petri Net-Based Semi-Compiled Code Generation for Programmable Logic Controllers
    Azkarate, Igor
    Ayani, Mikel
    Carlos Mugarza, Juan
    Eciolaza, Luka
    APPLIED SCIENCES-BASEL, 2021, 11 (15):
  • [7] Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT
    Khomenko, V
    Koutny, M
    Yakovlev, A
    FOURTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2004, : 16 - 25
  • [8] The Use of UML and Petri Net for Graphic Specification of the Reconfigurable Logic Controllers
    Bazydlo, Grzegorz
    Wojnakowski, Marcin
    Wisniewski, Remigiusz
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2018 (ICCMSE-2018), 2018, 2040
  • [9] Logic Petri Net Synthesis for Cooperative Systems
    Luan, Wenjing
    Qi, Liang
    Zhao, Zhongying
    Liu, Jianxin
    Du, Yuyue
    IEEE ACCESS, 2019, 7 : 161937 - 161948
  • [10] Design and Verification of Distributed Logic Controllers with Application of Petri Nets
    Wisniewski, Remigiusz
    Grobelna, Iwona
    Grobelny, Michal
    Wisniewska, Monika
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
12345