167 search results - page 5 / 34 » Behavioral Fault Modeling for Model-based Safety Analysis |
125
click to vote
ICAI
2004
15 years 1 months ago
2004
To ensure space flight safety, it is necessary to monitor myriad sensor readings on the ground and in flight. Since a space shuttle has many sensors, monitoring data and drawing c...
SARA
2007
Springer
15 years 5 months ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
124
click to vote
IFIP12
2004
15 years 1 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
ITC
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we study the possibility of using logic defect-level prediction models to predict the detection behavior of statistical timing defects. We compare two known logic m...
82
Voted
TGC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...