ACM Transactions on Computer Systems (TOCS)
Multivariate Bernstein polynomials and convexity
Computer Aided Geometric Design
Evaluating FTRE's for Dependability Measures in Fault Tolerant Systems
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Minimum energy paths for reliable communication in multi-hop wireless networks
Proceedings of the 3rd ACM international symposium on Mobile ad hoc networking & computing
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Wireless sensor networks: a survey
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
TinyDB: an acquisitional query processing system for sensor networks
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Topology control in wireless ad hoc and sensor networks
ACM Computing Surveys (CSUR)
Using buddies to live longer in a boring world
PERCOMW '06 Proceedings of the 4th annual IEEE international conference on Pervasive Computing and Communications Workshops
Wakeup scheduling in wireless sensor networks
Proceedings of the 7th ACM international symposium on Mobile ad hoc networking and computing
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models
IEEE Transactions on Software Engineering
Markov decision processes for control of a sensor network-based health monitoring system
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
| Hi-index | 0.00 |
Critical systems require supervising infrastructures to keep their unreliability under control. We propose safety-critical systems to be modeled through a fault-tolerant architecture based on Stochastic Fault Trees (SFTs) and we refer to a scenario where the monitoring infrastructure is a Wireless Sensor Network (WSN). SFTs associate the failure time of leaf events with a non-Markovian (GEN) cumulative distribution function (CDF) and support the evaluation of system unreliability over time. In the reference scenario, the SFT model dynamically updates system unreliability according to samples delivered by the WSN, it maintains a dynamic measure of the safe time-horizon within which the system is expected to operate under a given threshold of unreliability, and it also provides the WSN with a measure of the contribution of each basic event to system unreliability.