Mohammed Bani Younis

Learn 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)
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)
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)
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)
  • 1