As the uses of software are various, software is germane to human's life and property. Thus, the importance of software safety increases rapidly and many hazard analysis techniques are used for safety of system/software. STAMP/STPA is an efficient hazard analysis technique for large and complex system. But subject of STAMP/STPA is system, not software. This difference of subjects makes difficul...

The released ISO 26262 standard for automotive systems requires to create a hazard analysis and risk assessment and to create safety goals, to break down these safety goals into functional safety requirements in the functional safety concept, to specify technical safety requirements in the safety requirements specification, and to perform several validation and verification activities. Experien...

Determining factors influencing the success of software projects has been emphasis extensive research for more than 40 years. However, majority in this domain focused on developed countries, with little attention paid to underdeveloped and developing countries. The primary objective article was assess effect critical elements countries (like Pakistan), because enterprise environmental staff wor...

Biomass is one of the most important sources renewable energy. resources can be utilized by producing biogas in stations, which include process equipment operating critical conditions. In this study, a consequence analysis methane gas explosion carried out to estimate and toxic threat zones station Turkey. ALOHA PHAST Software Tools are used realize an modelling scenarios thus effects just get ...

conclusions where there is a relationship between two longitudinal and survival responses, joint modeling can estimate it. background admission to the icu (intensive care unit) is frequently complicated by early aki (acute kidney injury). the development of aki following cardiac surgery is particularly associated with increased mortality and morbidity. according to akin (acute kidney injury net...

abstract in this study , the relationship between investment components in sport and social capital is examined and the population in this research consists of 55 marketing consultant of iranian soccer league sports sponsors. the research tool is also a questionnaire and for data analysis the statistical software spss and structural equation modeling method graphics amos were used. in theoretic...

System-Theoretic Process Analysis (STPA) from Leveson is a technique for hazard analysis developed to identify more thoroughly the causal factors in complex safety-critical systems, including software design errors. Event-B is a proof-based modelling language and method that enables the development of specifications using a formal notion of refinement. We propose an approach to hazard analysis ...