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...
Autores principales: | , , |
---|---|
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 |