Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems. A companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems. Another companion book (published by Kluwer) subtitled System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead.

Electronic digital computers --- Real-time data processing --- Fault-tolerant computing --- Reliability --- Electronic digital computers -- Reliability. --- Fault-tolerant computing. --- Computer science. --- Microprocessors. --- Special purpose computers. --- Computer Science. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Computer Science, general. --- Real-time data processing. --- Reliability. --- Software engineering. --- Electronic digital computers - Reliability

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer. Automation --- Electronic digital computers --- Computer networks --- Queuing theory --- Markov processes --- Numerical analysis --- Réseaux d'ordinateurs --- Markov, Processus de --- Analyse numérique --- Evaluation --- Mathematical models --- Congresses --- Reliability --- Congrès --- congresses --- Files d'attente, Théorie des --- Electronic digital computers - Evaluation - Mathematical models - Congresses --- Electronic digital computers - Reliability - Mathematical models - Congresses --- Computer networks - Congresses --- Queuing theory - congresses --- Markov processes - Congresses --- Numerical analysis - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer software --- Electronic digital computers --- Industrial safety --- Logiciels --- Ordinateurs --- Sécurité du travail --- Reliability --- Fiabilité --- Industrial safety. --- Reliability. --- -Electronic digital computers --- -Industrial safety --- Industrial accidents --- Industries --- Job safety --- Occupational hazards, Prevention of --- Occupational health and safety --- Occupational safety and health --- Prevention of industrial accidents --- Prevention of occupational hazards --- Safety, Industrial --- Safety engineering --- Safety measures --- Safety of workers --- Accidents --- System safety --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Software, Computer --- Computer systems --- Prevention --- Sécurité du travail --- Fiabilité --- Computer software. Reliability --- Electronic digital computers. Reliability

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic digital computers --- Fault-tolerant computing --- Reliability --- Ordinateurs --- Tolérance aux fautes (informatique) --- Fiabilité --- -Fault-tolerant computing --- 681.3*C4 --- 681.3*D4 --- Computing, Fault-tolerant --- Electronic data processing --- Fault tolerance (Engineering) --- Computer system failures --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Performance of systems (Computer systems organization) --- Operating systems--See also {681.3*C} --- Fault-tolerant computing. --- Reliability. --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*C4 Performance of systems (Computer systems organization) --- Fiabilité. --- Electronic digital computers - Reliability --- Tolérance aux fautes (informatique) --- Fiabilité.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this series: EDCC-1 was held in Berlin (Germany) in October 1994, EDCC-2 in Taormina (Italy) in October 1996, and EDCC-3 in Prague (Czech Republic) in September 1999. EDCC evolved from a merger of tow other conference series at the moment when the Iron Curtain fell. One of these, known as the ”International Conf- ence on Fault-Tolerant Computing Systems”, was organized during the period 1982–1991, bythe German Technical Interest Group ”Fault-Tolerant Computing Systems”. The other series, known as the ”International Conference on Fault- Tolerant Systems and Diagnostics”, was organized during the period 1975–1990 in the former Czechoslovakia, Poland, Bulgaria, and the former GDR. The c- position of the EDCC steering committee and the organizing committees of the successive issues of the conference have mirrored the East–West uni?cation ch- acter of the conference series. The EDCC conference is becoming a unique meeting point for researchers and practitioners from all over the world in the ?eld of Dependable Systems. It is organized bythe SEE Working Group ”Dependable Computing” in France, the GI/ITG/GMA Technical Committee on Dependabilityand Fault Tolerance in Germany, and the AICA Working Group ”Dependability of Computer Systems” in Italy. Furthermore, committees of several global professional organizations, such as IEEE and IFIP, support the conference.

Fault-tolerant computing --- Electronic digital computers --- Reliability --- Computer science. --- Computer hardware. --- Special purpose computers. --- Computer system failures. --- Software engineering. --- Computers. --- Computer Science. --- Theory of Computation. --- Computer Science, general. --- Computer Hardware. --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Software Engineering. --- Information theory. --- Computer system performance. --- Computer software engineering --- Engineering --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Special purpose computers --- Computers --- Failures --- Fault-tolerant computing - Congresses --- Electronic digital computers - Reliability - Congresses