140 search results - page 19 / 28 » Assurance of Automotive Safety - A Safety Case Approach |
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
EWCBR
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents the results of an investigation into the suitability of a Virtual Reality (VR) environment for case-based reasoning (CBR). The paper will show that for problem ...
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
ENVSOFT
2011
14 years 4 months ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
95
Voted
MR
2007
14 years 9 months ago
2007
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...