Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications

Thönnessen, David; Reinker, Niklas; Rakel, Stefan; Svetlakov, A. G.; Kowalewski, Stefan

doi:10.1109/coase.2018.8560407

Cited by 1 publication

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We use the HiL testing framework as presented in [5], [9], [10] to apply test cases to a SUT. HiL testing allows incorporating the control hardware into the testing process, which is beneficial for safety testing as it incorporates more components of the control system than other approaches like Model-in-the-Loop or Software-in-the-Loop.…”

Section: Test Case Executionmentioning

confidence: 99%

“…Test results are evaluated using the framework previously described in [5]. In this framework, test cases are evaluated using an oracle, which carries out the evaluation following an Input-Output Conformance (IOCO)-based approach [8], that is, having acceptance criteria that calculate reference signals for a SUT and a so-called supervisor that compares these signals with the actual signals of the SUT [9], [10]. In related work, we apply our approach to on-thefly IOCO testing of Safety PLC code [11] using Supervisory Control Theory [12].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Testing Safety PLCs Using QuickCheck

Thönnessen

Smallbone

Fabian

et al. 2019

2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)

Self Cite

View full text Add to dashboard Cite

The testing of safety-related industrial systems is usually carried out by means of checklists. A tester has a list of scenarios that he or she manually applies to the system to check whether the system behaves according to its specification. However, operators behave unpredictably. Their behavior may not be covered by the set of scenarios tested and may lead to dangerous situations. To avoid this, randomized test case generation can be useful as it allows for unanticipated scenarios. The presented framework uses a tool for randomized test case generation, QuickCheck, to trigger event sequences that are then applied to a Safety Programmable Logic Controller (Safety PLC). Experiments show that this concept is capable of finding errors in safety code or increasing the tester's confidence in the correctness of the code by exhibiting a large number of passing test cases. While this concept proves to be powerful, it does not require much effort from the tester as the execution of test cases is done without user interaction.

show abstract

Section: Test Case Executionmentioning

confidence: 99%