scholarly journals Alternate Methodology Proposal for Documented Safety Analysis (DSA) and Technical Safety Requirements (TSRs) for the Reactor Facilities at Sandia National Laboratories (SNL).

2020 ◽  
Author(s):  
Rachel Chang ◽  
Anthony Baca ◽  
Shawn Henderson ◽  
Gilbert Waldman ◽  
Darren Talley
Author(s):  
Abdalla Qudah ◽  
Rami Haddad ◽  
Nisreen Al-Dauod

Safety measures in stone quarries are investigated through a questionnaire for safety requirements and the degree of compliance distributed to managers and workers of selected quarries in northern Jordan. Responses showed that while health and technical safety measures are applied in most quarries, safety awareness measures are unimplemented in all surveyed quarries despite the claim by quarry managers and workers that awareness programs do exist. Preliminary results indicate a correlation between the level of education and experience of both quarries managers and workers and the frequency and severity of work accidents.


2013 ◽  
pp. 79-92 ◽  
Author(s):  
David Parker ◽  
Martin Walker ◽  
Yiannis Papadopoulos

The scale and complexity of computer-based safety critical systems pose significant challenges in the safety analysis of such systems. In this chapter, the authors discuss two approaches that define the state of the art in this area: failure logic modelling and behavioural modelling safety analyses. They also focus on Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS)—one of the advanced failure logic modelling approaches—and discuss its scientific and practical contributions. These include a language for specification of inheritable and reusable component failure patterns, a temporal logic that enables assessment of sequences of faults in safety analysis as well as algorithms for top-down allocation of safety requirements to components during design, bottom-up verification via automatic synthesis of Fault Trees and Failure Modes and Effects Analyses, and dependability versus cost optimisation of systems via automatic model transformations. The authors summarise these contributions and discuss strengths and limitations in relation to the state of the art.


Sign in / Sign up

Export Citation Format

Share Document