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 条
  • [41] Static Detection of Implementation Errors Using Formal Code Specification
    Saleh, Iman
    Kulczycki, Gregory
    Blake, M. Brian
    Wei, Yi
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 197 - 211
  • [42] Using formal specification language in industrial software development
    Jiang, H
    Lin, D
    Xie, XR
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1847 - 1851
  • [43] THE FORMAL SPECIFICATION FOR THE INVENTORY SYSTEM USING Z LANGUAGE
    Bakri, Siti Halimah
    Harun, Hanis
    Alzoubi, Amera
    Ibrahim, Rosziati
    COMPUTING & INFORMATICS, 4TH INTERNATIONAL CONFERENCE, 2013, 2013, : 419 - 425
  • [44] FORMAL SPECIFICATION IN "Z" LANGUAGE BY SOFTWARE Z/EVES
    Svec, J.
    Zahradnik, J.
    ADVANCES IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2006, 5 (01) : 166 - 168
  • [45] VCt -: a formal language for the specification of diagrammatic modelling techniques
    Serrano, JA
    Welland, R
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (09) : 463 - 474
  • [46] Automatic code generation for PLC controllers
    Sacha, K
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 303 - 316
  • [47] Modular Answer Set Programming as a Formal Specification Language
    Cabalar, Pedro
    Fandinno, Jorge
    Lierler, Yuliya
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (05) : 767 - 782
  • [48] Operational ontological approach to formal programming language specification
    I. S. Anureev
    Programming and Computer Software, 2009, 35 : 35 - 42
  • [49] BTOZ: A formal specification language for formalizing business transactions
    Alagar, VS
    Periyasamy, K
    TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 240 - 252
  • [50] SPECTA: A Formal Specification Language for Content Transfer Algorithms
    Sandvik, Petter
    2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), 2014,
12345