Sciweavers

140 search results - page 1 / 28
» Assurance of Automotive Safety - A Safety Case Approach
Sort
View
SAFECOMP
2010
Springer
13 years 3 months ago
Assurance of Automotive Safety - A Safety Case Approach
A safety case should provide a clear, comprehensible and defensible argument, supported by evidence, that a system is acceptably safe to operate in a particular environment. This a...
Robert Palin, Ibrahim Habli
ISSRE
2010
IEEE
13 years 3 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
SCS
2003
13 years 6 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
SCS
2004
13 years 6 months ago
Contract-Based Justification for COTS Component within Safety Critical Applications
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
Fan Ye, Tim Kelly
SAFECOMP
2007
Springer
13 years 11 months ago
Establishing Evidence for Safety Cases in Automotive Systems - A Case Study
Willem Ridderhof, Hans-Gerhard Groß, Heiko D...