When we apply safety analysis techniques on a new design, our primary objective is to anticipate potential scenarios of failure in the system under examination. If we assume that the system has a complex hierarchical structure, this task can be interpreted as one of identifying how failures originate at the low-levels of the design and how combinations or sequences of such low-level failures pr...

Preliminary safety assessment is an important activity in safety systems development since it provides insight into the proposed system’s ability to meet its safety requirements. Because preliminary safety assessment is conducted before the system is implemented, developers rely on high-level designs of the system to assess safety in order to reduce the risk of finding issues later in the proce...

A methodology will be presented to design at Electronic System Level (ESL) and map the design into an implementation using a Mission Level Design tool.

The paper is based on an experimental study at VSB TUO Ostrava with a DEMOCAR vehicle that simulates real car sensor fusion concept and gateway to send coordinate commands ECUs realize manage autonomous driving. In this of driving vehicles control, HARA (Hazard Risk Analysis, ISO 26262:2018) has been done level strategies have defined implemented safety situations where the lateral control shal...

INTRODUCTION Research and practice have demonstrated that decisions made prior to work at construction sites can influence construction worker safety. However, it has also been argued that most architects and design engineers possess neither the knowledge of construction safety nor the knowledge of construction processes necessary to effectively perform Construction Hazards Prevention through D...

Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we defin...

Design patterns have been widely touted as a potential solution to the diiculty of expressing and sharing software design expertise. Patterns have also recently been suggested as a basis for capturing the characteristics of \usable" user-interfaces. We propose that patterns may also be useful for guiding development of human-machine interfaces for safety-critical systems. We consider usability ...

Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In traditional implementations of PCC the producer negotiates beforehand, and in an unspecified way, with the consumer the permission to prove safety in whatever high-level way it chooses. In practice this has meant that highlevel rules for type safety have been hard-wired into th...