For any software system upon which lives depend, the most important question one can ask about it is, ‘How do we know the system is safe?’ Despite the critical importance of this question, no widely accepted, generally applicable answer exists. Instead, debate continues to rage over the question, with theorists and practitioners quarrelling with each other and amongst themselves. This paper sug...

Safety-II is a recently theorized approach, considering safety as the ability of system to reach positive outcome under variable conditions: analyzing “what goes right” can help understand dynamics analyzed and improve its inherent level. On contrary, more traditional perspective, defined Safety-I, aims at wrong”, thereby relating level number adverse events that occurred. This study explores p...

In their recent editorial Mannion and Braithwaite provide an insightful critique of traditional patient safety improvement efforts, and offer a powerful alternative vision based on Safety-II thinking that has the potential to radically transform the way we approach patient safety. In this commentary, I explore how the Safety-II perspective points to new directions for organisational learning in...

BACKGROUND The number of injections in the dose escalation of subcutaneous immunotherapy (SCIT) is small for some currently used hypoallergenic allergoids, but can still be inconvenient to patients and can impair compliance. The aim of this trial was to compare safety and tolerability of an accelerated to the conventional dose escalation scheme of a grass pollen allergoid. METHODS In an open ...

This paper presents a simulation framework for recreating the realistic safety hazard scenarios commonly observed in robotic surgical systems, which can be used to prepare surgical trainees for handling safety-critical events during procedures. The proposed simulation platform is composed of a surgical simulator based on an open-source surgical robot platform, Raven II, integrated with a softwa...

background: to increase safety of patients and staffs in hospitals, safety standards and regulations must be considered. this study was conducted to evaluate safety conditions in hospitals affiliated to kerman university of medical sciences.   methods: this cross-sectional descriptive study was conducted in various wards and units of four hospitals affiliated to kerman university of medical sci...

................................................................................................................................. ii Acknowledgements: ............................................................................................................... iii Section I: Introduction..............................................................................................................

This report describes the 2017 Competition on Software Verification (SV-COMP), the 6th edition of the annual thorough comparative evaluation of fully-automatic software verifiers. The goal is to reflect the current state of the art in software verification in terms of effectiveness and efficiency. The major achievement of the 6th edition of SV-COMP is that the verification results were validate...