Background and Objectives: Medical Errors and adverse events have recently turned into one of the predominant concerns of health-policy makers and health services providers. Promoting safety culture is fundamental to sustainable safety improvement in healthcare settings. The purpose of this study was to examine the effect of training on nurses’ attitudes towards safety culture.   Methods: A ...

This paper proves correctness of Nöcker’s method of strictness analysis, implemented in the Clean compiler, which is an effective way for strictness analysis in lazy functional languages based on their operational semantics. We improve upon the work Clark, Hankin and Hunt did on the correctness of the abstract reduction rules in two aspects. Our correctness proof is based on a functional core l...

Safety is a system property and software, of itself, cannot be safe or unsafe. However software has a major influence on safety in many modern systems, e.g. aircraft and engine controls, railway signalling, and medical equipment. The paper outlines the principles of system hazard and safety analysis, and briefly describes work on adapting classical hazard and safety analysis techniques to apply...

Formal methods give us techniques to specify the functionality of a system, to verify its correctness or to develop the system stepwise from an abstract specification to its implementation. These aspects are important when designing safety-critical systems. Safety analysis is a vital part of the development of such systems. However, formal methods seldom interface well with the more informal te...

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional approaches is that the analysis of the whole system gives more precise results. Only few model-based approaches have been applied to answer quantitative quest...

PROBLEM Safety climate refers to the degree to which employees believe true priority is given to organizational safety performance, and its measurement is thought to provide an "early warning" of potential safety system failure(s). However, researchers have struggled over the last 25 years to find empirical evidence to demonstrate actual links between safety climate and safety performance. ME...

With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether safety-critical scenarios are adequately addressed by design solution a cyber-physical human system. However, there is gap. If specific not included in given (i.e., model) first place, results MBSA cannot be trusted safety assurance....

Safety analysis is an algorithm for determining if a term in an untyped lambda calculus with constants is safe, i.e., if it does not cause an error during evaluation. This ambition is also shared by algorithms for type inference. Safety analysis and type inference are based on rather diierent perspectives, however. Safety analysis is global in that it can only analyze a complete program. In con...