Cargando…

PLC code generation based on a formal specification language

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 fina...

Descripción completa

Detalles Bibliográficos
Autores principales: Darvas, Daniel, Vinuela, Enrique Blanco, Majzik, Istvan
Lenguaje:eng
Publicado: 2017
Materias:
Acceso en línea:https://dx.doi.org/10.1109/INDIN.2016.7819191
http://cds.cern.ch/record/2318768
_version_ 1780958447909470208
author Darvas, Daniel
Vinuela, Enrique Blanco
Majzik, Istvan
author_facet Darvas, Daniel
Vinuela, Enrique Blanco
Majzik, Istvan
author_sort Darvas, Daniel
collection CERN
description 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 PLC-specif is applicable and well-adapted to the PLC domain.
id oai-inspirehep.net-1665954
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
record_format invenio
spelling oai-inspirehep.net-16659542019-09-30T06:29:59Zdoi:10.1109/INDIN.2016.7819191http://cds.cern.ch/record/2318768engDarvas, DanielVinuela, Enrique BlancoMajzik, IstvanPLC code generation based on a formal specification languageComputing and ComputersThe 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 PLC-specif is applicable and well-adapted to the PLC domain.oai:inspirehep.net:16659542017
spellingShingle Computing and Computers
Darvas, Daniel
Vinuela, Enrique Blanco
Majzik, Istvan
PLC code generation based on a formal specification language
title PLC code generation based on a formal specification language
title_full PLC code generation based on a formal specification language
title_fullStr PLC code generation based on a formal specification language
title_full_unstemmed PLC code generation based on a formal specification language
title_short PLC code generation based on a formal specification language
title_sort plc code generation based on a formal specification language
topic Computing and Computers
url https://dx.doi.org/10.1109/INDIN.2016.7819191
http://cds.cern.ch/record/2318768
work_keys_str_mv AT darvasdaniel plccodegenerationbasedonaformalspecificationlanguage
AT vinuelaenriqueblanco plccodegenerationbasedonaformalspecificationlanguage
AT majzikistvan plccodegenerationbasedonaformalspecificationlanguage