The first and most important step in solving any problem is understanding the problem well enough to create effective solutions. To this end, several software-related space­ craft accidents were studied to determine common systemic factors. Although the details in each accident were different, very similar factors related to flaws in the safety culture, the management and organization, and tech...

Thermal hydraulics of nuclear reactor as a basis of reactor safety has a very important role in reactor design and control. The thermal-hydraulic analysis provides input data to the reactor-physics analysis, whereas the latter gives information about the distribution of heat sources, which is needed to perform the thermal-hydraulic analysis. In this study single heated channel model as a very f...

Automatically generating proofs of safety properties for software is important as software becomes safety-critical, e.g., in medical devices and automobiles. While current techniques can automatically prove safety properties for machine code, they either: (i) do not support user-mode programs in an operating system, (ii) do not support realistic program features such as system calls, or (iii) h...

Construction safety accidents occur due to a combination of factors. Even minor accident that could have been treated as simple injury can lead serious or death, depending on when and where it occurred. Currently, methods for tracking worker behavior manage such construction are being studied. However, applying the site, various additional elements (e.g., sensors, transmitters, wearing equipmen...

The analysis of a Station blackout (SBO) accident in the NPP Krško including thermalhydraulic behaviour primary system and containment, as well simulation core degradation process, release molten materials production hydrogen other incondensable gases will be presented paper. calculation model includes latest plant safety upgrade with addition Passive Autocatalytic Recombiners (PAR) Containment...

Validation and Verification of safety critical systems is crucial and if done incorrectly can result in fatal loss. The research contribution is focused on providing the transformation mechanism from software verification to source code phase of software development life cycle. Modeling of the critical systems initializes with the formalism of requirements followed by early model verification. ...