Sciweavers

140 search results - page 6 / 28
» Assurance of Automotive Safety - A Safety Case Approach
Sort
View
69
Voted
ICRA
2007
IEEE
135views Robotics» more  ICRA 2007»
15 years 3 months ago
Robot-Dummy Crash Tests for Robot Safety Assessment
— New technologies and processes enhance the need for direct human-robot-interaction, to fully exploit the potential of robots’ accuracy and humans’ adaptability. Therefore, ...
Susanne Oberer, Rolf Dieter Schraft
SAFECOMP
2007
Springer
15 years 3 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 2 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
DFG
2004
Springer
15 years 3 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
SAFECOMP
2004
Springer
15 years 3 months ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson