140 search results - page 18 / 28 » Assurance of Automotive Safety - A Safety Case Approach |
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
94
Voted
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Road sign identification in images is an important issue, in particular for vehicle safety applications. It is usually tackled in three stages: detection, recognition and trackin...
HASE
2007
IEEE
15 years 1 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
60
Voted
WDAG
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Wireless ad-hoc networks are being increasingly used in diverse contexts, ranging from casual meetings to disaster recovery operations. A promising approach is to model t...
172
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...