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...
With autonomous driving, the system complexity of vehicles will increase drastically. This requires...
International audienceIn a context in which EDF seeks to improve its performances on an equal safety...
Classical software verification focuses on answering the question if the implementation of a piece o...
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...
Safety Assessment (SA) is a well-established process for assuring the safety and reliability of crit...
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of m...
The development of safety validation methods is essential for the safe deployment and operation of A...
An essential issue in the construction of new or in the replacement of the old analogue automation a...
Due to the nature of software faults and the way they cause system failures new methods are needed f...
AbstractSafety Assessment (SA) is a well-established process for assuring the safety and reliability...
With the growing complexity of the hardware models, the verification of the functional safety of eac...
Probabilistic Safety Assessment and Management is a collection of papers presented at the PSAM 7 - E...
Highly Automated Driving (HAD) vehicles represent complex and safety critical systems. They are depl...
More than 38,000 people, in 2015, died in motor vehicle crashes; some of these fatalities involved p...
With autonomous driving, the system complexity of vehicles will increase drastically. This requires...
International audienceIn a context in which EDF seeks to improve its performances on an equal safety...
Classical software verification focuses on answering the question if the implementation of a piece o...
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...
Safety Assessment (SA) is a well-established process for assuring the safety and reliability of crit...
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of m...
The development of safety validation methods is essential for the safe deployment and operation of A...
An essential issue in the construction of new or in the replacement of the old analogue automation a...
Due to the nature of software faults and the way they cause system failures new methods are needed f...
AbstractSafety Assessment (SA) is a well-established process for assuring the safety and reliability...
With the growing complexity of the hardware models, the verification of the functional safety of eac...
Probabilistic Safety Assessment and Management is a collection of papers presented at the PSAM 7 - E...
Highly Automated Driving (HAD) vehicles represent complex and safety critical systems. They are depl...
More than 38,000 people, in 2015, died in motor vehicle crashes; some of these fatalities involved p...
With autonomous driving, the system complexity of vehicles will increase drastically. This requires...
International audienceIn a context in which EDF seeks to improve its performances on an equal safety...
Classical software verification focuses on answering the question if the implementation of a piece o...