objectives: behavioral-based safety is a term used to describe the prevention of accidents, injuries and loss in the workplace. an effective behavior-based safety program relies on engaging employees to understand how unsafe behaviors lead to injuries and how to eliminate them from the workplace. this paper examines behavior-based safety program in a massive construction site. methods: for this...

Safety-critical systems and certification standards are the bare essential elements for the development process of avionics, automotive and industrial embedded systems. The necessity of including non-safety capabilities to reduce the price of these systems has resulted in a new type of critical systems, the mixed-criticality ones. These systems should be able to execute safety-critical applicat...

Safety standards (e.g., ISO 26262) define safety life-cycles to be adopted for the development of safety-critical systems. Professionals (i.e., safety engineers, safety managers, and, more broadly safety cultureaware personnel) who are responsible of the development of such systems can be, in turn, considered as safety-critical systems. Coursemodules aimed at forming such professionals are crit...

background: conventional health, safety and environment (hse) are a widely used approach to enhance availability and efficiency of complex systems. the integrated hsee system is defined however as integration of conventional hse with ergonomics approach. the presented hsee system introduces a unique, effective and systemic mechanism, which integrates the structure of the human and organizationa...

Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a composite of many factors. Problem statement: Existing software quality models like McCall’s and Boehm’s and ISO 9126 were inadequate in addressing the software safety issues of real time safety-critical embedded systems....

Creative design in safety critical systems is a quite unexplored area of research. Historically, the design of tools, technologies and procedures in such domains has been advocated to engineers and human factors experts who interpreted the development of new concepts mainly as a problem solving activity. For example, one of the most popular methods for technological innovation, TRIZ (Theory of ...

Complex automotive systems are composed of subsystems and components in a deep hierarchy, often designed by different development partners or reused from preexisting projects. It is therefore a challenging task to break down requirements into sub-requirements fitting the scope of the subsystems and to simultaneously demonstrate that the integrated system fulfills both functional and safety requ...

Formal methods can signiicantly assist in the design and modelling of safety-critical systems. However, formal methods are frequently criticised as being unusable through being too complex and requiring expert knowledge to use. We assert that to make formal methods usable they must be able to be presented in a manner which is readily interpretable. However, we must ensure that the inferences wh...