170 search results - page 8 / 34 » ProMoSA - Probabilistic Models for Safety Analysis |
115
click to vote
FM
2003
Springer
15 years 2 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
SAFECOMP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
110
click to vote
ICDCS
1999
IEEE
15 years 1 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
HASE
2007
IEEE
14 years 11 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
WSC
2004
14 years 11 months ago
2004
The consistent growth of air traffic demand is causing the operational volumes at hub airports to approach their maximum capacities. With this growth, delays are increasing, and s...