Distributed and parallel embedded systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Boston [u.a.]
Kluwer
1999
|
| Series: | International Federation for Information Processing: International Federation for Information Processing
25 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 240 S. Ill., graph. Darst. |
| ISBN: | 0792386140 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012884109 | ||
| 003 | DE-604 | ||
| 005 | 20010423 | ||
| 007 | t| | ||
| 008 | 991201s1999 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0792386140 |9 0-7923-8614-0 | ||
| 035 | |a (OCoLC)41932456 | ||
| 035 | |a (DE-599)BVBBV012884109 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G | ||
| 050 | 0 | |a QA76.9.D5 | |
| 082 | 0 | |a 004/.36 |2 21 | |
| 084 | |a DAT 516f |2 stub | ||
| 245 | 1 | 0 | |a Distributed and parallel embedded systems |b IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany |c ed. by Franz J. Rammig |
| 246 | 1 | 3 | |a DIPES'98 |
| 246 | 1 | 3 | |a DIPES '98 |
| 264 | 1 | |a Boston [u.a.] |b Kluwer |c 1999 | |
| 300 | |a VIII, 240 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a International Federation for Information Processing: International Federation for Information Processing |v 25 | |
| 650 | 4 | |a Parallélisme (Informatique) - Congrès | |
| 650 | 4 | |a Systèmes enfouis (Informatique) - Congrès | |
| 650 | 4 | |a Traitement réparti - Congrès | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing |v Congresses | |
| 650 | 4 | |a Embedded computer systems |v Congresses | |
| 650 | 4 | |a Parallel processing (Electronic computers) |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Rammig, Franz Josef |d 1947- |e Sonstige |0 (DE-588)104493350X |4 oth | |
| 711 | 2 | |a International Workshop on Distributed and Parallel Embedded Systems |d 1998 |c Eringerfeld |j Sonstige |0 (DE-588)1243662-8 |4 oth | |
| 830 | 0 | |a International Federation for Information Processing: International Federation for Information Processing |v 25 |w (DE-604)BV012919129 |9 25 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008770483&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008770483 | |
Record in the Search Index
| _version_ | 1820882406464290816 |
|---|---|
| adam_text |
Contents
Preface
.
vii
Workshop
Committee
. ix
1
Formalisms for Embedded System Design
IP-Centric Methodology and Specification Language
Daniel
D
.
Gajski,
Rainer
Dömer
and Jianwen Zhu
. 3
Multilanguage Design
Bernd Kleinjohann . 23
2
Synthesis from Synchronous/Asynchronous Specification
From Synchronous Specifications to Asynchronous Distributed
Implementations
Peter
Scholz. 39
Using Extended Predicate/Transition-Nets for the Specification, Analysis and
Synthesis of Embedded
Real-Time
Systems
Jürgen Tacken . 51
From MSCs to
Statecharts
Ingolf
Krüger,
Radu Grošu,
Peter Scholz
and Manfred Broy
. 61
Software Synthesis from
Statechart
Models for Real Time Systems
Claude Ackad
. 73
3
Partitioning and Load-Balancing
Combining Static Partitioning with Dynamic Distribution of Threads
Ronald Moore,
Melanie Klang, Bernd Klauer
and Klaus
Waldschmidt . 85
Distributed HIL-Simulation for the Design of Decentralised Control Structures
Ralf Stolpe
and Oliver
Oberschelp
. 97
Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture
Machine
Mauro
Cesar
Zanella
and
Ralf Stolpe. 107
Agent-Based Load Balancing for Mobile Robot Applications
Ralf Kluthe,
Wolfgang
Obelöer
and
Claus Grewe . 117
4
Verification and Validation
Comparing Model Checking and Term Rewriting for the Verification of an
Embedded System
Klaus Schneider and
Michaela Huhn. 129
Microscopic Modeling of Support System for In-Vehicle Embedded Systems
M. Courrier, F.
Simonot-Lion and Y.Q. Song
. 139
VI
Extended SDL-based Tools for Rapid Prototyping of Application Specific
Signal Processors
Philippe
Leblanc
and
Jean-Luc Roux
. 149
Block Diagram Based Real-Time Simulation on a Network of Alpha
Processors and C40 DSPs
Ulrich
Kijf meier
and Michael
Beine.
157
5
Design Environments
The
DASE
Tool: An Environment for the Development of Real-Time
Applications
Marco
Di Natale
and
A. Domenici
. 169
Paradise: Design Environment for Parallel
&
Distributed, Embedded
Real-Time Systems
W.
Hardt,
P.
Altenbernd,
С.
Böke,
G.
Del Castillo,
С.
Ditze,
E.
Erpenbach,
U.
Glässer,
В.
Kleinjohann,
G.
Lehrenfeld, F.
J.
Rammig,
С.
Rust,
F. Stappert,
J.
Stroop
and J.
Tacken. 181
MCI
- Multilanguage
Distributed Co-Simulation Tool
F. Hessel, P. Le
Marrec, C. A. Valderrama, M. Romdhani and A. A.
Jerraya
. 191
6
Object Oriented Approaches
Rapid Prototyping of Distributed Mechatronic Applications
Markus
Deppe and
Carsten Homburg. 203
An OO Based Methodology for
Real-Time HW/SW
Systems Modeling
O.P. Dias,
I.M.Teixeira, J.P.
Teixeira
and
CE. Pereira.
213
Modeling Distributed State as an Abstract Object
Periti
Kellomäki
and Tommi Mikkonen
. 223
Design Rationale of the PURE Object-Oriented Embedded Operating System
Friedrich Schön,
Wolfgang
Schröder-Preikschat, OlafSpinczyk
and
Ute
Spinczyk
. 231 |
| any_adam_object | 1 |
| author_GND | (DE-588)104493350X |
| building | Verbundindex |
| bvnumber | BV012884109 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D5 |
| callnumber-search | QA76.9.D5 |
| callnumber-sort | QA 276.9 D5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1998 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)41932456 (DE-599)BVBBV012884109 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV012884109</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010423</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">991201s1999 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792386140</subfield><subfield code="9">0-7923-8614-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)41932456</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012884109</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D5</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">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Distributed and parallel embedded systems</subfield><subfield code="b">IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany</subfield><subfield code="c">ed. by Franz J. Rammig</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">DIPES'98</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">DIPES '98</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 240 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="490" ind1="1" ind2=" "><subfield code="a">International Federation for Information Processing: International Federation for Information Processing</subfield><subfield code="v">25</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallélisme (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes enfouis (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Traitement réparti - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="v">Congresses</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=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rammig, Franz Josef</subfield><subfield code="d">1947-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)104493350X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Distributed and Parallel Embedded Systems</subfield><subfield code="d">1998</subfield><subfield code="c">Eringerfeld</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1243662-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">International Federation for Information Processing: International Federation for Information Processing</subfield><subfield code="v">25</subfield><subfield code="w">(DE-604)BV012919129</subfield><subfield code="9">25</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=008770483&sequence=000002&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-008770483</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012884109 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:06:23Z |
| institution | BVB |
| institution_GND | (DE-588)1243662-8 |
| isbn | 0792386140 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008770483 |
| oclc_num | 41932456 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM |
| owner_facet | DE-739 DE-91G DE-BY-TUM |
| physical | VIII, 240 S. Ill., graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Kluwer |
| record_format | marc |
| series | International Federation for Information Processing: International Federation for Information Processing |
| series2 | International Federation for Information Processing: International Federation for Information Processing |
| spelling | Distributed and parallel embedded systems IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany ed. by Franz J. Rammig DIPES'98 DIPES '98 Boston [u.a.] Kluwer 1999 VIII, 240 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier International Federation for Information Processing: International Federation for Information Processing 25 Parallélisme (Informatique) - Congrès Systèmes enfouis (Informatique) - Congrès Traitement réparti - Congrès Datenverarbeitung Electronic data processing Distributed processing Congresses Embedded computer systems Congresses Parallel processing (Electronic computers) Congresses (DE-588)1071861417 Konferenzschrift gnd-content Rammig, Franz Josef 1947- Sonstige (DE-588)104493350X oth International Workshop on Distributed and Parallel Embedded Systems 1998 Eringerfeld Sonstige (DE-588)1243662-8 oth International Federation for Information Processing: International Federation for Information Processing 25 (DE-604)BV012919129 25 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008770483&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Distributed and parallel embedded systems IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany International Federation for Information Processing: International Federation for Information Processing Parallélisme (Informatique) - Congrès Systèmes enfouis (Informatique) - Congrès Traitement réparti - Congrès Datenverarbeitung Electronic data processing Distributed processing Congresses Embedded computer systems Congresses Parallel processing (Electronic computers) Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Distributed and parallel embedded systems IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany |
| title_alt | DIPES'98 DIPES '98 |
| title_auth | Distributed and parallel embedded systems IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany |
| title_exact_search | Distributed and parallel embedded systems IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany |
| title_full | Distributed and parallel embedded systems IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany ed. by Franz J. Rammig |
| title_fullStr | Distributed and parallel embedded systems IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany ed. by Franz J. Rammig |
| title_full_unstemmed | Distributed and parallel embedded systems IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany ed. by Franz J. Rammig |
| title_short | Distributed and parallel embedded systems |
| title_sort | distributed and parallel embedded systems ifip wg10 3 wg10 5 international workshop on distributed and parallel embedded systems dipes 98 october 5 6 1998 schloß eringerfeld germany |
| title_sub | IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5 - 6, 1998, Schloß Eringerfeld, Germany |
| topic | Parallélisme (Informatique) - Congrès Systèmes enfouis (Informatique) - Congrès Traitement réparti - Congrès Datenverarbeitung Electronic data processing Distributed processing Congresses Embedded computer systems Congresses Parallel processing (Electronic computers) Congresses |
| topic_facet | Parallélisme (Informatique) - Congrès Systèmes enfouis (Informatique) - Congrès Traitement réparti - Congrès Datenverarbeitung Electronic data processing Distributed processing Congresses Embedded computer systems Congresses Parallel processing (Electronic computers) Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008770483&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012919129 |
| work_keys_str_mv | AT rammigfranzjosef distributedandparallelembeddedsystemsifipwg103wg105internationalworkshopondistributedandparallelembeddedsystemsdipes98october561998schloßeringerfeldgermany AT internationalworkshopondistributedandparallelembeddedsystemseringerfeld distributedandparallelembeddedsystemsifipwg103wg105internationalworkshopondistributedandparallelembeddedsystemsdipes98october561998schloßeringerfeldgermany AT rammigfranzjosef dipes98 AT internationalworkshopondistributedandparallelembeddedsystemseringerfeld dipes98 |