Georg SchlegelFor machine life-long use
The IP69K combi pushbutton emergency stop is designed for mobile machines and special vehicles that are exposed to difficult environmental conditions. It was developed in a joint project between Data Panel and Schlegel.
September 22, 11:00 - 11:30 a.m. with Dr. Andreas Ecke, SIListra Systems
Verification of Diverse Programs
Diversity refers to the execution of different types of the same program in order to combine positive properties of the variants. In the following, we will focus on the automatic generation of a second channel from the original "native" channel.
In the area of functional safety, regular checking of the intermediate results of the diverse channels can reveal differences, and thus potential errors, in one of the channels; from certain safety requirement levels, a certain degree of diversity is unavoidable. However, diversity can also be used in the area of security to detect changes caused by attacks.
However, the use of automatically generated diversity channels makes complete verification of the program much more difficult, especially for white-box module tests with sufficient code coverage, as required by IEC 61508 and its daughter standards. Depending on the type of diversity introduced into the additional channels by the automatic code generation, manual tests for the diversity channel are no longer feasible.
In this talk, we would like to present a solution for the verification of automatically generated diversity channels, using the example of coded processing. By applying the code generator to additional wrapper functions, the tests of the native channel can also be automatically applied to the generated diversitary channel.