Titlebook: Computer Safety, Reliability, and Security; 24th International C Rune Winther,Bj?rn Axel Gran,Gustav Dahll Conference proceedings 2005 Spri

etidronate

Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment,ian Network enables the factors that influence the outcome of events to be represented explicitly. In the case study, this allowed the train derailment model to be generalised and applied in more circumstances. Although the resulting model is no longer just an event tree, the familiar event tree notation remains useful.

砍伐

訓(xùn)誡

Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Softwarerization, fault distribution, relations between software metrics (like McCabe’s cyclomatic complexity or the risk categories of NASA SATC), software faults, and testing efforts, and yields clues about the significance of these measures for fault probabilities. A summary of the findings and related work conclude the paper.

不妥協(xié)

A Formal Model for Fault-Tolerance in Distributed Systems,ed to encode the distributed algorithm. These rules are able to detect and eliminate the faults locally during the computation. This method can be implemented under an asynchronous message passing system which notifies the faults. To illustrate this approach, we present examples of fault-tolerant distributed spanning tree algorithms.

Fabric

專橫

A Technique for Fault Tolerance Assessment of COTS Based Systems,e level mutants are then compared with the corresponding source code mutant behavior. In a back-to-back comparative study with mutants based on ten representative programming defects, no difference in the program behavior between source and byte code level mutants could be distinguished.

畢業(yè)典禮

征服

End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems,recedence relations between tasks on both different processors and the same processor. Simulation results have shown that this algorithm can achieve accurate results and offers good performance for systems with wide range of CPU utilizations and task set size, and therefore is applicable to schedulability analysis of complex distributed systems.

Repatriate

0302-9743 2005, held in Fredrikstad, Norway, in September 2005...The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures..978-3-540-292

領(lǐng)先