140 search results - page 10 / 28 » Assurance of Automotive Safety - A Safety Case Approach |
MEMOCODE
2005
IEEE
15 years 3 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
IFIP13
2004
14 years 11 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
SAFECOMP
2009
Springer
15 years 4 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
2009
ACM
The increasing use of touchscreen interfaces in vehicles poses challenges to designers in terms of optimizing safety, usability and affective response. It is thought that the appl...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...