Generic Representation Of Plc Programming Languages For Formal Verification Article Swipe
Related Concepts
Programming language
Computer science
Representation (politics)
Formal verification
Political science
Law
Politics
Dániel Darvas
,
István Majzik
,
Enrique Blanco Viñuela
·
YOU?
·
· 2016
· Open Access
·
· DOI: https://doi.org/10.5281/zenodo.51064
· OA: W3024310882
YOU?
·
· 2016
· Open Access
·
· DOI: https://doi.org/10.5281/zenodo.51064
· OA: W3024310882
Programmable Logic Controllers are typically programmed in one of the five languages defined in the IEC 61131 standard. While the ability to choose the appropriate language for each program unit may be an advantage for the developers, it poses a serious challenge to verification methods. In this paper we analyse and compare these languages to show that the ST programming language can efficiently and conveniently represent all PLC languages for formal verification purposes.
Related Topics
Finding more related topics…