Mohammed Bani Younis

Learn More
− Due to the growing complexity of PLC programs there is an increasing interest in the application of formal methods in this area. Formal methods allow rigid proving of system properties in verification and validation. One way to apply formal methods is to utilize a formal design approach in PLC programming. However, for existing software that has to be(More)
The developer of logic control systems is faced with increasing complexity of the functions to be implemented and, at the same time, increasing demands on the reliability of the resulting software. To analyze the reliability of such complex systems formal methods can be applied. One area of the corresponding research is focused on the application of model(More)
Today there is a standard for the implementation of programs on Programmable Logic Controllers (PLCs). Furthermore there are methods for the formal development of these programs. The standard allows the interchange of algorithms (e.g. if a new hardware should be used) and the formal methods allow the rigid prove of functionality especially needed in safety(More)
Programmable Logic Controllers (PLCs) are still the workhorse of industrial automation. The programming and adaptation of the software for PLCs – i.e. the implementation of the control algorithms – are expensive and cumbersome tasks. Today the re-implementation of an existing PLC program on a new platform, as it is supported by industrial tools on a low(More)
In case of failures in a PLC controlled process the problem of diagnosis arises. Today this is often a manual task. Whenever the failure in the controlled system is not directly related to an actuator, its sources have to be tracked back through the PLC program to the corresponding sensors. This process can be very time consuming. The presented work aims at(More)