Decision diagrams are graphical structures based on Shannon's decomposition. They have been extensively used for representing and manipulating logic functions in areas such as circuit verification, compact Markov chain representation, symbolic model checking. However, their applicability reliability modeling analysis has only recently studied. Moreover, the study had mostly restricted to binary-state systems which both system its components either operational, or failed. Nevertheless, many...

Multistate systems (MSS) are in which both the systems, and/or their components may exhibit multiple performance levels or states. MSS can model complex behaviors such as shared loads, degradation, imperfect fault coverage, standby redundancy, and limited repair resources. The non-binary state property of MSS, makes analysis challenging. In this paper, we propose efficient logarithmically-encoded binary decision diagram (LBDD)-based methods for analysing MSS. application advantages proposed...

This paper considers the problem of evaluating reliability hierarchical systems subject to common-cause failures (CCF); and dynamic failure behavior such as spares, functional dependence, priority dependence caused by multi-phased operations. We present a separable solution that has low computational complexity, which is easy integrate into existing analytical methods. The resulting approach applicable Markov analyses, combinatorial models for modular analysis system reliability. illustrate...

We consider the problem of reliability modeling and analysis hierarchical clustered wireless sensor networks (WSN) in this paper. propose measures that integrate conventional connectivity-based network with sensing coverage measure indicating quality service (QoS) WSN. And we a progressive approach for evaluating such coverage-oriented QoS reliability. Our is unique analyze more practical generic also incorporate consideration some dynamic dependencies, like standby spare behavior, by...

Deep Neural Networks (DNNs) are known to be vulnerable adversarial examples. Further, these examples found transferable from the source network in which they crafted a black-box target network. As trend of using deep learning on embedded devices grows, it becomes relevant study transferability properties among compressed networks. In this paper, we consider quantization as compression technique and evaluate performance transfer-based attacks when networks quantized at different bitwidths. We...

Phased mission systems (PMSs) involve a sequence of multiple tasks that must be carried out in consecutive, non-overlapping phases operation. During each phase, the system is typically subject to different stresses and dependability requirements. Three major factors contribute difficulty analysing PMSs: dynamics configuration, failure criteria, component behaviour across phases; s-dependence consecutive for given component; among components. A phase modular approach integrates combinatorial...

We analyze the reliability of distributed computer systems (DCS) with imperfect fault coverage (IPC) and common-cause failures (CCF). Our analysis approach based on reduced ordered binary decision diagrams (ROBDD) is separable computationally efficient. The DCS without IPC or CCF appear to be special cases our approach. application advantages are illustrated through a concrete an example system.