Cover Image

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems /

Show other versions (1)

The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and des...

Full description

Bibliographic Details
Main Author:	Powell, David
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2001.
Subjects:	Computer science. Software engineering. Computer-aided design. Computer engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Design of Dependable Computing Systems /
by: Geffroy, Jean-Claude
Published: (2002)

Retargetable Code Generation for Digital Signal Processors /
by: Leupers, Rainer
Published: (1997)

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems /
by: Thoen, Filip
Published: (2000)

Code Optimization Techniques for Embedded Processors : Methods, Algorithms, and Tools /
by: Leupers, Rainer
Published: (2000)

Software Diversity in Computerized Control Systems /
by: Voges, Udo
Published: (1988)

Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems /
by: Fussell, Donald S.
Published: (1995)

Formal Techniques in Real-Time and Fault-Tolerant Systems /
by: Vytopil, Jan
Published: (1993)

A Practitioner's Handbook for Real-Time Analysis : Guide to Rate Monotonic Analysis for Real-Time Systems /
by: Klein, Mark H.
Published: (1993)

Custom Memory Management Methodology : Exploration of Memory Organisation for Embedded Multimedia System Design /
by: Catthoor, Francky
Published: (1998)

Assessing Fault Model and Test Quality /
by: Butler, Kenneth M.
Published: (1992)

Power Aware Computing /
by: Graybill, Robert
Published: (2002)

Come, Let's Play : Scenario-Based Programming Using LSCs and the Play-Engine /
by: Harʼel, Daṿid
Published: (2003)

Eurographics Tutorials '83 /
by: Hagen, Paul J. W.
Published: (1984)

The New User's Guide to the Sun Workstation /
by: Russo, Michael
Published: (1991)

Using the STL : the C++ Standard Template Library /
by: Robson, Robert
Published: (2000)

Managing Interactions in Smart Environments : 1st International Workshop on Managing Interactions in Smart Environments (MANSE'99), Dublin, December 1999 /
by: Nixon, Paddy
Published: (2000)

Responsive Computing : a Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No. 3 (1994) /
by: Malek, Miroslaw
Published: (1994)

Information Management for Engineering Design /
by: Katz, Randy H.
Published: (1985)

Concurrent and Comparative Discrete Event Simulation /
by: Ulrich, Ernst G.
Published: (1994)

Meta-Modeling : Performance and Information Modeling /
by: Bergé, Jean-Michel
Published: (1996)

Models in System Design /
by: Bergé, Jean-Michel
Published: (1997)

Code Generation for Embedded Processors /
by: Marwedel, Peter
Published: (2002)

Hardware/Software Co-Design and Co-Verification /
by: Bergé, Jean-Michel
Published: (1997)

Object-Oriented Modeling /
by: Bergé, Jean-Michel
Published: (1996)

Hardware/Software Co-Design: Principles and Practice /
by: Staunstrup, Jørgen
Published: (1997)

The Ada® Generic Library : Linear List Processing Packages /
by: Musser, David R.
Published: (1989)

Unified low-power design flow for data-dominated multi-media and telecom applications : Based on selected partner contributions of the European Low Power Initiative for Electronic System Design of the European Community ESPRIT4 programme /
by: Catthoor, Francky
Published: (2000)

Intelligent CAD Systems I : Theoretical and Methodological Aspects /
by: Hagen, Paul J. W.
Published: (1987)

Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits /
by: Michael, Christopher, Dr
Published: (1993)

Analog CMOS Filters for Very High Frequencies /
by: Nauta, Bram
Published: (1993)

The Boundary-Scan Handbook /
by: Parker, Kenneth P.
Published: (1992)

Yield Simulation for Integrated Circuits /
by: Walker, Duncan Moore Henry
Published: (1987)

Introduction to Analog VLSI Design Automation /
by: Ismail, Mohammed
Published: (1990)

Multi-Level Simulation for VLSI Design /
by: Hill, Dwight D.
Published: (1986)

Testing and Reliable Design of CMOS Circuits /
by: Jha, Niraj K.
Published: (1990)

Neural Models and Algorithms for Digital Testing /
by: Chakradhar, Srimat T.
Published: (1991)

Application-Driven Architecture Synthesis /
by: Catthoor, Francky
Published: (1993)

Advanced Techniques for Embedded Systems Design and Test /
by: López, Juan Carlos
Published: (1998)

Principles of VLSI System Planning : a Framework for Conceptual Design /
by: Dewey, Allen M.
Published: (1990)

Reasoning in Boolean Networks : Logic Synthesis and Verification using Testing Techniques /
by: Kunz, Wolfgang
Published: (1997)