Background: The effectiveness of safety systems is critical to the realization of their goals. Thereششfore, this study was conducted to investigate the role of safety management systems on accidents and the status of safety performance indicators in a combined cycle power plant in 2011. Materials and Methods: This descriptive-analytical research was carried out in two stages in all Yazd Combin...

Corresponding Author: Kotti Jayasri Department of Computer Science and Engineering, GMR Institute of Technology, Rajam, AP, India E-mail: [email protected] Abstract: Software sometimes safety-critical if it resides in a safetycritical computer systems and it causes or contributes to hazards. Therefore, Safety-critical software intensive systems require verification and validation to confir...

Corresponding Author: Kotti Jayasri Department of Computer Science and Engineering, GMR Institute of Technology, Rajam, AP, India E-mail: [email protected] Abstract: Software sometimes safety-critical if it resides in a safetycritical computer systems and it causes or contributes to hazards. Therefore, Safety-critical software intensive systems require verification and validation to confir...

The safety critical community – those involved in developing and verifying safety critical systems – is very conservative and adverse to change. Meanwhile, technology is changing rapidly, and there is pressure to adapt systems to improve their efficiency and safety. This presents a number of challenges. The community has already addressed some; others are in process. While the guidance on airbo...

49 All these systems have an important common feature: they are safety-critical and must therefore be developed according to the highest safety integrity level (SIL4), as defined in the standards applicable to the railway industry (CENELEC 50126, 50128, 50129, Railway Applications Standards [RAMS, software and electronics]). Apart from being suitable for safety-critical operation, railway syste...

The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the automotive sector, where more and more safety-critical functions are performed by largely software-based systems. Verification techniques can guarantee correctness of the system. Although automotive systems are relatively small comp...

Many systems are deemed safety-critical and these systems are increasingly dependent on software. Much has been written In the literature with respect to system and software safety. This repo~l sum;-,;A& .es some of that literature and outlines the development of saf,. criticai zcw,vare. Techniques for hazard identification and analysis are discussed. 'Further, techniques for the development of...

Safety and availability are issues of major importance in many critical systems. Ensuring simultaneously both attributes is sometimes difficult. Indeed, the introduction of redundancy to increase the overall system availability can lead to safety problems that would not otherwise exist. In this paper, we present a protocol for duplex redundancy management in critical systems that aims to increa...

Prescriptive process-based safety standards (e.g. EN 50128, DO-178B, etc.) incorporate best practices to be adopted to develop safety-critical systems or software. In some domains, compliance with the standards is required to get the certificate from the certification authorities. Thus, a well-defined interpretation of the processes to be adopted is essential for certification purposes. Current...