Design and analysis of distributed embedded systems: IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Boston
Kluwer Academic Publishers
2002
|
| Subjects: | |
| Online Access: | Table of contents Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references (p. 286) |
| Physical Description: | X, 286 S. Ill., graph. Darst. |
| ISBN: | 1402071566 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV014535968 | ||
| 003 | DE-604 | ||
| 005 | 20030224 | ||
| 007 | t | ||
| 008 | 020618s2002 xxuad|| |||| 10||| eng d | ||
| 010 | |a 2002072766 | ||
| 020 | |a 1402071566 |9 1-402-07156-6 | ||
| 035 | |a (OCoLC)50023718 | ||
| 035 | |a (DE-599)BVBBV014535968 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 050 | 0 | |a JK146 | |
| 050 | 0 | |a TK7895.E42 | |
| 082 | 0 | |a 004/.36 |2 21 | |
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 245 | 1 | 0 | |a Design and analysis of distributed embedded systems |b IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada |c edited by Bernd Kleinjohann ... [et al.] |
| 264 | 1 | |a Boston |b Kluwer Academic Publishers |c 2002 | |
| 300 | |a X, 286 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 286) | ||
| 650 | 4 | |a Embedded computer systems |v Congresses | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2002 |z Montreal |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kleinjohann, Bernd |e Sonstige |4 oth | |
| 711 | 2 | |a World Computer Congress |n 17 |d 2002 |c Montréal |j Sonstige |0 (DE-588)5542135-0 |4 oth | |
| 856 | 4 | |u http://www.loc.gov/catdir/toc/fy033/2002072766.html |3 Table of contents | |
| 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=009890602&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009890602 | ||
Record in the Search Index
| _version_ | 1804129323968364544 |
|---|---|
| adam_text | IMAGE 1
DESIGN AND ANALYSIS
OF DISTRIBUTED EMBEDDED SYSTEMS
IFIP 17 TH WORLD COMPUTER CONGRESS - TC10 STREAM ON DISTRIBUTED AND
PARALLEL EMBEDDED SYSTEMS (DIPES2002) AUGUST 25-29, 2002, MONTREAL,
QUEBEC, CANADA
EDITED BY
BERND KLEINJOHANN UNIVERSITY OF PADERBORN / C-LAB GERMANY
K.H. (KANE) KIM UNIVERSITY OF CALIFORNIA, IRVINE (UCI) USA
LISA KLEINJOHANN UNIVERSITY OF PADERBORN / C-LAB GERMANY -
ACHIM RETTBERG UNIVERSITY OF PADERBORN / C-LAB GERMANY
KLUWER ACADEMIC PUBLISHERS BOSTON / DORDRECHT / LONDON
IMAGE 2
CONTENTS
PREFACE IX
WORKSHOP ORGANIZATION XI
SESSION 1: MODELLING AND SPECIFICATION
CAN UML BE A SYSTEM-LEVEL LANGUAGE FOR EMBEDDED SOFTWARE? JOAO M.
FERNANDES, RICARDO J. MACHADO 1
PEARL FOR DISTRIBUTED EMBEDDED SYSTEMS ROMAN GUMZEJ, WOLFGANG A. HALANG
11
UNIVERSAL PLUG AND PLAY MACHINE MODELS UWE GLDSSER, MARGUS VEANES 21
SESSION 2: SPECIFICATION AND ANALYSIS
ANALYSIS OF EVENT-DRIVEN REAL-TIME SYSTEMS WITH TIME PETRI NETS: A
TRANSLATION-BASED APPROACH ZONGHUA GU, KANG G. SHIN 31
PETRI NET BASED DESIGN OF RECONFIGURABLE EMBEDDED REAL-TIME SYSTEMS
CARSTEN RUST, FRIEDHELM STAPPERT, REINHARD BERNHARDI-GRISSON 41
MODEL CHECKING ROBUSTNESS TO DESYNCHRONIZATION JEAN-PIERRE TALPIN 51
IMAGE 3
VI
SESSION 3: VERIFICATION AND VALIDATION
A SEMI-FORMAL METHOD TO VERIFY CORRECTNESS OF FUNCTIONAL REQUIREMENTS
SPECIFICATIONS OF COMPLEX SYSTEMS NIHAL KECECI, WOLFGANG A. HALANG,
ALAIN ABRAN 61
TOWARDS DESIGN VERIFICATION AND VALIDATION AT MULTIPLE LEVELS OF
ABSTRACTION HOLGER GIESE, MARTIN KARDOS, ULRICH NICKEL 71
MODELING AND VERIFICATION OF PIPELINED EMBEDDED PROCESSORS IN THE
PRESENCE OF HAZARDS AND EXCEPTIONS PRABHAT MISHRA, NIKIL DUTT 81
SESSION 4: FAULT TOLERANCE AND DETECTION
STATISTICAL ANALYSIS OF A HYBRID REPLICATION MODEL EMERSON ROGERIO DE
OLIVEIRA JUNIOR, INGRID JANSCH PORTO 91
BUILDING EMBEDDED FAULT-TOLERANT SYSTEMS FOR CRITICAL APPLICATIONS: AN
EXPERIMENTAL STUDY PAUL TOWNEND, JIE XU, MALCOLM MUNRO 101
FAULT DETECTION IN SAFETY-CRITICAL EMBEDDED SYSTEMS DOMEN VERBER, MATJAZ
COLNARIC, WOLFGANG A. HALANG 113
SESSION 5: MIDDLEWARE AND REUSE
DEPENDABILITY CHARACTERIZATION OF MIDDLEWARE SERVICES ERIC MARSDEN,
NICOLAS PERROT, JEAN-CHARLES FABRE, JEAN ARLAT 121
ADAPTIVE MIDDLEWARE FOR UBIQUITOUS COMPUTING ENVIRONMENTS STEVEN S. YOU,
FARIAZ KARIM 131
FINEGRAINED APPLICATION SPECIFIC CUSTOMIZATION OF EMBEDDED SOFTWARE
DANILO BEUCHE, OLAF SPINCZYK, WOLFGANG SCHRODER-PREIKSCHAT 141
IMAGE 4
VLL
SESSION 6: TIMING AND PERFORMANCE ANALYSIS
CHECKING THE TEMPORAL BEHAVIOUR OF DISTRIBUTED AND PARALLEL
EMBEDDED-SYSTEMS WOLFGANG A. HALANG, NIHAL KECECI, GRACE TSAI 153
TRANSFORMING EXECUTION-TIME BOUNDABLE CODE INTO TEMPORALLY PREDICTABLE
CODE PETER PUSCHNER 163
BOTTOM-UP PERFORMANCE ANALYSIS OF HW/SW PLATFORMS KAI RICHTER, DIRK
ZIEGENBEIN, MAREK JERSAK, ROLF ERNST 173
SESSION 7: PARTITIONING AND SCHEDULING
TEMPORAL PARTITIONING AND SEQUENCING OF DATAFLOW GRAPHS ON
RECONFIGURABLE SYSTEMS CHRISTOPHE BOBDA 185
INTEGRATION OF LOW POWER ANALYSIS INTO HIGH-LEVEL SYNTHESIS ACHIM
RETTBERG, BERND KLEINJOHANN, FRANZ J. RAMFNIG 195
GOING BEYOND DEADLINE-DRIVEN LOW-LEVEL SCHEDULING IN DISTRIBUTED
REAL-TIME COMPUTING SYSTEMS K. H. (KANE) KIM, JUQIANG LIU 205
SESSION 8: COMMUNICATION AND APPLICATION
IEEE-1394 A STANDARD TO INTERCONNECT DISTRIBUTED SYSTEMS ROMUALDO
SANTAMARIA 217
DETERMINISTIC AND HIGH-PERFORMANCE COMMUNICATION SYSTEM FOR THE
DISTRIBUTED CONTROL OF MECHATRONIC SYSTEMS USING THE IEEE 1394A M.
ZANELLA, T. LEHMANN, T. HESTERMEYER, A. POTTHARST 227
A CONSISTENT DESIGN METHODOLOGY FOR CONFIGURABLE HW/SW-INTERFACES IN
EMBEDDED SYSTEMS STEFAN IHMOR, MARKUS VISARIUS, WOLFRAM HARDT 237
LOW LATENCY COLOR SEGMENTATION ON EMBEDDED REAL-TIME SYSTEMS DIRK
STICKLING, BERND KLEINJOHANN 247
IMAGE 5
VIA
SESSION 9: DESIGN METHODS AND FRAMEWORKS
SOFT IP DESIGN FRAMEWORK USING METAPROGRAMMING TECHNIQUES VYTAUTAS
STUIKYS, ROBERTAS DAMASEVICIUS, GIEDRIUS ZIBERKAS, GIEDRIUS MAJAUSKAS
257
HOW TO INTEGRATE WEBSERVICES IN EMBEDDED SYSTEM DESIGN? ACHIM RETTBERG,
WOLFGANG THRONICKE 267
DESIGN AND REALIZATION OF DISTRIBUTED REAL-TIME CONTROLLERS FOR
MECHATRONIC SYSTEMS M. DEPPE, M. ZANELLA 277
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV014535968 |
| callnumber-first | J - Political Science |
| callnumber-label | JK146 |
| callnumber-raw | JK146 TK7895.E42 |
| callnumber-search | JK146 TK7895.E42 |
| callnumber-sort | JK 3146 |
| callnumber-subject | JK - United States |
| classification_rvk | ST 200 |
| ctrlnum | (OCoLC)50023718 (DE-599)BVBBV014535968 |
| dewey-full | 004/.36 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.36 |
| dewey-search | 004/.36 |
| dewey-sort | 14 236 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01968nam a2200445zc 4500</leader><controlfield tag="001">BV014535968</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030224 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020618s2002 xxuad|| |||| 10||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002072766</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402071566</subfield><subfield code="9">1-402-07156-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)50023718</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014535968</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">JK146</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7895.E42</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.36</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Design and analysis of distributed embedded systems</subfield><subfield code="b">IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada</subfield><subfield code="c">edited by Bernd Kleinjohann ... [et al.]</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">X, 286 S.</subfield><subfield code="b">Ill., graph. Darst.</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 286)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2002</subfield><subfield code="z">Montreal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kleinjohann, Bernd</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">World Computer Congress</subfield><subfield code="n">17</subfield><subfield code="d">2002</subfield><subfield code="c">Montréal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5542135-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/fy033/2002072766.html</subfield><subfield code="3">Table of contents</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=009890602&sequence=000003&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-009890602</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Montreal gnd-content |
| genre_facet | Konferenzschrift 2002 Montreal |
| id | DE-604.BV014535968 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:03:19Z |
| institution | BVB |
| institution_GND | (DE-588)5542135-0 |
| isbn | 1402071566 |
| language | English |
| lccn | 2002072766 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009890602 |
| oclc_num | 50023718 |
| open_access_boolean | |
| physical | X, 286 S. Ill., graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Kluwer Academic Publishers |
| record_format | marc |
| spelling | Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann ... [et al.] Boston Kluwer Academic Publishers 2002 X, 286 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (p. 286) Embedded computer systems Congresses Verteiltes System (DE-588)4238872-7 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Montreal gnd-content Eingebettetes System (DE-588)4396978-1 s Verteiltes System (DE-588)4238872-7 s DE-604 Kleinjohann, Bernd Sonstige oth World Computer Congress 17 2002 Montréal Sonstige (DE-588)5542135-0 oth http://www.loc.gov/catdir/toc/fy033/2002072766.html Table of contents GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009890602&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada Embedded computer systems Congresses Verteiltes System (DE-588)4238872-7 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)4396978-1 (DE-588)1071861417 |
| title | Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada |
| title_auth | Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada |
| title_exact_search | Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada |
| title_full | Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann ... [et al.] |
| title_fullStr | Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann ... [et al.] |
| title_full_unstemmed | Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann ... [et al.] |
| title_short | Design and analysis of distributed embedded systems |
| title_sort | design and analysis of distributed embedded systems ifip 17th world computer congress tc10 stream on distributed and parllel embedded systems dipes 2002 august 25 29 2002 montreal quebec canada |
| title_sub | IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada |
| topic | Embedded computer systems Congresses Verteiltes System (DE-588)4238872-7 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Embedded computer systems Congresses Verteiltes System Eingebettetes System Konferenzschrift 2002 Montreal |
| url | http://www.loc.gov/catdir/toc/fy033/2002072766.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009890602&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kleinjohannbernd designandanalysisofdistributedembeddedsystemsifip17thworldcomputercongresstc10streamondistributedandparllelembeddedsystemsdipes2002august25292002montrealquebeccanada AT worldcomputercongressmontreal designandanalysisofdistributedembeddedsystemsifip17thworldcomputercongresstc10streamondistributedandparllelembeddedsystemsdipes2002august25292002montrealquebeccanada |