The sociotechnical systems approach argues that systems with adaptive capacity will be safer. However, this approach may conflict with current practice in safety management. We applied cognitive work analysis to understand the problem of pedestrian safety at rail level crossings and used the findings to evaluate the current design against the values of sociotechnical systems theory. The evaluat...

The viability and public acceptance of Hydrogen and Fuel Cell (H2FC) systems and infrastructure depends on their robust safety engineering design and on education and training of the workforce, regulators and other stakeholders in the state-of-the-art in the field. This can be provided only through building up and maturity of the Hydrogen Safety Engineering (H2SE) profession. H2SE is defined as...

Every year, more than 400 people are killed in over 1200 accidents at road-rail level crossings in the European Union. Together with tunnels and specific road black spots, level crossings (LC) have been identified as being a particular weak point in road infrastructure, seriously jeopardizing road safety. Safety at LC is a single part of a wider picture of transport safety within the whole tran...

Our critical computing systems are coded in low-level, typeunsafe languages such as C, and it is unlikely that they will be re-coded in a high-level, type-safe language such as Java. This invited talk discusses some approaches that show promise in achieving type safety for legacy

This paper presents a new synthesis-based approach for writing low-level memory-safe code. Given a partial program with missing guards, our algorithm synthesizes concrete predicates to plug in for the missing guards such that all buffer accesses in the program are memory safe. Furthermore, guards synthesized by our technique are the simplest and weakest among guards that guarantee memory safety...

Wireless power transfer (WPT) technology has many applications by virtue of its intrinsic safety and convenience characteristics. This is particularly so when the WPT systems are used in conjunction with implanted medical devices, as they can greatly reduce the pain of patients and their financial burdens. In previous researches, the optimal system mainly focuses on the design of the coils whic...