Background and purpose: The safety climate refers to employees’ perception of safety which can be affected by job-related stress in the workplace. This study aimed to assess the safety climate and investigate the relationship between job stress factors and safety climate dimensions in a dairy industry. Materials and Methods: This was a cross-sectional study. The data was collected using two se...

background: catheter ablation is widely used for treatment of atrial fibrillation. the use of fluoroscopic and non-fluoroscopic mapping systems in catheter ablation is common. this study conducted to investigate the safety and effectiveness of navx non-fluoroscopic mapping system.   methods : in this study, the appropriate electronic databases including cochrane library and ovid medline searche...

Safety case reports are often complex documents presenting complex arguments. To manage the complexity of safety case construction, system safety cases are often decomposed into subsystem safety cases. In this paper we discuss the motivation and problems of partitioning the safety case, both as practiced historically, and as required in new modular, reconfigurable systems such as Integrated Mod...

This paper is centered around the design of a threadand memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related...

Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves that either the program satisfies the safety property or the program has an execution trace that exhibits a violation of the property. Blast constructs, explores, and refines abstractions of the program state space based on lazy...

There has been a recent surge in the number of disasters and incidents in occurring in the process industry (e.g. the petrochemical, chemical, food and pharmaceutical industries). The reasons include defects in process-safety management (PSM); inadequate safety management systems in companies; inadequate knowledge among managers and insufficient information about the tasks undertaken and result...

System safety analysis techniques are well established and are used extensively during the design of safety-critical systems. Despite this, most of the techniques are highly subjective and dependent on the skill of the practitioner. Since these analyses are usually based on an informal system model, it is unlikely that they will be complete, consistent, and error free. In fact, the lack of prec...