Borrow it
- African Studies Library
- Alumni Medical Library
- Astronomy Library
- Fineman and Pappas Law Libraries
- Frederick S. Pardee Management Library
- Howard Gotlieb Archival Research Center
- Mugar Memorial Library
- Music Library
- Pikering Educational Resources Library
- School of Theology Library
- Science & Engineering Library
- Stone Science Library
The Resource 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, edited by Franz J. Rammig, (electronic resource)
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, edited by Franz J. Rammig, (electronic resource)
Resource Information
The item 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, edited by Franz J. Rammig, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item 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, edited by Franz J. Rammig, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
- Summary
- Embedded systems are becoming one of the major driving forces in computer science. Furthermore, it is the impact of embedded information technology that dictates the pace in most engineering domains. Nearly all technical products above a certain level of complexity are not only controlled but increasingly even dominated by their embedded computer systems. Traditionally, such embedded control systems have been implemented in a monolithic, centralized way. Recently, distributed solutions are gaining increasing importance. In this approach, the control task is carried out by a number of controllers distributed over the entire system and connected by some interconnect network, like fieldbuses. Such a distributed embedded system may consist of a few controllers up to several hundred, as in today's top-range automobiles. Distribution and parallelism in embedded systems design increase the engineering challenges and require new development methods and tools. This book is the result of the International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), organized by the International Federation for Information Processing (IFIP) Working Groups 10.3 (Concurrent Systems) and 10.5 (Design and Engineering of Electronic Systems). The workshop took place in October 1998 in Schloss Eringerfeld, near Paderborn, Germany, and the resulting book reflects the most recent points of view of experts from Brazil, Finland, France, Germany, Italy, Portugal, and the USA. The book is organized in six chapters: `Formalisms for Embedded System Design': IP-based system design and various approaches to multi-language formalisms. `Synthesis from Synchronous/Asynchronous Specification': Synthesis techniques based on Message Sequence Charts (MSC), StateCharts, and Predicate/Transition Nets. `Partitioning and Load-Balancing': Application in simulation models and target systems. <`Verification and Validation': Formal techniques for precise verification and more pragmatic approaches to validation. `Design Environments' for distributed embedded systems and their impact on the industrial state of the art. `Object Oriented Approaches': Impact of OO-techniques on distributed embedded systems. £/LIST£ This volume will be essential reading for computer science researchers and application developers
- Language
- eng
- Extent
- IX, 240 p.
- Contents
-
- 1 Formalisms for Embedded System Design
- IP-Centric Methodology and Specification Language
- Multilanguage Design
- 2 Synthesis from Synchronous/Asynchronous Specification
- From Synchronous Specifications to Asynchronous Distributed Implementations
- Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems
- From MSCS to Statecharts
- Software Synthesis from Statechart Models for Real Time Systems
- 3 Partitioning and Load-Balancing
- Combining Static Partitioning with Dynamic Distribution of Threads
- Distributed HIL-Simulation for the Design of Decentralised Control Structures
- Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine
- Agent-Based Load Balancing for Mobile Robot Applications
- 4 Verification and Validation
- Comparing Model Checking and Term Rewriting for the Verification of an Embedded System
- Microscopic Modeling of Support System for In-Vehicle Embedded Systems
- Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors
- Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPs
- 5 Design Environments
- The DASE Tool: An Environment for the Development of Real-Time Applications
- Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems
- MCI — Multilanguage Distributed Co-Simulation Tool
- 6 Object Oriented Approaches
- Rapid Prototyping of Distributed Mechatronic Applications
- An 00 Based Methodology for Real-Time HW/SW Systems Modeling
- Modeling Distributed State as an Abstract Object
- Design Rationale of the PURE Object-Oriented Embedded Operating System
- Isbn
- 9780387355702
- Label
- 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
- Distributed and Parallel Embedded Systems
- Title remainder
- IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October 5–6, 1998, Schloß Eringerfeld, Germany
- Statement of responsibility
- edited by Franz J. Rammig
- Language
- eng
- Summary
- Embedded systems are becoming one of the major driving forces in computer science. Furthermore, it is the impact of embedded information technology that dictates the pace in most engineering domains. Nearly all technical products above a certain level of complexity are not only controlled but increasingly even dominated by their embedded computer systems. Traditionally, such embedded control systems have been implemented in a monolithic, centralized way. Recently, distributed solutions are gaining increasing importance. In this approach, the control task is carried out by a number of controllers distributed over the entire system and connected by some interconnect network, like fieldbuses. Such a distributed embedded system may consist of a few controllers up to several hundred, as in today's top-range automobiles. Distribution and parallelism in embedded systems design increase the engineering challenges and require new development methods and tools. This book is the result of the International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), organized by the International Federation for Information Processing (IFIP) Working Groups 10.3 (Concurrent Systems) and 10.5 (Design and Engineering of Electronic Systems). The workshop took place in October 1998 in Schloss Eringerfeld, near Paderborn, Germany, and the resulting book reflects the most recent points of view of experts from Brazil, Finland, France, Germany, Italy, Portugal, and the USA. The book is organized in six chapters: `Formalisms for Embedded System Design': IP-based system design and various approaches to multi-language formalisms. `Synthesis from Synchronous/Asynchronous Specification': Synthesis techniques based on Message Sequence Charts (MSC), StateCharts, and Predicate/Transition Nets. `Partitioning and Load-Balancing': Application in simulation models and target systems. <`Verification and Validation': Formal techniques for precise verification and more pragmatic approaches to validation. `Design Environments' for distributed embedded systems and their impact on the industrial state of the art. `Object Oriented Approaches': Impact of OO-techniques on distributed embedded systems. £/LIST£ This volume will be essential reading for computer science researchers and application developers
- http://library.link/vocab/creatorName
- Rammig, Franz J
- Image bit depth
- 0
- LC call number
- TA345-345.5
- Literary form
- non fiction
- http://library.link/vocab/relatedWorkOrContributorName
- SpringerLink
- Series statement
- IFIP — The International Federation for Information Processing,
- Series volume
- 25
- http://library.link/vocab/subjectName
-
- Computer science
- Data structures (Computer science)
- Electronic data processing
- Computer aided design
- Computer Science
- Computer-Aided Engineering (CAD, CAE) and Design
- Processor Architectures
- Data Structures, Cryptology and Information Theory
- Computing Methodologies
- Label
- 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, edited by Franz J. Rammig, (electronic resource)
- Antecedent source
- mixed
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- not applicable
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- 1 Formalisms for Embedded System Design -- IP-Centric Methodology and Specification Language -- Multilanguage Design -- 2 Synthesis from Synchronous/Asynchronous Specification -- From Synchronous Specifications to Asynchronous Distributed Implementations -- Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems -- From MSCS to Statecharts -- Software Synthesis from Statechart Models for Real Time Systems -- 3 Partitioning and Load-Balancing -- Combining Static Partitioning with Dynamic Distribution of Threads -- Distributed HIL-Simulation for the Design of Decentralised Control Structures -- Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine -- Agent-Based Load Balancing for Mobile Robot Applications -- 4 Verification and Validation -- Comparing Model Checking and Term Rewriting for the Verification of an Embedded System -- Microscopic Modeling of Support System for In-Vehicle Embedded Systems -- Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors -- Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPs -- 5 Design Environments -- The DASE Tool: An Environment for the Development of Real-Time Applications -- Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems -- MCI — Multilanguage Distributed Co-Simulation Tool -- 6 Object Oriented Approaches -- Rapid Prototyping of Distributed Mechatronic Applications -- An 00 Based Methodology for Real-Time HW/SW Systems Modeling -- Modeling Distributed State as an Abstract Object -- Design Rationale of the PURE Object-Oriented Embedded Operating System
- Dimensions
- unknown
- Extent
- IX, 240 p.
- File format
- multiple file formats
- Form of item
- electronic
- Isbn
- 9780387355702
- Level of compression
- uncompressed
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-0-387-35570-2
- Other physical details
- online resource.
- Quality assurance targets
- absent
- Reformatting quality
- access
- Specific material designation
- remote
- System control number
- (DE-He213)978-0-387-35570-2
- Label
- 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, edited by Franz J. Rammig, (electronic resource)
- Antecedent source
- mixed
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- not applicable
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- 1 Formalisms for Embedded System Design -- IP-Centric Methodology and Specification Language -- Multilanguage Design -- 2 Synthesis from Synchronous/Asynchronous Specification -- From Synchronous Specifications to Asynchronous Distributed Implementations -- Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems -- From MSCS to Statecharts -- Software Synthesis from Statechart Models for Real Time Systems -- 3 Partitioning and Load-Balancing -- Combining Static Partitioning with Dynamic Distribution of Threads -- Distributed HIL-Simulation for the Design of Decentralised Control Structures -- Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine -- Agent-Based Load Balancing for Mobile Robot Applications -- 4 Verification and Validation -- Comparing Model Checking and Term Rewriting for the Verification of an Embedded System -- Microscopic Modeling of Support System for In-Vehicle Embedded Systems -- Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors -- Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPs -- 5 Design Environments -- The DASE Tool: An Environment for the Development of Real-Time Applications -- Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems -- MCI — Multilanguage Distributed Co-Simulation Tool -- 6 Object Oriented Approaches -- Rapid Prototyping of Distributed Mechatronic Applications -- An 00 Based Methodology for Real-Time HW/SW Systems Modeling -- Modeling Distributed State as an Abstract Object -- Design Rationale of the PURE Object-Oriented Embedded Operating System
- Dimensions
- unknown
- Extent
- IX, 240 p.
- File format
- multiple file formats
- Form of item
- electronic
- Isbn
- 9780387355702
- Level of compression
- uncompressed
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-0-387-35570-2
- Other physical details
- online resource.
- Quality assurance targets
- absent
- Reformatting quality
- access
- Specific material designation
- remote
- System control number
- (DE-He213)978-0-387-35570-2
Subject
- Computer aided design
- Computer science
- Computer-Aided Engineering (CAD, CAE) and Design
- Computing Methodologies
- Data Structures, Cryptology and Information Theory
- Data structures (Computer science)
- Electronic data processing
- Electronic resources
- Processor Architectures
- Computer Science
Member of
Library Locations
-
African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 -71.108227
-
-
Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 -71.105717
-
Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 -71.107023
-
Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 -71.099547
-
Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 -71.108227
-
-
Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 -71.108227
-
Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 -71.101425
-
School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 -71.107235
-
Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 -71.102257
-
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Distributed-and-Parallel-Embedded-Systems--IFIP/WtK9xSwpyYY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Distributed-and-Parallel-Embedded-Systems--IFIP/WtK9xSwpyYY/">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, edited by Franz J. Rammig, (electronic resource)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item 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, edited by Franz J. Rammig, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Distributed-and-Parallel-Embedded-Systems--IFIP/WtK9xSwpyYY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Distributed-and-Parallel-Embedded-Systems--IFIP/WtK9xSwpyYY/">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, edited by Franz J. Rammig, (electronic resource)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>