Some results of the implementation of a new support tool for automated hazard analysis are presented in this paper. We describe in detail the further progresses on the application of intelligent systems to the hazard analysis and especially to the HAZOP and FMEA analysis. A previously developed program, that allows the automatic generation of the report of the HAZOP analysis as regards the dete...

Safety-critical systems which are systems that may harm the environment they are operating in are commonplace. Standards and regulations for developing software for safety-critical systems usually require restricted programming languages and formal methods. For reasons of scale and for coping with the complexities of large systems it may be beneficial to use modern object-oriented techniques in...

A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design description are represented by function blocks (FBs). The SSA, as a part of the verification and validation activities, was activated at each phase of the software lifecycle. For the SSA of the FB modules, the software ...

Um die Effizienz von modularen Anlagen oder Mehrproduktanlagen auf ein neues Level zu heben, hat TüV SüD bislang manuelle und statische HAZOP-Methodik Interactive HAZOP (iaHAZOP) weiterentwickelt. In einem Pilotprojekt wurde in Kooperation mit der Firma Merck KGaA eine allgemeingültige “ready-to-use” Vorgehensweise für Sicherheitsbewertungen ausgearbeitet. Damit wird man den verschärften Markta...

The paper details the integration of a method for the analysis of interlock systems with a software support system for HAZOP analysis. The proposed software aims to enhance the potential of HAZOP in terms of depth and ef®ciency of the analysis. This enhancement is reached through the continuation of the hazard and operability analysis, limited to a group of events which may hold high risks for ...

This paper presents a comprehensive safety approach to the development process of automotive software systems focusing on X-by-Wire applications. A modification to the traditional V-model Development Process is proposed as well as the use of the Rapid Object-Oriented Development Process for Embedded Systems. The system and controls are modelled in UML and then, as part of the safety assurance, ...

XYZ merupakan perusahaan manufaktur yang memproduksi furniture di Indonesia. Permasalahan terdapat pada departemen perawatan PT. masih ditemukan beberapa kasus kecelakaan kerja disebabkan oleh faktor peralatan atau mesin digunakan saat proses produksi. K3 bertujuan untuk mencegah kecelakaan, kebakaran, ledakan, polusi, penyakit, Operasi selama perbaikan dan pemeliharaan dapat menyebabkan karena...