Software design for resilient computer systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer International Publishing
[2016]
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 Volltext Abstract Inhaltsverzeichnis |
| Beschreibung: | 1 Online Ressource (xiv, 214 p. 70 illus., 51 illus. in color) |
| ISBN: | 9783319294650 |
| DOI: | 10.1007/978-3-319-29465-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043422735 | ||
| 003 | DE-604 | ||
| 005 | 20160613 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160302s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319294650 |c Online |9 978-3-319-29465-0 | ||
| 024 | 7 | |a 10.1007/978-3-319-29465-0 |2 doi | |
| 035 | |a (OCoLC)943800893 | ||
| 035 | |a (DE-599)BVBBV043422735 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1043 |a DE-Aug4 |a DE-898 |a DE-573 |a DE-859 |a DE-863 |a DE-634 |a DE-92 |a DE-862 |a DE-861 |a DE-706 | ||
| 082 | 0 | |a 621.382 |2 23 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a Schagaev, Igor |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Software design for resilient computer systems |c Igor Schagaev, Thomas Kaegi-Trachsel |
| 264 | 1 | |a [Cham] |b Springer International Publishing |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online Ressource (xiv, 214 p. 70 illus., 51 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Computer software / Reusability | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Quality control | |
| 650 | 4 | |a Reliability | |
| 650 | 4 | |a Industrial safety | |
| 650 | 4 | |a Electrical engineering | |
| 650 | 4 | |a Electronic circuits | |
| 650 | 4 | |a Communications Engineering, Networks | |
| 650 | 4 | |a Circuits and Systems | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Performance and Reliability | |
| 650 | 4 | |a Quality Control, Reliability, Safety and Risk | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | 1 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 3 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 4 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Kaegi-Trachsel, Thomas |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-29463-6 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-29465-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840628&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840628&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028840628 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FAW01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29465-0 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 612941 |
|---|---|
| _version_ | 1806179692152094720 |
| adam_text | SOFTWARE DESIGN FOR RESILIENT COMPUTER SYSTEMS
/ SCHAGAEV, IGOR
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK ADDRESSES THE QUESTION OF HOW SYSTEM SOFTWARE SHOULD BE
DESIGNED TO ACCOUNT FOR FAULTS, AND WHICH FAULT TOLERANCE FEATURES IT
SHOULD PROVIDE FOR HIGHEST RELIABILITY. THE AUTHORS FIRST SHOW HOW THE
SYSTEM SOFTWARE INTERACTS WITH THE HARDWARE TO TOLERATE FAULTS. THEY
ANALYZE AND FURTHER DEVELOP THE THEORY OF FAULT TOLERANCE TO UNDERSTAND
THE DIFFERENT WAYS TO INCREASE THE RELIABILITY OF A SYSTEM, WITH SPECIAL
ATTENTION ON THE ROLE OF SYSTEM SOFTWARE IN THIS PROCESS. THEY FURTHER
DEVELOP THE GENERAL ALGORITHM OF FAULT TOLERANCE (GAFT) WITH ITS THREE
MAIN PROCESSES: HARDWARE CHECKING, PREPARATION FOR RECOVERY, AND THE
RECOVERY PROCEDURE. FOR EACH OF THE THREE PROCESSES, THEY ANALYZE THE
REQUIREMENTS AND PROPERTIES THEORETICALLY AND GIVE POSSIBLE
IMPLEMENTATION SCENARIOS AND SYSTEM SOFTWARE SUPPORT REQUIRED. BASED ON
THE THEORETICAL RESULTS, THE AUTHORS DERIVE AN OBERON-BASED PROGRAMMING
LANGUAGE WITH DIRECT SUPPORT OF THE THREE PROCESSES OF GAFT. IN THE LAST
PART OF THIS BOOK, THEY INTRODUCE A SIMULATOR, USING IT AS A PROOF OF
CONCEPT IMPLEMENTATION OF A NOVEL FAULT TOLERANT PROCESSOR ARCHITECTURE
(ERRIC) AND ITS NEWLY DEVELOPED RUNTIME SYSTEM FEATURE-WISE AND
PERFORMANCE-WISE. THE CONTENT APPLIES TO INDUSTRIES SUCH AS MILITARY,
AVIATION, INTENSIVE HEALTH CARE, INDUSTRIAL CONTROL, SPACE EXPLORATION,
ETC. OUTLINES POTENTIAL CRITICAL FAULTS IN THE MODERN COMPUTER
SYSTEMS AND WHAT IS REQUIRED TO CHANGE THEM EXPLAINS HOW TO DESIGN
AND RE-DESIGN SYSTEM SOFTWARE FOR THE NEXT GENERATION OF COMPUTERS FOR
WIDER APPLICATION DOMAINS AND GREATER EFFICIENCY AND RELIABILITY
PRESENTS HOW IMPLEMENTED SYSTEM SOFTWARE SUPPORT MAKES MAINTENANCE OF
COMPUTER SYSTEMS MUCH EASIER, WHILE RELIABILITY AND PERFORMANCE
INCREASES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
SOFTWARE DESIGN FOR RESILIENT COMPUTER SYSTEMS
/ SCHAGAEV, IGOR
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Schagaev, Igor |
| author_facet | Schagaev, Igor |
| author_role | aut |
| author_sort | Schagaev, Igor |
| author_variant | i s is |
| building | Verbundindex |
| bvnumber | BV043422735 |
| classification_rvk | ST 230 ST 233 |
| collection | ZDB-2-ENG |
| ctrlnum | (OCoLC)943800893 (DE-599)BVBBV043422735 |
| dewey-full | 621.382 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.382 |
| dewey-search | 621.382 |
| dewey-sort | 3621.382 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-3-319-29465-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04313nmm a2200853zc 4500</leader><controlfield tag="001">BV043422735</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160613 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160302s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319294650</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-29465-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-29465-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)943800893</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043422735</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.382</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schagaev, Igor</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software design for resilient computer systems</subfield><subfield code="c">Igor Schagaev, Thomas Kaegi-Trachsel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (xiv, 214 p. 70 illus., 51 illus. in color)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Reusability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quality control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reliability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Industrial safety</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic circuits</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Communications Engineering, Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits and Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Performance and Reliability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quality Control, Reliability, Safety and Risk</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kaegi-Trachsel, Thomas</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-29463-6</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840628&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840628&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028840628</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29465-0</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043422735 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-01T12:13:02Z |
| institution | BVB |
| isbn | 9783319294650 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028840628 |
| oclc_num | 943800893 |
| open_access_boolean | |
| owner | DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-92 DE-862 DE-BY-FWS DE-861 DE-706 |
| owner_facet | DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-92 DE-862 DE-BY-FWS DE-861 DE-706 |
| physical | 1 Online Ressource (xiv, 214 p. 70 illus., 51 illus. in color) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer International Publishing |
| record_format | marc |
| spellingShingle | Schagaev, Igor Software design for resilient computer systems Engineering Computer software / Reusability Software engineering Quality control Reliability Industrial safety Electrical engineering Electronic circuits Communications Engineering, Networks Circuits and Systems Software Engineering Performance and Reliability Quality Control, Reliability, Safety and Risk Ingenieurwissenschaften Software Engineering (DE-588)4116521-4 gnd Fehlertoleranz (DE-588)4123192-2 gnd Verifikation (DE-588)4135577-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4123192-2 (DE-588)4135577-5 (DE-588)4767762-4 (DE-588)4333722-3 |
| title | Software design for resilient computer systems |
| title_auth | Software design for resilient computer systems |
| title_exact_search | Software design for resilient computer systems |
| title_full | Software design for resilient computer systems Igor Schagaev, Thomas Kaegi-Trachsel |
| title_fullStr | Software design for resilient computer systems Igor Schagaev, Thomas Kaegi-Trachsel |
| title_full_unstemmed | Software design for resilient computer systems Igor Schagaev, Thomas Kaegi-Trachsel |
| title_short | Software design for resilient computer systems |
| title_sort | software design for resilient computer systems |
| topic | Engineering Computer software / Reusability Software engineering Quality control Reliability Industrial safety Electrical engineering Electronic circuits Communications Engineering, Networks Circuits and Systems Software Engineering Performance and Reliability Quality Control, Reliability, Safety and Risk Ingenieurwissenschaften Software Engineering (DE-588)4116521-4 gnd Fehlertoleranz (DE-588)4123192-2 gnd Verifikation (DE-588)4135577-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | Engineering Computer software / Reusability Software engineering Quality control Reliability Industrial safety Electrical engineering Electronic circuits Communications Engineering, Networks Circuits and Systems Software Engineering Performance and Reliability Quality Control, Reliability, Safety and Risk Ingenieurwissenschaften Fehlertoleranz Verifikation Sicherheitskritisches System Formale Methode |
| url | https://doi.org/10.1007/978-3-319-29465-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840628&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840628&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schagaevigor softwaredesignforresilientcomputersystems AT kaegitrachselthomas softwaredesignforresilientcomputersystems |