Safety is considered as one of the most important areas in future research and development within the automotive industry. New functionality, such as driver support and active/passive safety systems are examples where development mainly focuses on safety. At the same time, the trend is towards more complex systems, increased software dependence and an increasing amount of sensors and actuators, resulting in a higher risk associated with software and hardware failures. In the area of functional safety, standards such as ISO 26262 assess safety mainly focusing on qualitative assessment techniques, whereas usage of quantitative techniques is a growing area in academic research. This thesis considers the field functional safety, with the emphas...
Probabilistic Safety Assessment and Management is a collection of papers presented at the PSAM 7 - E...
This paper introduces a method of evaluating the hazardous failure rate of a safety relevant control...
With the growing complexity of the hardware models, the verification of the functional safety of eac...
Safety is considered as one of the most important areas in future research and development within th...
Process plants are particularly subjected to major accidental events, whose catastrophic escalations...
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of m...
An essential issue in the construction of new or in the replacement of the old analogue automation a...
Programmable Electronic Systems are used in the process industry to perform very complex and sophist...
Due to the nature of software faults and the way they cause system failures new methods are needed f...
Autonomous vehicles is soon a reality in the every-day life. Though before it is used commercially t...
Highly Automated Driving (HAD) vehicles represent complex and safety critical systems. They are depl...
Safety Assessment (SA) is a well-established process for assuring the safety and reliability of crit...
To reduce the inherent risk of industrial processes to an acceptable level, a safety instrumented sy...
Classical software verification focuses on answering the question if the implementation of a piece o...
The development of safety validation methods is essential for the safe deployment and operation of A...
Probabilistic Safety Assessment and Management is a collection of papers presented at the PSAM 7 - E...
This paper introduces a method of evaluating the hazardous failure rate of a safety relevant control...
With the growing complexity of the hardware models, the verification of the functional safety of eac...
Safety is considered as one of the most important areas in future research and development within th...
Process plants are particularly subjected to major accidental events, whose catastrophic escalations...
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of m...
An essential issue in the construction of new or in the replacement of the old analogue automation a...
Programmable Electronic Systems are used in the process industry to perform very complex and sophist...
Due to the nature of software faults and the way they cause system failures new methods are needed f...
Autonomous vehicles is soon a reality in the every-day life. Though before it is used commercially t...
Highly Automated Driving (HAD) vehicles represent complex and safety critical systems. They are depl...
Safety Assessment (SA) is a well-established process for assuring the safety and reliability of crit...
To reduce the inherent risk of industrial processes to an acceptable level, a safety instrumented sy...
Classical software verification focuses on answering the question if the implementation of a piece o...
The development of safety validation methods is essential for the safe deployment and operation of A...
Probabilistic Safety Assessment and Management is a collection of papers presented at the PSAM 7 - E...
This paper introduces a method of evaluating the hazardous failure rate of a safety relevant control...
With the growing complexity of the hardware models, the verification of the functional safety of eac...