+**********************************************************************
*
*
* Einladung
*
*
*
* Informatik-Oberseminar
*
*
*
+**********************************************************************
Zeit: Montag, 21. Juni 2021, 13.00 Uhr
Ort: Videokonferenz (Zoom-Meeting, Informationen siehe unten)
Referent: David Thönnessen, M.Sc.
Lehrstuhl Informatik 11
Thema: Hardware-in-the-Loop Testing of Industrial Automation Systems
Using PLC Languages
Abstract:
Testing industrial controllers such as Programmable Logic Controllers
(PLCs) poses specific challenges to the test process. Especially in the
context of Cyber-Physical Production System (CPPS) the control systems
are subject to continuous reconfiguration. Therefore, it is no longer
sufficient to test solely before commissioning, but it must be possible
to test existing control systems after their reconfiguration with low
effort and to put them back into operation.
Our approach for this is to develop a test environment that allows an
efficient and modular test case specification and can therefore be
easily adapted to changing environmental conditions. We have chosen
Hardware-in-the-Loop (HiL) simulation as the basis for this test
environment since not only the control model or control program is
included in the test, but also the control hardware. Our architecture
uses slightly extended PLC programming languages to specify test cases.
Thus, we avoid the change in methodology that occurs when using
dedicated test case specification languages and corresponding test
environments. Furthermore, we have provided our concept with the
possibility of randomized test case generation, such that a large number
of test cases can be generated and tested without a tester having to
specify them manually.
Our hypothesis is that this will lead to faster and more reliable
customizable test cases and thus create the desired agility. The
evaluation of our implementation shows that especially developers who
are familiar with PLC programming languages can achieve an increase in
testing efficiency compared to existing test tools. Furthermore, by
randomized testing of Safety Programmable Logic Controllers (Safety PLCs),
we show that our test tool can find critical errors in control systems,
which would have been found with traditional test methods only to a
limited extent.
From these results we conclude that the concept presented here is a
valuable addition to existing test methods and well-tailored to the
challenges of CPPS.
Es laden ein: die Dozentinnen und Dozenten der Informatik
+**********************************************************************
Thema: PhD Defense David Thönnessen
Uhrzeit: 21.Juni.2021 01:00 PM Amsterdam, Berlin, Rom, Stockholm, Wien
Zoom-Meeting beitreten
https://rwth.zoom.us/j/96024814962?pwd=eEU5SmNFTjYyWitJVldVRmQ3TE5pdz09
Meeting-ID: 960 2481 4962
Kenncode: 158094
+**********************************************************************