Software design for resilient computer systems. (2016)

• Record Type: Book
• Further Information: Note: Igor Schagaev, Thomas Kaegi-Trachsel.
• Authors: Schagaev, Igor; Kaegi-Trachsel, Thomas
• Contents: Introduction.- Hardware Faults.-Fault Tolerance: Theory and Concepts.- Generalized Algorithm of Fault Tolerance (GAFT).-GAFT Generalization: A Principle and Model of Active System Safety.-System Software Support for Hardware Deficiency: Function and Features.-Testing and Checking.-Recovery Preparation.-Recovery: Searching and Monitoring of Correct Software States.-Recovery Algorithms: An Analysis.- Programming Language for Safety Critical Systems.- Proposed Runtime System Structure.- Proposed Runtime System vs. Existing Approaches.- Hardware: The ERRIC Architecture.- Architecture Comparison and Evaluation.- ERRIC Reliability.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Copyright Date: 2016
• Extent: 1 online resource (214 pages)
• Subjects: 005.30287; Engineering; Computer software -- Reliability; Computer systems -- Reliability; Technology & Engineering -- Electronics -- Circuits -- General; Computers -- Software Development & Engineering -- General; Computers -- Hardware -- General; Technology & Engineering -- Quality Control; Circuits & components; Software Engineering; Systems analysis & design; Reliability engineering; Telecommunication; Systems engineering; Software engineering; Operating systems (Computers); System safety; Technology & Engineering -- Telecommunications; Communications engineering / telecommunications
• Languages: English
• ISBNs: 9783319294650
• Related ISBNs: 9783319294636
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.