Holdings: Distributed embedded control systems

Distributed embedded control systems: Improving dependability with coherent design

Saved in:

Bibliographic Details
Main Authors:	Colnarič, Matjaž (Author), Verber, Domen (Author), Halang, Wolfgang A. 1951- (Author)
Format:	Book
Language:	English
Published:	London Springer 2008
Series:	Advances in industrial control
Online Access:	Inhaltsverzeichnis
Physical Description:	XVIII, 270 S. graph. Darst. 235 mm x 155 mm
ISBN:	9781848000513

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items