Dependable Computing for Critical Applications
Springer Wien (Verlag)
978-3-7091-9125-5 (ISBN)
Validation.- Dependable Computing in the UK.- Software Validation by means of Statistical Testing: Retrospect and Future Direction.- Design Diversity Assessment.- Failure Masking: a Source of Failure Dependency in Multi-Version Programs.- Recovery Block Reliability Analysis with Failure Clustering.- Application-Oriented Systems.- Safety and Fault-Tolerance in Computer-Controlled Railway Signalling System.- Dependability of Digital Computers On Board Airplanes.- Longlife Dependable Computers for Spacecrafts.- Experimental Evaluation.- A Fault Behavior Model for an Avionic Microprocessor: a Case-Study.- Experimental Evaluation of Computing System Dependability by using Heavy-Ion Radiation from Californium-252.- Modeling and Evaluation.- A Unified Approach for Specifying Measures of Performance, Dependability and Performability.- Successive Operational Periods as Measures of Dependability.- Architecture.- A Data-Driven Dependability Assurance Scheme with Applications to Data and Design Diversity.- Implementing Distributed Capabilities Without a Trusted Kernel.- Resynchronization Interfaces: Sources of Metastability Errors in Computing Systems.- Design for Security.- Fragmented Data Processing: an Approach to Secure and Reliable Processing in Distributed Computing Systems.- Security and Fault Tolerance.- Integration Problems in Fault Tolerant, Secure Computer Design.- Concurrent Error Detection using Signature Monitoring and Encryption.- Fault-Tolerant Distributed Systems.- A Linguistic Approach to Failure-Handling in Distributed Systems.- Fault-Tolerant Membership Service in a Synchronous Distributed Real-Time System.- Author Index.
Erscheint lt. Verlag | 12.2.2012 |
---|---|
Reihe/Serie | Dependable Computing and Fault-Tolerant Systems |
Zusatzinfo | XIII, 431 p. |
Verlagsort | Vienna |
Sprache | englisch |
Maße | 170 x 244 mm |
Gewicht | 773 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
Technik ► Fahrzeugbau / Schiffbau | |
Schlagworte | Computer • Design • Development • Distributed Systems • Modeling • Safety • Validation |
ISBN-10 | 3-7091-9125-4 / 3709191254 |
ISBN-13 | 978-3-7091-9125-5 / 9783709191255 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich