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 complexity of existing PLC programs precludes dealing with or modifying them. The interest in the formalization of PLC programs has increased in recent years to overcome this problem. Formal methods can provide for the development of PLC programs, since they serve as a medium to analyze and verify them due to increased awareness of safety and quality.(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)
Image processing is the signal processing for which the input is an image (as defined in imaging science; such as a photograph or video frame), and the output of this operation may be a modified image or a set of parameters put together as a matrix in most cases. Image-processing defines the image in two dimensions and applies certain image processing(More)