C code generation from Petri net based logic controller specification

被引：2
|
作者：
Grobelny, Michal [1 ]
Grobelna, Iwona [2 ]
Karatkevich, Andrei [2 ]
机构：
[1] Univ Zielona Gora, Dept Media & Informat Technol, Polskiego 69, Zielona Gora, Wojska, Poland
[2] Univ Zielona Gora, Inst Elect Engn, Podgorna 50, Zielona Gora, Poland
来源：
PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH ENERGY PHYSICS EXPERIMENTS 2017 | 2017年 / 10445卷
关键词：
implementation; logic controller; microcontroller; Petri net; C (programming language); programming concurrency; VERIFICATION;
D O I：
10.1117/12.2280959
中图分类号：
O43 [光学];
学科分类号：
070207 ; 0803 ;
摘要：
The article focuses on programming of logic controllers. It is important that a programming code of a logic controller is executed flawlessly according to the primary specification. In the presented approach we generate C code for an AVR microcontroller from a rule-based logical model of a control process derived from a control interpreted Petri net. The same logical model is also used for formal verification of the specification by means of the model checking technique. The proposed rule-based logical model and formal rules of transformation ensure that the obtained implementation is consistent with the already verified specification. The approach is validated by practical experiments.
引用
收藏
页数：6
相关论文
共 50 条
  • [31] A systematic approach to the Petri net based specification of concurrent systems
    Mazzeo, A
    Mazzocca, N
    Russo, S
    Vittorini, V
    [J]. REAL-TIME SYSTEMS, 1997, 13 (03) : 219 - 236
  • [32] Generation of C plus plus Code from Isabelle/HOL Specification
    Jiang, Dongchen
    Xu, Bo
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2022, 32 (07) : 1043 - 1069
  • [33] Service net algebra based on logic Petri nets
    Hu, Qiang
    Du, Yuyue
    Yu, ShuXia
    [J]. INFORMATION SCIENCES, 2014, 268 : 271 - 289
  • [34] 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
  • [35] Control logic generation for machining systems using Petri net formalism
    Park, E
    Tilbury, DM
    Khargonekar, PP
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3201 - 3206
  • [36] WS-Net: A Petri-net based specification model for web services
    Zhang, J
    Chang, CK
    Chung, JY
    Kim, SW
    [J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 420 - 427
  • [37] Automated Test Case Generation for Programmable Logic Controller Code
    Suresh, Varsha P.
    Chakrabarti, Sujit
    Jetley, Raoul
    [J]. PROCEEDINGS OF THE 12TH INNOVATIONS ON SOFTWARE ENGINEERING CONFERENCE (ISEC), 2019,
  • [38] CONTROLLER IMPLEMENTATION BY COMMUNICATING ASYNCHRONOUS SEQUENTIAL-CIRCUITS GENERATED FROM A PETRI-NET SPECIFICATION OF REQUIRED BEHAVIOR
    BEISTER, J
    WOLLOWSKI, R
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 22 : 103 - 115
  • [39] Parallel Code Generation from Synchronous Specification
    Hu K.
    Zhang T.
    Shang L.-H.
    Yang Z.-B.
    Talpin J.-P.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2017, 28 (07): : 1698 - 1712
  • [40] Elimination of duplicate labels in Petri-net-based system specification
    Cheung, KS
    Chow, KO
    [J]. FIFTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - PROCEEDINGS, 2005, : 932 - 936
12345