D. Bailey E. Frank-Schultz P. Lindeque J. L. Temple III We present a brief introduction to three reliability engineering techniques: failure mode, effects, and criticality analysis; reliability block diagrams; and fault tree analysis. We demonstrate the use of one of these techniques, reliability block diagrams, in evaluating the availability of information technology (IT) systems through a cas...

The paper presents analysis and simulation for the convolutional coded DH-PIM using 1⁄2 convolutional code with the constraint length of 3. Decoding is implemented using the Viterbi algorithm. The proposed scheme is simulated for a constraint length of 7 and the results are compared with a number of different modulation techniques. DH-PIM with convolutional coding requires about 4-5 dB lower SN...

We present a new block diagram language for describing synchronous software. It coordi-nates the execution of synchronous, concurrent software modules, allowing real-time sys-tems to be assembled from precompiled blocks specified in other languages. The semanticswe present, based on fixed points, is deterministic even in the presence of instantaneousfeedback. The execution p...

This paper presents some syntactical and semantical aspects of FAUST (Functional AUdio STreams), a programming language for real-time sound processing and synthesis. The programming model of FAUST combines two approaches : functional programming and block-diagrams composition. It is based on a block-diagram algebra. It has a well defined formal semantic and can be compiled into efficient C/C++ ...

An overall goal of the INCOSE MBSE initiative is to provide SysML with a formal semantics and to integrate reasoning services as part of system engineering. UML class diagrams have been encoded as Knowledge Bases (KB) within the Description Logic (DL), ALCQI. The encoding provides a formal semantics for class diagrams which accords with the informal semantics. The encoding applies to SysML whic...

BACKGROUND The Quality of Reporting of Meta-analyses (QUOROM) statement provides guidance for improving the quality of reporting of systematic reviews and meta-analyses. To make the process of study selection transparent it recommends "a flow diagram providing information about the number of RCTs identified, included, and excluded and the reasons for excluding them". We undertook an empirical s...

The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from system architecture and components’ reliabilities should be answered. Software is static, while development process is dynamic. To enable reliability tracing through a dynamic process, this paper presents a general model fo...

In this paper, we consider the problem of modeling and analyzing the application communication reliability of wireless sensor networks (WSN) with different topologies, including star, tree, mesh, and hierarchical clustering. We propose reliability measures that integrate the conventional connectivity-based network reliability with the sensing coverage measure of WSN. We apply a reduced ordered ...

In this paper, a new algorithm based on Binary Decision Diagram (BDD) for reliability graph analysis is proposed. The reliability graphs are encoded into a BDD that can be easily evaluated. The minpaths and mincuts of a reliability graph can be obtained by BDD. Sensitivity analysis and ordering of variables are discussed in this paper as well. Due to the feature of BDD, the sum of disjoint prod...

This paper studies a formal mathematical description and the block diagram of the secret system and, by analogy with the theory of secret systems, introduces the basic elements and mathematical operators, abstractly d escribing steganographic informat ion protection system.