Generic fault tolerant software architecture modeling, customization and verification

... proof Chapter Generic Fault Tolerant Software Architecture – GFTSA In this chapter, we propose a novel heterogeneous software architecture, namely Generic Fault Tolerant Software Architecture ... heterogeneous software architecture, namely Generic Fault Tolerant Software Architecture (GFTSA) We describe the software architecture style and fault to...

Ngày tải lên: 12/09/2015, 08:18

... ideas in fault- tolerant computer architecture and to present the current state-of-the-art—over approximately the past 10 years—in academia and industry Keywords fault tolerance (or fault tolerant) , ... hardware components to create computers that meet functional, performance and cost goals Fault Tolerant Computer Architecture Daniel Sorin 2009 The Datacenter as a Computer:...

Ngày tải lên: 03/07/2014, 19:20

... in fault- tolerant computer architecture and to present the current state-of-the-art—over approximately the past 10 years—in academia and industry We must be aware, though, that fault- tolerant computer ... the presence of faults Ideally, architects design computers that are both safe and live, even in the presence of faults However, even if a computer cannot provide liveness in a...

Ngày tải lên: 03/07/2014, 19:20

... doi:10.1145/357401.357402 [33] O Serlin Fault- Tolerant Systems in Commercial Applications IEEE Computer, 17(8), pp 19–30, Aug 1984 16  fault tolerant computer architecture [34] J Shin, V Zyuban, ... tolerating hardware faults, but tolerating hardware faults provides no protection against buggy software We conclude in Chapter with a discussion of what the future holds for fault-...

Ngày tải lên: 03/07/2014, 19:20

... 28  fault tolerant computer architecture input operands that are codewords in an arithmetic code, then the result of an error-free operation will also be a codeword A functional unit is fault- secure ... voter FIGURE 2.3: Boeing 777’s triple TMR [93] voter Motorola 68040 AMD 29050 voter 22  fault tolerant computer architecture all of the processor’s operations, and a watchdog tim...

Ngày tải lên: 03/07/2014, 19:20

... 30  fault tolerant computer architecture until the NonStop Advanced Architecture [7]—and mission-critical systems ... compares the threads on a per-instruction basis, but it is much less costly and a far 32  fault tolerant computer architecture less intrusive design Fingerprinting, because it is a lossy hash (compression) ... multiprocessors, and each thread is replicated on one c...

Ngày tải lên: 03/07/2014, 19:20

... 40  fault tolerant computer architecture violations of false invariants Just because profiling shows that the ... occur or mistakenly believe that the redundant instructions produced the same result 42  fault tolerant computer architecture Code with EDDI-like Redundancy Original Code add r1, r2, r3 // r1 ... errors Errors Due to Permanent Faults Recent trends that predict an incr...

Ngày tải lên: 03/07/2014, 19:20

... Corporation, Apr 2004 [32] D Jewett Integrity S2: A Fault- Tolerant UNIX Platform In Proceedings of the 21st International Symposium on Fault- Tolerant Computing Systems, pp 512–519, June 1991 doi:10.1109/ ... memory ordering violations and thus uncover design bugs Because the goal is post-silicon 52  fault tolerant computer architecture validation, Dacota’s implementation is opti...

Ngày tải lên: 03/07/2014, 19:20

... permanent fault, recovery may not be sufficient for liveness because execution after recovery will keep reencountering the same permanent fault The solutions to this problem—permanent fault diagnosis ... an error has occurred, then additional redundancy is required to correct that error 62  fault tolerant computer architecture Physical Redundancy Recall from Chapter that dual modu...

Ngày tải lên: 03/07/2014, 19:20

... Symposium on Fault- Tolerant Computing Systems, pp 170–175, 1987 [12] IBM Enhancing IBM Netfinity Server Reliability: IBM Chipkill Memory IBM Whitepaper, Feb 1999 78  fault tolerant computer architecture ... purposes of fault tolerance These schemes differ from each other primarily in the degree of support required from the programmer, linked libraries, and the operating system 7...

Ngày tải lên: 03/07/2014, 19:20

... response to faulty components 4.5 CONCLUSIONS Fault diagnosis is a reemerging area of research After a long history of heavy-weight fault diagnosis in mainframes and supercomputers, low-cost fault ... provides an excellent example of a supercomputer that provides substantial diagnostic capability The CM-5 dedicates a processor to controlling the 86  fault tolerant computer archite...

Ngày tải lên: 03/07/2014, 19:20

... Thread T2 Thread T1 Core C1 faulty multiplier Core C2 faulty divider Core C1 faulty multiplier Core C2 faulty divider FIGURE 5.1: Example of using scheduler to hide faulty functional units Assume ... use them to replace faulty cells The engineering challenges are determining how many spares to provide and at what granularity to perform the self-repair 92  fault tolerant computer  archit...

Ngày tải lên: 03/07/2014, 19:20

... 100  fault tolerant computer architecture 6.2 FUTURE RELATIONSHIPS BETWEEN FAULT TOLERANCE AND OTHER FIELDS We are intrigued by what the future holds for the relationships between fault tolerance ... just another type of fault to be tolerated However, the mechanisms used to tolerate these types of “faults” are often far different from those used to tolerate physical faults Being ab...

Ngày tải lên: 03/07/2014, 19:20

Ngày tải lên: 14/11/2014, 14:04

... method of kinematic analysis is force closure Framework of Computer-Aided Fixture Design Fixture Design Synthesis CAD Representation Analysis Geometric Analysis Machining Interference Parametric Fixture ... accurately modeled and analysed This thesis describes the modeling, analysis and verification of optimal fixturing configurations by the methods of forc...

Ngày tải lên: 26/11/2015, 12:39