PLC Code Generation Based on a Formal Specification Language

被引：0
|
作者：
Darvas, Daniel [1 ,2 ]
Vinuela, Enrique Blanco [1 ]
Majzik, Istvan [2 ]
机构：
[1] European Org Nucl Res CERN, Beams Dept, Geneva, Switzerland
[2] Budapest Univ Technol & Econ, Dept Measurement & Informat Syst, Budapest, Hungary
来源：
2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) | 2016年
关键词：
AUTOMATA; SOFTWARE;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The complexity and quality needs of PLC-based control system software have largely increased. Formal specification methods can help to cope with these needs. Besides formal verification, another benefit of a formal specification language is the possibility to provide automatic generation of the final source code. This paper overviews PLCspecif, our formal specification language for PLC programs and presents a code generation method for the language. The result of the code generator is a Structured Text (ST) code that not only corresponds to the formal semantics of the specification, but is also configurable, readable, understandable, and follows development conventions and standards. The code generation method shows that PLCspecif is applicable and well-adapted to the PLC domain.
引用
收藏
页码：389 / 396
页数：8
相关论文
共 50 条
  • [31] Exercise Generation on Language Specification
    Joao Almeida, J.
    Grande, Eliana
    Smirnov, Georgi
    RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, 2017, 569 : 277 - 286
  • [32] Code generation based on formal BURS theory and heuristic search
    Nymeyer, A
    Katoen, JP
    ACTA INFORMATICA, 1997, 34 (08) : 597 - 635
  • [33] Code generation based on formal BURS theory and heuristic search
    A. Nymeyer
    J.-P. Katoen
    Acta Informatica, 1997, 34 : 597 - 635
  • [34] Towards formal specification and generation of autonomic policies
    Sterritt, R
    Hinchey, MG
    Rash, JL
    Truszkowski, W
    Rouff, CA
    Gracanin, D
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 WORKSHOPS, PROCEEDINGS, 2005, 3823 : 1245 - 1254
  • [35] Formal Specification Generation from Requirement Documents
    Cabral, Gustavo
    Sampaio, Augusto
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 195 (171-188) : 171 - 188
  • [36] UNIX STREAMS generation from a formal specification
    Rychwalski, P
    Wytrebowicz, J
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2003, 2003, 2767 : 1 - 14
  • [37] Automatic PLC Code Generation Based on Virtual Engineering Model
    Jbair, Mohammad
    Ahmad, Bilal
    Ahmad, Mus'ab H.
    Vera, Daniel
    Harrison, Robert
    Ridler, Tony
    2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER PHYSICAL SYSTEMS (ICPS 2019), 2019, : 675 - 680
  • [38] Finite model generation and formal specification development
    Zhang, J
    TOOLS 24: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, 24 : 350 - 355
  • [39] A specification language for consistent model generation based on partial models
    Marussy, Kristof
    Semerath, Oszkar
    Babikian, Aren A.
    Varro, Daniel
    JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (03): : 1 - 22
  • [40] CONTROLH - AN ALGORITHM SPECIFICATION LANGUAGE AND CODE GENERATOR
    ENGLEHART, M
    JACKSON, M
    IEEE CONTROL SYSTEMS MAGAZINE, 1995, 15 (02): : 54 - 64
12345