167 search results - page 16 / 34 » Behavioral Fault Modeling for Model-based Safety Analysis |
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...
INFOCOM
2002
IEEE
14 years 13 days ago
2002
IEEE
—This paper utilizes belief networks to implement fault localization in communication systems taking into account comprehensive information about the system behavior. Most previo...
ISOLA
2004
Springer
14 years 26 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
OSDI
1996
ACM
13 years 8 months ago
1996
ACM
Today's extensible operating systems allow applications to modify kernel behavior by providing mechanisms for application code to run in the kernel address space. The advanta...