Survey of software tools for evaluating reliability, availability, and serviceability
ACM Computing Surveys (CSUR)
Automatic Synthesis of Dynamic Fault Trees from UML System Models
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Proceedings of the 2004 ACM symposium on Applied computing
Dynamic programming for structured continuous Markov decision problems
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Validation of Embedded Systems Using Formal Method Aided Simulation
DSD '05 Proceedings of the 8th Euromicro Conference on Digital System Design
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Hi-index | 0.00 |
Signal voting of redundant sensor values and communication channels is of central importance in today's X-by-wire systems. The required degree of sensor redundancy, the type of redundancy, and finally the voting strategy must be designed to meet the system's dependability requirements. These design decisions depend on an analysis of the probabilities and effects of all underlying fault scenarios. Given a probabilistic fault model and a communication model, the voting step can be formally stated as a maximum-likelihood estimation of the correct input signal. With an example of an X-by-wire system we show how GTEFT can be used to derive the failure probabilities of different fault scenarios for various systems architectures and different voting strategies. Thus the capability of GTEFT to support system development and system assessment is demonstrated.