170 search results - page 5 / 34 » ProMoSA - Probabilistic Models for Safety Analysis |
79
Voted
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
SIGSOFT
2004
ACM
15 years 3 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
72
Voted
CAV
2007
Springer
15 years 3 months ago
2007
Springer
We present Hector, a software tool for combining diļ¬erent abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
108
click to vote
CAV
1999
Springer
15 years 1 months ago
1999
Springer
Of special interest in formal veriļ¬cation are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
CIDU
2010
14 years 7 months ago
2010
Abstract. The Aviation Safety Reporting System (ASRS) is used to collect voluntarily submitted aviation safety reports from pilots, controllers and others. As such it is particular...