Doaa Soliman

• PhD
• Lecturer at Benha University

The realization of the software part of a safety-related system (SRS) is a challenging task due to the necessary verification activities. To assure that safety-related systems will offer the necessary risk reduction required to achieve the desired safety integrity level, the IEC 61508 standard defines requirements for the software safety lifecycle....

In this work, an approach was introduced to facilitate the verification process of safety applications built up from the PLCopen (2006) safety library. This approach is practiced with the help of safety applications used in real life, presented by PLCopen (2008). It was discovered that the verification approach is applicable and most helpful. This...

Funktionale Sicherheit nach IEC 61508 umzusetzen und nachzuweisen ist heutzutage eine große Herausforderungen im Design von Automatisierungssystemen. Viele dieser Systeme werden mittels einer Speicherprogrammierbaren Steuerung (SPS) realisiert und nach IEC 61131-3 programmiert. Die PLCopen spezifizierte hierfür eine Bibliothek von Funktionsbaustein...

Verification of IEC 61131-3 based safety applications is a challenge in the industrial automation domain. In this paper, the transformation of FBD diagrams to UPPAAL formal models was adopted to address this challenge. A set of transformation rules are defined for the automatic transformation of IEC 61131-3 Function Block based safety applications...

Verification of IEC61131-3 based safety applications is a challenge in the development process of industrial systems. In this paper, we formally describe the set of transformation rules we have defined for the automatic transformation of IEC61131-3 function block based safety applications to UPPAAL timed automata models. These models are used for t...

Functional Safety is a major concern in the design of automation systems today. Many of those systems are realized using Programmable Logic Controllers (PLCs) programmed according to IEC 61131-3. PLCopen – as IEC 61131 user organization – semi-formally specified a set of software function blocks to be used in safety applications according to IEC 61...

Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a methodology to upgrade legacy industrial applications based on the IEC61131 function block model without the need to redesign the whole application. We then describe an appr...

There is a need to upgrade legacy system in industry to conform with safety norms and regulations defined by recent standards. The great investment for the development of these systems is the main reason for the industry to look for approaches to upgrade legacy systems instead of adopting a redevelopment of the whole system. In this paper, we descr...

Functional Safety is a major concern in the design of automation systems today. Many of those systems are realized using PLCs programmed according to IEC 61131–3. PLCopen as IEC 61131 user organization specified a set of software Function Blocks to be used in Safety Applications according to IEC 61508 in 2006. The specification of Technical Committ...