140 search results - page 24 / 28 » Assurance of Automotive Safety - A Safety Case Approach |
123
click to vote
SCP
2010
14 years 4 months ago
2010
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
DEON
2010
Springer
15 years 2 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
108
click to vote
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— The tokamak concept for magnetic confinement of fusion plasmas is now quite mature scientifically. This maturity is evidenced by the ongoing worldwide effort to design and cons...
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...