New lift safety architecture to meet PESSRAL requirements

Abstract

-Industrial control and automation systems are evolving towards infrastructures more connected. Its component's interconnection makes t he m mo r e de pe nd e nt on the networks and communication protocols used. On the one hand, high performance, low costs and real-time capabilities are generally required to cope with more and more demanding application requirements; while on the other hand, security solutions are often needed in an increasing number of communication attack scenarios. As part of new lift control generation, we will analyze a transition case from an electrical/electro technical component to network of communicating electronic components as part of the safety displacement system. This paper w ill describe the analysis of dependability requirements for the next electronic lift control.

Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems

“…In this way we intent to show the cross-domain applicability of our method for the development and certification of safety-critical systems up to the highest integrity level (SIL4). This public case study has been chosen to facilitate the comprehension, analysis and reproduction of the results as opposed to using private case studies with application specific complexities (e.g., [14], [15], [1]) such as detailed characteristics and constraints of the railway interlocking domain [16].…”

“…Boolean algebra, or Boolean logic, is commonly used for the development of safety protection and safety control systems in industrial domains. Examples include the wind turbine safety chain (SIL3) [14], the lift safety chain and compensatory means (SIL3) [15] and railway interlocking systems (SIL4) [1], [16]. Although the computational complexity of Boolean algebra is considered to be low and design methods are mature, the effort required to find a safe and optimal design increases with growing design space dimensions to be considered by human safety engineers.…”

Performance analysis of Ethernet Powerlink protocol: Application to a new lift system generation

“…In modern lift architectures, sensors and actuators are connected through the CAN bus [3]. The integration and system management are declared in the CANopen framework.…”

“…The integration and system management are declared in the CANopen framework. The CAN in Automation group (CiA) adjusts and refines the CANopen dictionary to have a new suitable CANopen called CANopen-Lift [3]. This kind of frameworks gives the designer full variables access in the lift control system.…”

“…Class 1: Realization on top of TCP/IP: The TCP/UDP/IP protocol stack is used here without any modification [5]. To achieve a cycle time equal to 100 ms, the protocol stack needs reasonable resources in processing power and memory which introduces non-deterministic delays in the communication [3].…”