Share Email Print
cover

Proceedings Paper • new

C code generation from Petri-net-based logic controller specification
Author(s): Michał Grobelny; Iwona Grobelna; Andrei Karatkevich
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

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.

Paper Details

Date Published: 7 August 2017
PDF: 6 pages
Proc. SPIE 10445, Photonics Applications in Astronomy, Communications, Industry, and High Energy Physics Experiments 2017, 1044525 (7 August 2017); doi: 10.1117/12.2280959
Show Author Affiliations
Michał Grobelny, Univ. of Zielona Góra (Poland)
Iwona Grobelna, Univ. of Zielona Góra (Poland)
Andrei Karatkevich, Univ. of Zielona Góra (Poland)


Published in SPIE Proceedings Vol. 10445:
Photonics Applications in Astronomy, Communications, Industry, and High Energy Physics Experiments 2017
Ryszard S. Romaniuk; Maciej Linczuk, Editor(s)

© SPIE. Terms of Use
Back to Top