Coding approaches to fault tolerance in combinational and dynamic systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston
Kluwer Academic Publishers
2002
|
| Schriftenreihe: | The Kluwer international series in engineering and computer science
660 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | xxii, 189 p. ill. : 25 cm |
| ISBN: | 0792376242 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV014357872 | ||
| 003 | DE-604 | ||
| 005 | 20060426 | ||
| 007 | t | ||
| 008 | 020603s2002 xxua||| |||| 00||| eng d | ||
| 010 | |a 2001053971 | ||
| 020 | |a 0792376242 |c alk. paper |9 0-7923-7624-2 | ||
| 035 | |a (OCoLC)248022323 | ||
| 035 | |a (DE-599)BVBBV014357872 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 050 | 0 | |a QA76.9.F38 | |
| 082 | 0 | |a 004.2 |2 21 | |
| 084 | |a ST 273 |0 (DE-625)143640: |2 rvk | ||
| 084 | |a ST 276 |0 (DE-625)143642: |2 rvk | ||
| 100 | 1 | |a Hadjicostis, Christoforos N. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Coding approaches to fault tolerance in combinational and dynamic systems |c Christoforos N. Hadjicostis ; [foreword by George Verghese] |
| 264 | 1 | |a Boston |b Kluwer Academic Publishers |c 2002 | |
| 300 | |a xxii, 189 p. |b ill. : 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a The Kluwer international series in engineering and computer science |v 660 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Coding theory | |
| 650 | 4 | |a Fault-tolerant computing | |
| 650 | 0 | 7 | |a Codierungstheorie |0 (DE-588)4139405-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | 1 | |a Codierungstheorie |0 (DE-588)4139405-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a The Kluwer international series in engineering and computer science |v 660 |w (DE-604)BV023545171 |9 660 | |
| 856 | 4 | 2 | |m LoC Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009841029&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009841029 | |
Datensatz im Suchindex
| _version_ | 1809768499145342976 |
|---|---|
| adam_text |
CODING APPROACHES TO FAULT TOLERANCE IN COMBINATIONAL AND DYNAMIC SYSTEMS / HADJICOSTIS, CHRISTOFOROS N. : C2002
TABLE OF CONTENTS / INHALTSVERZEICHNIS
1. INTRODUCTION 1
1 DEFINITIONS, MOTIVATION AND BACKGROUND 1
2 FAULT-TOLERANT COMBINATIONAL SYSTEMS 4
2.1 RELIABLE COMBINATIONAL SYSTEMS 6
2.2 MINIMIZING REDUNDANT HARDWARE 6
3 FAULT-TOLERANT DYNAMIC SYSTEMS 7
3.1 REDUNDANT IMPLEMENTATIONS 10
3.2 FAULTS IN THE ERROR-CORRECTING MECHANISM 12
4 CODING TECHNIQUES FOR FAULT DIAGNOSIS 13
PART I FAULT-TOLERANT COMBINATIONAL SYSTEMS
2. RELIABLE COMBINATIONAL SYSTEMS OUT OF UNRELIABLE COMPONENTS 21
1 INTRODUCTION 21
2 COMPUTATIONAL MODELS FOR COMBINATIONAL SYSTEMS 22
3 VON NEUMANN'S APPROACH TO FAULT TOLERANCE 23
4 EXTENSIONS OF VON NEUMANN'S APPROACH 27
4.1 MAXIMUM TOLERABLE NOISE FOR 3-INPUT GATES 27
4.2 MAXIMUM TOLERABLE NOISE FOR U-INPUT GATES 29
5 RELATED WORK AND FURTHER READING 31
3. ABFT FOR COMBINATIONAL SYSTEMS 33
1 INTRODUCTION 33
2 ARITHMETIC CODES 35
3 ALGORITHM-BASED FAULT TOLERANCE 37
4 GENERALIZATIONS OF ARITHMETIC CODING TO OPERATIONS WITH ALGEBRAIC STRUCTURE 41
4.1 FAULT TOLERANCE FOR ABELIAN GROUP OPERATIONS 41
4.1.1 - USE OF GROUP HOMOMORPHISMS 44
4.1.2 ERROR DETECTION AND CORRECTION 45
4.1.3 SEPARATE GROUP CODES 47
4.2 FAULT TOLERANCE FOR SEMIGROUP OPERATIONS 49
4.2.1 USE OF SEMIGROUP HOMOMORPHISMS 50
4.2.2 ERROR DETECTION AND CORRECTION 51
4.2.3 SEPARATE SEMIGROUP CODES 52
4.3 EXTENSIONS 56
PART II FAULT-TOLERANT DYNAMIC SYSTEMS
4. REDUNDANT IMPLEMENTATIONS OF ALGEBRAIC MACHINES 61
1 INTRODUCTION 61
2 ALGEBRAIC MACHINES: DEFINITIONS AND DECOMPOSITIONS 61
3 REDUNDANT IMPLEMENTATIONS OF GROUP MACHINES 64
3.1 SEPARATE MONITORS FOR GROUP MACHINES 66
3.2 NON-SEPARATE REDUNDANT IMPLEMENTATIONS FOR GROUP
MACHINES 69
4 REDUNDANT IMPLEMENTATIONS OF SEMIGROUP MACHINES 73
4.1 SEPARATE MONITORS FOR RESET-IDENTITY MACHINES 74
4.2 NON-SEPARATE REDUNDANT IMPLEMENTATIONS FOR RESET-IDENTITY MACHINES 75
5 SUMMARY 76
5. REDUNDANT IMPLEMENTATIONS OF DISCRETE-TIME LTI DYNAMIC SYSTEMS 79
1 INTRODUCTION 79
2 DISCRETE-TIME LTI DYNAMIC SYSTEMS 79
3 CHARACTERIZATION OF REDUNDANT IMPLEMENTATIONS 80
4 HARDWARE IMPLEMENTATION AND FAULT MODEL 83
5 EXAMPLES OF FAULT-TOLERANT SYSTEMS 86
6 SUMMARY 96
6. REDUNDANT IMPLEMENTATIONS OF LINEAR FINITE-STATE MACHINES 99
1 INTRODUCTION 99
2 LINEAR FINITE-STATE MACHINES 99
3 CHARACTERIZATION OF REDUNDANT IMPLEMENTATIONS 102
4 EXAMPLES OF FAULT-TOLERANT SYSTEMS 104
5 HARDWARE.MINIMIZATION IN REDUNDANT LFSM IMPLEMENTATIONS 108
6 SUMMARY 112
7. UNRELIABLE ERROR CORRECTION IN DYNAMIC SYSTEMS 115
1 INTRODUCTION 115
2 FAULT MODEL FOR DYNAMIC SYSTEMS 117
3 RELIABLE DYNAMIC SYSTEMS USING DISTRIBUTED VOTING SCHEMES 118
4 RELIABLE LINEAR FINITE-STATE MACHINES 123
4.1 LOW-DENSITY PARITY CHECK CODES AND STABLE MEMORIES 123
4.2 RELIABLE LINEAR FINITE-STATE MACHINES USING CONSTANT
REDUNDANCY 127
5 OTHER ISSUES 132
8. CODING APPROACHES FOR FAULT DETECTION AND IDENTIFICATION IN DISCRETE EVENT SYSTEMS 143
1 INTRODUCTION 143
2 PETRI NET MODELS OF DISCRETE EVENT SYSTEMS 145
3 FAULT MODELS FOR PETRI NETS 148
4 SEPARATE MONITORING SCHEMES 151
4.1 SEPARATE REDUNDANT PETRI NET IMPLEMENTATIONS 151
4.2 FAULT DETECTION AND IDENTIFICATION 154
5 NON-SEPARATE MONITORING SCHEMES 160
5.1 NON-SEPARATE REDUNDANT PETRI NET IMPLEMENTATIONS 160
5.2 FAULT DETECTION AND IDENTIFICATION 166
6 APPLICATIONS IN CONTROL 170
6.1 MONITORING ACTIVE TRANSITIONS 170
6.2 DETECTING ILLEGAL TRANSITIONS 171
7 SUMMARY 174
9. CONCLUDING REMARKS 179
1 SUMMARY 179
2 FUTURE RESEARCH DIRECTIONS 181
10. ABOUT THE AUTHOR 185
11. INDEX 187.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author | Hadjicostis, Christoforos N. |
| author_facet | Hadjicostis, Christoforos N. |
| author_role | aut |
| author_sort | Hadjicostis, Christoforos N. |
| author_variant | c n h cn cnh |
| building | Verbundindex |
| bvnumber | BV014357872 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F38 |
| callnumber-search | QA76.9.F38 |
| callnumber-sort | QA 276.9 F38 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 273 ST 276 |
| ctrlnum | (OCoLC)248022323 (DE-599)BVBBV014357872 |
| dewey-full | 004.2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2 |
| dewey-search | 004.2 |
| dewey-sort | 14.2 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV014357872</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060426</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020603s2002 xxua||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2001053971</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792376242</subfield><subfield code="c">alk. paper</subfield><subfield code="9">0-7923-7624-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248022323</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014357872</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F38</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 273</subfield><subfield code="0">(DE-625)143640:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 276</subfield><subfield code="0">(DE-625)143642:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hadjicostis, Christoforos N.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Coding approaches to fault tolerance in combinational and dynamic systems</subfield><subfield code="c">Christoforos N. Hadjicostis ; [foreword by George Verghese]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston</subfield><subfield code="b">Kluwer Academic Publishers</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxii, 189 p.</subfield><subfield code="b">ill. : 25 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">660</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Coding theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Codierungstheorie</subfield><subfield code="0">(DE-588)4139405-7</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="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">Codierungstheorie</subfield><subfield code="0">(DE-588)4139405-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">660</subfield><subfield code="w">(DE-604)BV023545171</subfield><subfield code="9">660</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">LoC 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=009841029&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009841029</subfield></datafield></record></collection> |
| id | DE-604.BV014357872 |
| illustrated | Illustrated |
| indexdate | 2024-09-10T00:55:35Z |
| institution | BVB |
| isbn | 0792376242 |
| language | English |
| lccn | 2001053971 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009841029 |
| oclc_num | 248022323 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | xxii, 189 p. ill. : 25 cm |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Kluwer Academic Publishers |
| record_format | marc |
| series | The Kluwer international series in engineering and computer science |
| series2 | The Kluwer international series in engineering and computer science |
| spelling | Hadjicostis, Christoforos N. Verfasser aut Coding approaches to fault tolerance in combinational and dynamic systems Christoforos N. Hadjicostis ; [foreword by George Verghese] Boston Kluwer Academic Publishers 2002 xxii, 189 p. ill. : 25 cm txt rdacontent n rdamedia nc rdacarrier The Kluwer international series in engineering and computer science 660 Includes bibliographical references and index Coding theory Fault-tolerant computing Codierungstheorie (DE-588)4139405-7 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 s Codierungstheorie (DE-588)4139405-7 s DE-604 The Kluwer international series in engineering and computer science 660 (DE-604)BV023545171 660 LoC Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009841029&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hadjicostis, Christoforos N. Coding approaches to fault tolerance in combinational and dynamic systems The Kluwer international series in engineering and computer science Coding theory Fault-tolerant computing Codierungstheorie (DE-588)4139405-7 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4139405-7 (DE-588)4123192-2 |
| title | Coding approaches to fault tolerance in combinational and dynamic systems |
| title_auth | Coding approaches to fault tolerance in combinational and dynamic systems |
| title_exact_search | Coding approaches to fault tolerance in combinational and dynamic systems |
| title_full | Coding approaches to fault tolerance in combinational and dynamic systems Christoforos N. Hadjicostis ; [foreword by George Verghese] |
| title_fullStr | Coding approaches to fault tolerance in combinational and dynamic systems Christoforos N. Hadjicostis ; [foreword by George Verghese] |
| title_full_unstemmed | Coding approaches to fault tolerance in combinational and dynamic systems Christoforos N. Hadjicostis ; [foreword by George Verghese] |
| title_short | Coding approaches to fault tolerance in combinational and dynamic systems |
| title_sort | coding approaches to fault tolerance in combinational and dynamic systems |
| topic | Coding theory Fault-tolerant computing Codierungstheorie (DE-588)4139405-7 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Coding theory Fault-tolerant computing Codierungstheorie Fehlertoleranz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009841029&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023545171 |
| work_keys_str_mv | AT hadjicostischristoforosn codingapproachestofaulttoleranceincombinationalanddynamicsystems |