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 条
  • [21] Code Generation from Specification based on Component Oriented Approach
    Liu Xiaoli
    Wu Guoqing
    Min, Yang
    Fan, Zhang
    PROCEEDINGS OF THE 2007 1ST INTERNATIONAL SYMPOSIUM ON INFORMATION TECHNOLOGIES AND APPLICATIONS IN EDUCATION (ISITAE 2007), 2007, : 153 - +
  • [22] Formal Development of a Cardiac Pacemaker: From Specification to Code
    Gomes, Artur O.
    Oliveira, Marcel V. M.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 210 - 225
  • [23] A Language for Biochemical Systems: Design and Formal Specification
    Pedersen, Michael
    Plotkin, Gordon D.
    TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
  • [24] ConSpec- A Formal Language for Policy Specification
    Aktug, Irem
    Naliuka, Katsiaryna
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 197 (01) : 45 - 58
  • [25] On the Formal Semantics of MiniMaple and its Specification Language
    Khan, Muhammad Taimoor
    10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 169 - 174
  • [26] Formal Specification Based Automatic Test Generation for Embedded Network Systems
    Choi, Eun Hye
    Nishihara, Hideaki
    Ando, Takahiro
    Nguyen Van Tang
    Aoki, Masahiro
    Yoshisaka, Keiichi
    Mizuno, Osamu
    Ohsaki, Hitoshi
    JOURNAL OF APPLIED MATHEMATICS, 2014,
  • [27] Functional verification methodology based on formal interface specification and transactor generation
    Balarin, Felice
    Passerone, Roberto
    2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1012 - +
  • [28] LOGIC SPECIFICATION OF CODE GENERATION TECHNIQUES
    GIEGERICH, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 217 : 96 - 111
  • [29] TOWARDS AN ALGEBRAIC SPECIFICATION OF CODE GENERATION
    BERGHAMMER, R
    EHLER, H
    ZIERER, H
    SCIENCE OF COMPUTER PROGRAMMING, 1988, 11 (01) : 45 - 63
  • [30] A preliminary formal specification of virtual organization creation with RAISE specification language
    Nami, Mohammad Reza
    Sharifi, Mohsen
    Malekpour, Abbas
    SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 227 - +
12345