|Forschungsthema:||Improve APS, PLC Verification|
Automated production systems, such as industrial plants and assembly lines, are usually driven by Programmable Logic Controllers (PLCs). These computing devices are specially tailored to controlling automated production systems in mission- and safety-critical realtime environments. A malfunction may cause severe damage to the system itself or to the payload, or even harm persons within the reach of the system. They are worthy goal for formal verification. Generalised Test Tables are a table-based specification developed at the chair of Prof. Beckert. They arise from the concrete test table and preserve their comprehensibility although extended expressiveness.
In this thesis, we want to develop a method for the calculation of standard coverage metrics, e.g. line, branch and path coverage. In order to develop metrics calculation, you need to break in the concept of generalised test table, test metrics, and model checking.
Programming skills in Java are required. Furthermore, you should be interested in programming languages and Model Checking. You should have completed the Formal Methods (Formale Systeme) Course at KIT or equivalent.