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...

background: hospitals in iran are not prepared for disasters the aim of this study was to determine the effect of training functional and nonstructural hospital safety to nurses and their intervention on hospital preparedness in psychiatric razi hospital and day hospital in tehran based on hospital safety index (hsi). materials  and  methods:  this  semi-experimental  study  included  nurse  ma...

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...

Road traffic accidents account for approximately 3000 deaths on a daily basis, and 50 million injuries and 1.2 million deaths each year. In low-income and middle income countries, road traffic accidents account for 85% of deaths and 90% of annual disability. Casualties of this magnitude are a serious problem throughout the world and create a significant impact on society. In addition, neurologi...

background: today, with the development of technology, the presence and role of human resources has been highlighted in industrial environments. hence, the importance of safety culture is growing. mining is the one of the most dangerous occupations. therefore, this study was performed to determine the effect of health, safety, and environment management system (hse-ms) on safety climate in one ...

the safety of sport halls in physical education faculties is important from two perspectives: first, students spend a long time in these sport halls to learn a sport filed; second, they should learn sport safety standards as the future experts. the aim of this research was to study physical education students’ viewpoints on safety in sport halls of physical education faculties of universities i...

background: it is believed that improved safety culture/climate is a fundamental element to accident prevention. therefore, development a scale to assess safety climate is a step towards accident control. the purpose of this study was to construct a persian safety climate questionnaire. methods: the study took place in tehran and esfahan oil refineries in iran in 2010. an initial questionnaire ...

In this paper, we conduct a quantitative analysis for a strategic risk management problem that involves allocating certain available failure-mitigating and consequence-alleviating resources to reduce the failure risk of system safety components and subsequent losses, respectively , together with selecting optimal strategic decision alternatives, in order to minimize the risk or expected loss in...

Recent work proposed defining type-safe macros via interpretation into a multi-stage language. The utility of this approach was illustrated with a language called MacroML, in which all type checking is carried out before macro expansion. Building on this work, the goal of this paper is to develop a macro language that makes it easy for programmers to reason about terms locally. We show that def...