Bennani fatima zohra

Work place: Industrial Computing and Networking Laboratory, Computer Science Department, University of Oran, BP 1524 Oran, Algeria



Research Interests: Applied computer science, Computer systems and computational processes, Theoretical Computer Science


Benani Fatima Zohra is a Post-graduate student for doctor degree for computer science in University of Oran Algeria.

Author Articles
Supervision Architecture Design for Programmer Logical Controller Including Crash Mode

By Bennani fatima zohra Sekhri Larbi Haffaf Hafid

DOI:, Pub. Date: 8 Oct. 2014

This paper is a contribution for development of a high level of security for the Programmer Logic Controller (PLC). Many industrial adopt the redundant PLC architecture (or Standby PLC) designed to replace the failed (out of order) PLC without stopping associated automated equipments. We propose a formal method to choose a Standby PLC based on probability study, by comparing normal functioning to misbehavior one leading to residue generation process. Any generated difference reveals a presence of anomaly. The proposed method begins by listing all PLC components failures leading to their stopping according to failures criticalities. Two models; functional and dysfunctional are obtained by using formal specifications. Probability’s calculus of dysfunction of each Standby PLC is obtained by the sum of the probabilities of dysfunction of its critical components. These probabilities are allocated each transition which leads to the dysfunction in the dysfunctional model. The dysfunctional model is obtained by using the FMECA method (Failure Modes, Effects and Criticality Analysis). We shall see that this global vision of functioning of the whole PLC leads to a higher level of security where the chosen Standby PLC works continuously.

[...] Read more.
Other Articles