Arch dams are generally built in cantilvever monoliths. Vertical contraction joints between monoliths control the stresses due to concrete shrinkage and temperature variations. Past studies in earthquake safety evaluation of the system often show the tensile fracture and local nonlinear deformation of joints. In this paper, some nonlinear joint element constitutive models are presented to exami...

NASA’s Aeronautics Blueprint lays out a research agenda for the Agency’s aeronautics program. The word software appears only four times in this Blueprint, but the critical importance of safe and correct software to the fulfillment of the proposed research is evident on almost every page. Most of the technology solutions proposed to address challenges in aviation are softwaredependent technologi...

Fault Tree Analysis is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional fault trees often suffer from a lack of formal semantics to check the correctness or consistency of the descriptions. This is especially a problem in safety-critical system analysis. To overcome this limitation, we propose a novel formal fault tree constr...

NASA’s Aeronautics Blueprint lays out a research agenda for the Agency’s aeronautics program. The word software appears only four times in this Blueprint, but the critical importance of safe and correct software to the fulfillment of the proposed research is evident on almost every page. Most of the technology solutions proposed to address challenges in aviation are softwaredependent technologi...

Arch dams are generally built in cantilvever monoliths. Vertical contraction joints between monoliths control the stresses due to concrete shrinkage and temperature variations. Past studies in earthquake safety evaluation of the system often show the tensile fracture and local nonlinear deformation of joints. In this paper, some nonlinear joint element constitutive models are presented to exami...

Computer systems are increasingly employed in circumstances where their failure (or even their correct operation, if they are built to flawed requirements) can have serious consequences. There is a surprising diversity of opinion concerning the properties that such “critical systems” should possess, and the best methods to develop them. The dependability approach grew out of the tradition of ul...

Several requirements analysis techniques widely used in safety-critical systems are being adapted to support the analysis of secure systems. Perhaps the most relevant system safety technique for Intrusion Detection Systems is hazard analysis. Hazard analysis identi es and analyzes hazards (states that can lead to an accident) in terms of their severity of e ects and likelihood of occurrence. As...

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