Titlebook: Dependable Computing for Critical Applications 3; Carl E. Landwehr,Brian Randell,Luca Simoncini Conference proceedings 1993 Springer-Verla

健談

Pantry

Dynamic Translinear and Log-Domain Circuitssion in our experimental test harness. Two other input distributions are experimented with: the uniform distribution over the input domain and a structural distribution determined so as to rapidly exercise all the instructions of the student’s version. The results show that the functional statistica

follicular-unit

艦旗

puzzle

anarchist

Conference proceedings 1993ependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries.

PRE

EXTOL

Functional Test Case Generation for Real-Time Systemse tool is outlined that implements such techniques. Essentially the tool is based on interpretation algorithms of the TRIO language. Several heuristic criteria are suggested to drastically reduce the size of generated test cases.

玩忽職守

Evaluation of Fault-Tolerant Software: A Performability Modeling Approachthat quantifies software “effectiveness” in a designated operational environment. The evaluation results reveal some interesting differences between the two schemes; in addition, they point to certain inadequacies in the use of computational redundancy which could serve as the basis for design modification.

Debrief

Formal Techniques for Synchronized Fault-Tolerant Systems system design has been formally specified and verified using the . verification system. Our formalization is based on an extended state machine model incorporating snapshots of local processors’ clocks.