ICALEPCS2019 - List of Authors (Darvas, D.)

Paper	Title	Page
MOBPP01	PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs	21
	E. Blanco Viñuela, D. Darvas CERN, Geneva, Switzerland V. Molnár BUTE, Budapest, Hungary
	Programmable Logic Controllers (PLC) are widely used for industrial automation in industry and at CERN. The reliability of PLC software is crucial, but typically only testing is used to validate it. Our work targets the use of formal verification in practical ways for many years, which showed that it can be beneficial and practically applicable to various PLC programs. In this paper, we present PLCverif, our platform for formal analysis of PLC programs which has largely enhanced the quality of the deployed PLC software. By re-engineering the previous internal prototype tool, we built PLCverif to be an open, extensible platform that can be used not only for CERN’s specific PLC programs. PLCverif is licensed under an open source license, allowing the interested parties to use and extend it.
	Slides MOBPP01 [5.586 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2019-MOBPP01
About •	paper received ※ 27 September 2019 paper accepted ※ 09 October 2019 issue date ※ 30 August 2020
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEPHA018	Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced	1107
	E. Blanco Viñuela, D. Darvas CERN, Geneva, Switzerland Gy. Sallai BUTE, Budapest, Hungary
	Testing Programmable Logic Controllers (PLCs) is challenging, partially due to the lack of tools for testing. Isolating a part of the PLC program, feeding it with test inputs and checking the test outputs often require manual work and physical hardware. The Siemens PLCSIM Advanced tool can simulate PLCs and provide a rich application programming interface (API). This paper presents a new CERN made tool based on PLCSIM Advanced and the TIA Portal Openness API. The tool takes a test case described in an intuitive, tabular format, which is then executed with the full PLC program or a selected part of it, effectively allowing unit testing. The inputs can be fed and the outputs can be captured via the PLCSIM API. This way the tests can be executed and evaluated automatically, without manual work or physical hardware. Therefore, it is possible to provide an automated and scalable continuous testing solution for PLC programs to reveal errors as early as possible.
	Poster WEPHA018 [1.026 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2019-WEPHA018
About •	paper received ※ 27 September 2019 paper accepted ※ 09 October 2019 issue date ※ 30 August 2020
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

Paper

Title

Page

PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs

21

E. Blanco Viñuela, D. Darvas
CERN, Geneva, Switzerland
V. Molnár
BUTE, Budapest, Hungary

Programmable Logic Controllers (PLC) are widely used for industrial automation in industry and at CERN. The reliability of PLC software is crucial, but typically only testing is used to validate it. Our work targets the use of formal verification in practical ways for many years, which showed that it can be beneficial and practically applicable to various PLC programs. In this paper, we present PLCverif, our platform for formal analysis of PLC programs which has largely enhanced the quality of the deployed PLC software. By re-engineering the previous internal prototype tool, we built PLCverif to be an open, extensible platform that can be used not only for CERN’s specific PLC programs. PLCverif is licensed under an open source license, allowing the interested parties to use and extend it.

Slides MOBPP01 [5.586 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2019-MOBPP01

About •

paper received ※ 27 September 2019 paper accepted ※ 09 October 2019 issue date ※ 30 August 2020

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEPHA018

Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced

1107

E. Blanco Viñuela, D. Darvas
CERN, Geneva, Switzerland
Gy. Sallai
BUTE, Budapest, Hungary

Testing Programmable Logic Controllers (PLCs) is challenging, partially due to the lack of tools for testing. Isolating a part of the PLC program, feeding it with test inputs and checking the test outputs often require manual work and physical hardware. The Siemens PLCSIM Advanced tool can simulate PLCs and provide a rich application programming interface (API). This paper presents a new CERN made tool based on PLCSIM Advanced and the TIA Portal Openness API. The tool takes a test case described in an intuitive, tabular format, which is then executed with the full PLC program or a selected part of it, effectively allowing unit testing. The inputs can be fed and the outputs can be captured via the PLCSIM API. This way the tests can be executed and evaluated automatically, without manual work or physical hardware. Therefore, it is possible to provide an automated and scalable continuous testing solution for PLC programs to reveal errors as early as possible.

Poster WEPHA018 [1.026 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2019-WEPHA018

About •

paper received ※ 27 September 2019 paper accepted ※ 09 October 2019 issue date ※ 30 August 2020

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)