Distributed embedded control systems: Improving dependability with coherent design
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London
Springer
2008
|
| Schriftenreihe: | Advances in industrial control
|
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVIII, 270 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9781848000513 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024623400 | ||
| 003 | DE-604 | ||
| 005 | 20230126 | ||
| 007 | t | ||
| 008 | 090924s2008 gw d||| |||| 00||| eng d | ||
| 015 | |a 07,N34,0733 |2 dnb | ||
| 016 | 7 | |a 985199954 |2 DE-101 | |
| 020 | |a 9781848000513 |9 978-1-8480-0051-3 | ||
| 035 | |a (OCoLC)255689178 | ||
| 035 | |a (DE-599)DNB985199954 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-83 | ||
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 084 | |a ZQ 5340 |0 (DE-625)158134: |2 rvk | ||
| 084 | |a 620 |2 sdnb | ||
| 100 | 1 | |a Colnarič, Matjaž |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Distributed embedded control systems |b Improving dependability with coherent design |c Matjaž Colnaric ; Domen Verber ; Wolfgang A. Halang |
| 264 | 1 | |a London |b Springer |c 2008 | |
| 300 | |a XVIII, 270 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Advances in industrial control | |
| 700 | 1 | |a Verber, Domen |e Verfasser |4 aut | |
| 700 | 1 | |a Halang, Wolfgang A. |d 1951- |e Verfasser |0 (DE-588)120993732 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-84800-052-0 |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018595283&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018595283 | ||
Datensatz im Suchindex
| _version_ | 1804140644670636032 |
|---|---|
| adam_text | MATJAZ COLNARIC * DOMEN VERBER WOLFGANG A. HALANG DISTRIBUTED EMBEDDED
CONTROL SYSTEMS IMPROVING DEPENDABILITY WITH COHERENT DESIGN SPRINGER
CONTENTS PART I CONCEPTS 1 REAL-TIME CHARACTERISTICS AND SAFETY OF
EMBEDDED SYSTEMS 3 1.1 INTRODUCTION 3 1.2 REAL-TIME SYSTEMS AND THEIR
PROPERTIES 5 1.2.1 DEFINITIONS, CLASSIFICATION AND PROPERTIES 6 1.2.2
PROBLEMS IN ADEQUATE IMPLEMENTATION OF EMBEDDED APPLICATIONS AND GENERAL
GUIDELINES 10 1.3 SAFETY OF EMBEDDED COMPUTER CONTROL SYSTEMS 13 1.3.1
BRIEF HISTORY OF SAFETY STANDARDS RELATING TO COMPUTERS IN CONTROL 16
1.3.2 SAFETY INTEGRITY LEVELS 19 1.3.3 DEALING WITH FAULTS IN EMBEDDED
CONTROL SYSTEMS .... 21 1.3.4 FAULT-TOLERANCE MEASURES 23 1.4 SUMMARY OF
CHAPTER 1 AND SYNOPSIS OF WHAT FOLLOWS 28 2 MULTITASKING 29 2.1 TASK
MANAGEMENT SYSTEMS 29 2.1.1 CYCLIC EXECUTIVE 30 2.1.2 ASYNCHRONOUS
MULTITASKING 32 2.2 SCHEDULING AND SCHEDULABILITY 34 2.2.1 SCHEDULING
METHODS AND TECHNIQUES 35 2.2.2 DEADLINE-DRIVEN SCHEDULING 39 2.2.3
SUFFICIENT CONDITION FOR FEASIBLE SCHEDULABILITY UNDER EARLIEST DEADLINE
FIRST 41 XIV CONTENTS 2.2.4 IMPLICATIONS OF EMPLOYING EARLIEST DEADLINE
FIRST SCHEDULING 45 2.2.5 RATE MONOTONIE VS EARLIEST DEADLINE FIRST
SCHEDULING . . 46 2.3 SYNCHRONISATION BETWEEN TASKS 50 2.3.1 BUSY
WAITING 51 2.3.2 SEMAPHORES 53 2.3.3 BOLTS 54 2.3.4 MONITORS 55 2.3.5
RENDEZVOUS 56 2.3.6 BOUNDING WAITING TIMES IN SYNCHRONISATION 57 3
HARDWARE AND SYSTEM ARCHITECTURES 61 3.1 UNDESIRABLE PROPERTIES OF
CONVENTIONAL HARDWARE ARCHITECTURES AND IMPLEMENTATIONS 62 3.1.1
PROCESSOR ARCHITECTURES 63 3.1.2 SYSTEM ARCHITECTURES 67 3.2 TOP-LAYER
ARCHITECTURE: AN ASYMMETRICAL MULTIPROCESSOR SYSTEM 69 3.2.1 CONCEPT 70
3.2.2 OPERATING SYSTEM KERNEL PROCESSOR 73 3.2.3 TASK PROCESSOR 78 3.3
IMPLEMENTATION OF ARCHITECTURAL MODELS 82 3.3.1 CENTRALISED ASYMMETRICAL
MULTIPROCESSOR MODEL 83 3.3.2 DISTRIBUTED MULTIPROCESSOR MODEL 86 3.4
INTELLIGENT PERIPHERAL INTERFACES FOR INCREASED DEPENDABILITY AND
FUNCTIONALITY 86 3.4.1 HIGHER-LEVEL FUNCTIONS OF THE INTELLIGENT
PERIPHERAL INTERFACES 88 3.4.2 ENHANCING FAULT TOLERANCE 89 3.4.3
SUPPORT FOR PROGRAMMED TEMPORAL FUNCTIONS 90 3.4.4 PROGRAMMING
PERIPHERAL INTERFACES 93 3.5 ADEQUATE DATA TRANSFER 93 3.5.1 REAL-TIME
COMMUNICATION 94 3.5.2 TIME-TRIGGERED COMMUNICATION 95 3.5.3 FAULT
TOLERANCE IN COMMUNICATION 98 3.5.4 DISTRIBUTED DATA ACCESS: DISTRIBUTED
REPLICATED SHARED MEMORY 100 CONTENTS XV 4 PROGRAMMING OF EMBEDDED
SYSTEMS 107 4.1 PROPERTIES DESIRED OF CONTROL SYSTEMS DEVELOPMENT ILL
4.1.1 SUPPORT FOR TIME AND TIMING OPERATIONS ILL 4.1.2 EXPLICIT
REPRESENTATION OF CONTROL SYSTEM ENTITIES .... 116 4.1.3 EXPLICIT
REPRESENTATION OF OTHER CONTROL SYSTEM ENTITIES 119 4.1.4 SUPPORT FOR
TEMPORAL PREDICTABILITY 120 4.1.5 SUPPORT FOR LOW-LEVEL INTERACTION WITH
SPECIAL-PURPOSE HARDWARE DEVICES 121 4.1.6 SUPPORT FOR OVERLOAD
PREVENTION 124 4.1.7 SUPPORT FOR HANDLING FAULTS AND EXCEPTIONS 124
4.1.8 SUPPORT FOR HARDWARE/SOFTWARE CO-IMPLEMENTATION . . . 130 4.1.9
OTHER CAPABILITIES 132 4.2 TIME MODELING AND ANALYSIS 132 4.2.1
EXECUTION TIME ANALYSIS OF SPECIFICATIONS 135 4.2.2 EXECUTION TIME
ANALYSIS OF SOURCE CODE 136 4.2.3 EXECUTION TIME ANALYSIS OF EXECUTABLE
CODE 140 4.2.4 EXECUTION TIME ANALYSIS OF HARDWARE COMPONENTS .... 141
4.2.5 DIRECT MEASUREMENT OF EXECUTION TIMES 142 4.2.6 PROGRAMMING
LANGUAGE SUPPORT FOR TEMPORAL PREDICTABILITY 144 4.2.7 SCHEDULABILITY
ANALYSIS 147 4.3 OBJECT-ORIENTATION AND EMBEDDED SYSTEMS 149 4.3.1
DIFFICULTIES OF INTRODUCING OBJECT-ORIENTATION TO EMBEDDED REAL-TIME
SYSTEMS 150 4.3.2 INTEGRATION OF OBJECTS INTO DISTRIBUTED EMBEDDED
SYSTEMS 150 4.4 SURVEY OF PROGRAMMING LANGUAGES FOR EMBEDDED SYSTEMS
.... 156 4.4.1 ASSEMBLY LANGUAGE 157 4.4.2 GENERAL-PURPOSE PROGRAMMING
LANGUAGES 158 4.4.3 SPECIAL-PURPOSE REAL-TIME PROGRAMMING LANGUAGES ....
160 4.4.4 LANGUAGES FOR PROGRAMMABLE LOGIC CONTROLLERS 163 PART II
IMPLEMENTATION 5 HARDWARE PLATFORM 169 5.1 ARCHITECTURE 169 CONTENTS 5.2
COMMUNICATION MODULE USED IN PROCESSING AND PERIPHERAL UNITS 171 5.3
FAULT TOLERANCE OF THE HARDWARE PLATFORM 175 5.4 SYSTEM SOFTWARE OF THE
EXPERIMENTAL PLATFORM 176 IMPLEMENTATION OF A FAULT-TOLERANT DISTRIBUTED
EMBEDDED SYSTEM 181 6.1 GENERALISED MODEL OF FAULT-TOLERANT REAL-TIME
CONTROL SYSTEMS 182 6.2 IMPLEMENTATION OF LOGICAL STRUCTURES ON THE
HARDWARE PLATFORM 185 6.3 PARTIAL IMPLEMENTATION IN FIRMWARE 187 6.3.1
COMMUNICATION SUPPORT MODULE 188 6.3.2 SUPPORTING MIDDLEWARE FOR
DISTRIBUTED SHARED MEMORY 189 6.3.3 KERNEL PROCESSOR 190 6.3.4
IMPLEMENTATION OF MONITORING, RECONFIGURATION AND MODE CONTROL UNIT 195
6.4 PROGRAMMING OF THE FTCS 196 6.4.1 EXTENSIONS TO
MATLAB/SIMULINKFUNCTION BLOCK LIBRARY 196 6.4.2 GENERATION OF TIME
SCHEDULES FOR THE TTCAN COMMUNICATION PROTOCOL 197 6.4.3 DEVELOPMENT
PROCESS 199 ASYNCHRONOUS REAL-TIME EXECUTION WITH RUNTIME STATE
RESTORATION BY MARTIN SKAMBRAKS 201 7.1 DESIGN OBJECTIVES 201 7.2
TASK-ORIENTED REAL-TIME EXECUTION WITHOUT ASYNCHRONOUS INTERRUPTS 202
7.2.1 OPERATING PRINCIPLE 203 7.2.2 PRIORITY INHERITANCE PROTOCOL 206
7.2.3 ASPECTS OF SAFETY LICENSING 211 7.2.4 FRAGMENTATION OF PROGRAM
CODE 213 7.3 STATE RESTORATION AT RUNTIME 220 7.3.1 STATE RESTORATION AT
RUNTIME AND ASSOCIATED PROBLEMS 222 7.3.2 CLASSIFICATION OF STATE
CHANGES 226 7.3.3 STATE RESTORATION WITH MODIFICATION BITS 227 7.3.4
CONCEPT OF STATE RESTORATION 229 7.3.5 INFLUENCE ON PROGRAM CODE
FRAGMENTATION AND PERFORMANCE ASPECTS 233 CONTENTS XVII 8 EPILOGUE 237
REFERENCES 241 INDEX 247
|
| any_adam_object | 1 |
| author | Colnarič, Matjaž Verber, Domen Halang, Wolfgang A. 1951- |
| author_GND | (DE-588)120993732 |
| author_facet | Colnarič, Matjaž Verber, Domen Halang, Wolfgang A. 1951- |
| author_role | aut aut aut |
| author_sort | Colnarič, Matjaž |
| author_variant | m c mc d v dv w a h wa wah |
| building | Verbundindex |
| bvnumber | BV024623400 |
| classification_rvk | ST 153 ZQ 5340 |
| ctrlnum | (OCoLC)255689178 (DE-599)DNB985199954 |
| discipline | Maschinenbau / Maschinenwesen Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01509nam a2200385 c 4500</leader><controlfield tag="001">BV024623400</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230126 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s2008 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N34,0733</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">985199954</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848000513</subfield><subfield code="9">978-1-8480-0051-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255689178</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB985199954</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZQ 5340</subfield><subfield code="0">(DE-625)158134:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Colnarič, Matjaž</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Distributed embedded control systems</subfield><subfield code="b">Improving dependability with coherent design</subfield><subfield code="c">Matjaž Colnaric ; Domen Verber ; Wolfgang A. Halang</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 270 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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="0" ind2=" "><subfield code="a">Advances in industrial control</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Verber, Domen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Halang, Wolfgang A.</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120993732</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-84800-052-0</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=018595283&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018595283</subfield></datafield></record></collection> |
| id | DE-604.BV024623400 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:03:15Z |
| institution | BVB |
| isbn | 9781848000513 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018595283 |
| oclc_num | 255689178 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XVIII, 270 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series2 | Advances in industrial control |
| spelling | Colnarič, Matjaž Verfasser aut Distributed embedded control systems Improving dependability with coherent design Matjaž Colnaric ; Domen Verber ; Wolfgang A. Halang London Springer 2008 XVIII, 270 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Advances in industrial control Verber, Domen Verfasser aut Halang, Wolfgang A. 1951- Verfasser (DE-588)120993732 aut Erscheint auch als Online-Ausgabe 978-1-84800-052-0 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018595283&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Colnarič, Matjaž Verber, Domen Halang, Wolfgang A. 1951- Distributed embedded control systems Improving dependability with coherent design |
| title | Distributed embedded control systems Improving dependability with coherent design |
| title_auth | Distributed embedded control systems Improving dependability with coherent design |
| title_exact_search | Distributed embedded control systems Improving dependability with coherent design |
| title_full | Distributed embedded control systems Improving dependability with coherent design Matjaž Colnaric ; Domen Verber ; Wolfgang A. Halang |
| title_fullStr | Distributed embedded control systems Improving dependability with coherent design Matjaž Colnaric ; Domen Verber ; Wolfgang A. Halang |
| title_full_unstemmed | Distributed embedded control systems Improving dependability with coherent design Matjaž Colnaric ; Domen Verber ; Wolfgang A. Halang |
| title_short | Distributed embedded control systems |
| title_sort | distributed embedded control systems improving dependability with coherent design |
| title_sub | Improving dependability with coherent design |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018595283&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT colnaricmatjaz distributedembeddedcontrolsystemsimprovingdependabilitywithcoherentdesign AT verberdomen distributedembeddedcontrolsystemsimprovingdependabilitywithcoherentdesign AT halangwolfganga distributedembeddedcontrolsystemsimprovingdependabilitywithcoherentdesign |