Potential for application of ignition interlock devices to prohibit operation of motor vehicles by intoxicated individuals. Final report.

Mode of access: Internet.

Workshop on in-vehicle alcohol test devices. Technical report.

Mode of access: Internet.

Further laboratory testing of in-vehicle alcohol test devices. Technical report.

Mode of access: Internet.

Effectiveness of safety belt warning and interlock systems. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Idaho Alcohol Safety Action Project. Annual project progress report. Third. Volume I. January-December 1975.

National Highway Traffic Safety Administration, Washington, D.C.

Idaho Alcohol Safety Action Project. Annual project progress report. Second. Volume II. January-December 1973.

National Highway Traffic Safety Administration, Washington, D.C.

Idaho Alcohol Safety Action Project. Annual project progress report. [Fourth.] Volume II. January-December 1975.

National Highway Traffic Safety Administration, Washington, D.C.

Idaho Alcohol Safety Action Project. Volume I: final report summary.

National Highway Traffic Safety Administration, Washington, D.C.

Development of Control Systems for Safety Instrumented Systems

Safety Instrumented Systems (SIS) are designed to prevent and / or mitigate accidents, avoiding undesirable high potential risk scenarios, assuring protection of people`s health, protecting the environment and saving costs of industrial equipment. The design of these systems require formal methods for ensuring the safety requirements, but according material published in this area, has not identified a consolidated procedure to match the task. This sense, this article introduces a formal method for diagnosis and treatment of critical faults based on Bayesian network (BN) and Petri net (PN). This approach considers diagnosis and treatment for each safety instrumented function (SIF) including hazard and operability (HAZOP) study in the equipment or system under control. It also uses BN and Behavioral Petri net (BPN) for diagnoses and decision-making and the PN for the synthesis, modeling and control to be implemented by Safety Programmable Logic Controller (PLC). An application example considering the diagnosis and treatment of critical faults is presented and illustrates the methodology proposed.

The main benefits associated with health and safety management systems certification in Portuguese small and medium enterprises post quality management system certification

The purpose of this study is to characterize how Portuguese Small and Medium Enterprises (SMEs) view the Occupational Health and Safety Management Systems (OHSMSs) certification process, after receiving the Quality Management System (QMS) certification. References were based on the ISO 9001 standard for a QMS and OHSAS 18001 for OHSMS. The method used to evaluate the implemented systems, was by form of questionnaire. Those questioned had to have a certified quality management system, an implemented OHSMS and be a SME. The questionnaire was sent to 300 SMEs; 46 responses were received and validated. Of them, only 12 SMEs had the OHSMS certificate according to OHSAS 18001. Within those 12 companies that participated: 7 SMEs are from the industrial sector; 3 belong to the electricity/telecommunications sector and 2 SMEs are from the trade/services activity sector. The size of the sample was small, but corresponds to Portuguese reality. Moreover, 34 SMEs did not have the OHSMS certificate. The questionnaire requested the main reasons for SMEs to opt for non-certification and it was related with high costs, while the main reasons to certificate were, among others, needed to eliminate or minimize risks to workers. The main benefits that Portuguese SMEs have gained from the referred certifications have been, improved working conditions, ensuring compliance with legislation and better internal communication about risks and hazards. Also presented are the main difficulties in achieving an OHSMS certification including high certification costs, difficulties motivating personnel, difficulties in changing the company’s culture and increased bureaucracy.

A generic model for integration of Quality, Environment and Safety Management Systems

Purpose – The purpose of this paper is to propose a generic model of Integrated Management System of Quality, Environment and Safety (IMS-QES) that can be adapted and progressively to assimilate various Management Systems, of which highlights: ISO 9001 for Quality; ISO 14001 for Environment; OHSAS 18001 for Occupational Health and Safety. Design/methodology/approach – The model was designed in the real environment of a Portuguese Organization and 160 employees were surveyed. The rate response was equal to 86 percent. The conceived model was implemented in a first phase for the integration of Quality, Environment and Safety Management Systems. Findings – Among the main findings of the survey the paper highlights: the elimination of conflicts between individual systems with resources optimization; creation of added value to the business by eliminating several types of wastes; the integrated management of sustainability components in a global market; the improvement of partnerships with suppliers of goods and services; reducing the number of internal and external audits. Originality/value – This case study is one of the first Portuguese empirical researches about IMS-QES and the paper believes that it can be useful in the creation of a Portuguese guideline for integration, namely the Quality Management Systems; Environmental Management Systems and Occupational Health and Safety Management Systems among others.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Automatic safety belt systems: changes in owner usage over time in GM Chevettes and VW Rabbits. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

State funding of alcohol safety countermeasure programs. Final report.

National Highway Traffic Safety Administration, Traffic Safety Programs, Washington, D.C.