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 条
  • [31] Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers
    Pereira, Fernando
    Gomes, Luis
    TECHNOLOGICAL INNOVATION FOR CLOUD-BASED ENGINEERING SYSTEMS, 2015, 450 : 165 - 175
  • [32] Supervisory control based on minimal cuts and Petri net sub-controllers coordination
    Rezig, Sadok
    Achour, Zied
    Rezg, Nidhal
    Kammoun, Mohamed-Ali
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2016, 47 (14) : 3425 - 3435
  • [33] Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems
    Liu, Huixia
    Xing, Keyi
    Zhou, MengChu
    Han, Libin
    Wang, Feng
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (02): : 196 - 208
  • [34] C code generation from Petri net based logic controller specification
    Grobelny, Michal
    Grobelna, Iwona
    Karatkevich, Andrei
    PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH ENERGY PHYSICS EXPERIMENTS 2017, 2017, 10445
  • [35] A PETRI-NET MODEL FOR NONMONOTONIC REASONING BASED ON ANNOTATED LOGIC PROGRAMS
    LIN, C
    MURATA, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1994, E77A (10) : 1579 - 1587
  • [36] Synthesis a Petri net based control model for a FMS cell
    Pouyan, Ali A.
    Shandiz, Heydar Toossian
    Arastehfar, Soheil
    COMPUTERS IN INDUSTRY, 2011, 62 (05) : 501 - 508
  • [37] Automatic Reconfiguration of Petri Net Controllers for Reconfigurable Manufacturing Systems With an Improved Net Rewriting System-Based Approach
    Li, Jun
    Dai, Xianzhong
    Meng, Zhengda
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2009, 6 (01) : 156 - 167
  • [38] Siphon Basis-Based Design of Petri Net Controllers for a Class of Flexible Manufacturing Systems
    Liu, Huixia
    Gao, Zhenxin
    2013 IEEE INTERNATIONAL CONFERENCE OF IEEE REGION 10 (TENCON), 2013,
  • [39] A Modular Synthesis Approach for Intelligent Manufacturing System Design a Petri net based Transformation Method
    Jafarinejad, Fatcmch
    Pouvan, Ali A.
    2015 SIGNAL PROCESSING AND INTELLIGENT SYSTEMS CONFERENCE (SPIS), 2015, : 128 - 132
  • [40] Optimal Petri-net supervisor synthesis based on the constraint transformation
    College of Information Science and Engineering, Huaqiao University, Xiamen 361021, China
    不详
    Zhejiang Daxue Xuebao (Gongxue Ban), 2013, 11 (2051-2056+2072): : 2051 - 2056+2072
12345