Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Software Design for Resilient Computer Systems / / by Igor Schagaev, Eugene Zouev, Kaegi Thomas
| Software Design for Resilient Computer Systems / / by Igor Schagaev, Eugene Zouev, Kaegi Thomas |
| Autore | Schagaev Igor |
| Edizione | [2nd ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xiv, 214 pages) : illustrations |
| Disciplina | 005 |
| Soggetto topico |
Electrical engineering
Electronic circuits Software engineering Computer software—Reusability Quality control Reliability Industrial safety Communications Engineering, Networks Circuits and Systems Software Engineering Performance and Reliability Quality Control, Reliability, Safety and Risk |
| ISBN | 3-030-21244-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 -- Reliability of ERRIC -- Performance of ERRIC -- ERRIC Software -- How about resilience at large -- Map of Resilience. |
| Record Nr. | UNINA-9910366591603321 |
Schagaev Igor
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Design for Resilient Computer Systems / / by Igor Schagaev, Kaegi Thomas
| Software Design for Resilient Computer Systems / / by Igor Schagaev, Kaegi Thomas |
| Autore | Schagaev Igor |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (218 p.) |
| Disciplina | 620 |
| Soggetto topico |
Electrical engineering
Electronic circuits Software engineering Computer software—Reusability Quality control Reliability Industrial safety Communications Engineering, Networks Circuits and Systems Software Engineering Performance and Reliability Quality Control, Reliability, Safety and Risk |
| ISBN | 3-319-29465-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910254254903321 |
|
Schagaev Igor
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
