Dependable Computing - EDCC-2
Springer Berlin (Verlag)
978-3-540-61772-3 (ISBN)
The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.
Friends: A flexible architecture for implementing fault tolerant and secure distributed applications.- Adaptable fault tolerance for distributed process control using exclusively standard components.- On stratified sampling for high coverage estimations.- Fault injection evaluation of assigned signatures in a RISC processor.- An evaluation of the error detection mechanisms in MARS using software-implemented fault injection.- Dependability modeling and analysis of complex control systems: An application to railway interlocking.- The effect of interfailure time variability on the software reliability growth modelling.- Dependability evaluation of a computing system for traction control of electrical locomotives.- Dependability models of RAID using stochastic activity networks.- Compiler assisted self-checking of structural integrity using return address hashing.- Single source fault-tolerant broadcasting for two-dimensional meshes without virtual channels.- On-line testing of an off-the-shelf microprocessor board for safety-critical applications.- The logic threshold based voting: A model for local feedback bridging fault.- On the yield of VLSI processors with on-chip CPU cache.- Design of dependable hardware: What BIST is most efficient?.- Pseudorandom testing of microprocessors at instruction/data flow level.- Multi-level test generation and fault diagnosis for finite state machines.- Dynamic testing from bounded data type specifications.- A theory of specification-based testing for object-oriented software.- Proving safety properties for embedded control systems.- Enhancing dependability of cooperative applications in partitionable environments.- Efficient message logging for uncoordinated checkpointing protocols.- Atomic updates of replicated data.- Removal of all faulty nodes from a fault-tolerant service by means of distributed diagnosis with imperfect fault coverage.- Constraint based system-level diagnosis of multiprocessors.- A unified theory for f1/f2-diagnosable communication networks.
| Erscheint lt. Verlag | 18.9.1996 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XVI, 444 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 602 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Informatik ► Weitere Themen ► Hardware | |
| Schlagworte | Distributed Fault Tolerance • Fault-Tolerant Design • Fehlertoleranter Entwurf • Fehlertolerantes System • Hardcover, Softcover / Informatik, EDV/Informatik • Hardware • Hardware Design • Hardwareentwurf • HC/Informatik, EDV/Informatik • Modeling • Softwareentwicklung • Systemperformanz • systems performance • systems verification • Systemverifikation • verification • Verteilte Fehlertoleranz • Zuverlässigkeit (Informat.) |
| ISBN-10 | 3-540-61772-8 / 3540617728 |
| ISBN-13 | 978-3-540-61772-3 / 9783540617723 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
