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 条
  • [1] Specification and synthesis of Petri Net based reprogrammable logic controller
    Adamski, M
    [J]. PROGRAMMABLE DEVICES AND SYSTEMS 2001, 2002, : 95 - 100
  • [2] From interpreted Petri net specification to reprogrammable Logic Controller design
    Adamski, M
    Monteiro, JL
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 13 - 19
  • [3] Design of a petri net controller from an IDEFO specification
    Boucher, Thomas O.
    Jafari, Mohsen A.
    [J]. Factory Automation and Information Management - Proceedings, 1991,
  • [4] Fuzzy Petri net-based programmable logic controller
    Andreu, D
    Pascal, JC
    Valette, R
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1997, 27 (06): : 952 - 961
  • [5] Petri Net-Based Semi-Compiled Code Generation for Programmable Logic Controllers
    Azkarate, Igor
    Ayani, Mikel
    Carlos Mugarza, Juan
    Eciolaza, Luka
    [J]. APPLIED SCIENCES-BASEL, 2021, 11 (15):
  • [6] Petri net based test case generation for evolved specification
    Zuohua Ding
    Mingyue Jiang
    Haibo Chen
    Zhi Jin
    Mengchu Zhou
    [J]. Science China Information Sciences, 2016, 59
  • [7] Petri net based test case generation for evolved specification
    Zuohua DING
    Mingyue JIANG
    Haibo CHEN
    Zhi JIN
    Mengchu ZHOU
    [J]. Science China(Information Sciences), 2016, 59 (08) : 67 - 91
  • [8] 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
  • [9] Petri net based test case generation for evolved specification
    Ding, Zuohua
    Jiang, Mingyue
    Chen, Haibo
    Jin, Zhi
    Zhou, Mengchu
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2016, 59 (08)
  • [10] LOGIC SPECIFICATION OF CODE GENERATION TECHNIQUES
    GIEGERICH, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 217 : 96 - 111
12345