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 条
  • [1] Formal Specification and Code Generation of Programable Logic Controllers
    Wang, Rui
    Gu, Ming
    Song, Xiaoyu
    Wan, Hai
    2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2009, : 102 - +
  • [2] A method for the generation of HDL code at the RTL level from a high-level formal specification language
    Kountouris, AA
    Wolinski, C
    40TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 1998, : 1095 - 1098
  • [3] On a GUI based editor for a formal specification language
    Ishikawa, I
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2004, 111 : 241 - 248
  • [4] Formal specification and implementation of an automated pattern-based parallel-code generation framework
    Gervasio Pérez
    Sergio Yovine
    International Journal on Software Tools for Technology Transfer, 2019, 21 : 183 - 202
  • [5] Formal specification and implementation of an automated pattern-based parallel-code generation framework
    Perez, Gervasio
    Yovine, Sergio
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 21 (02) : 183 - 202
  • [6] Test cases generation based on formal specification
    State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
    不详
    Jiefangjun Ligong Daxue Xuebao, 2009, 4 (318-323):
  • [7] Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language
    A. S. Kossatchev
    P. Kutter
    M. A. Posypkin
    Programming and Computer Software, 2004, 30 : 218 - 229
  • [8] Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language
    Kossatchev, AS
    Kutter, P
    Posypkin, MA
    PROGRAMMING AND COMPUTER SOFTWARE, 2004, 30 (04) : 218 - 229
  • [9] English as a formal specification language
    Schwitter, R
    13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [10] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
12345