Design methods and applications for distributed embedded systems : IFIP 18th World Computer Congress : TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22 - 27 August 2004, Toulouse, France
Author(s)
Bibliographic Information
Design methods and applications for distributed embedded systems : IFIP 18th World Computer Congress : TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22 - 27 August 2004, Toulouse, France
(The International Federation for Information Processing, 150)
Kluwer Academic, c2004
Available at 1 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references
Description and Table of Contents
Description
The IFIP TC-10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) brings together experts from industry and academia to discuss recent developments in this important and growing field in the splendid city of Toulouse, France. The ever decreasing price/performance ratio of microcontrollers makes it economically attractive to replace more and more conventional mechanical or electronic control systems within many products by embedded real-time computer systems. An embedded real-time computer system is always part of a well-specified larger system, which we call an intelligent product. Although most intelligent products start out as stand-alone units, many of them are required to interact with other systems at a later stage. At present, many industries are in the middle of this transition from stand-alone products to networked embedded systems. This transition requires reflection and architecting: The complexity of the evolving distributed artifact can only be controlled, if careful planning and principled design methods replace the - hoc engineering of the first version of many standalone embedded products.
Table of Contents
Modelling and Specification.- MDA Platform for Complex Embedded Systems Development.- On Detecting Deadlocks in Large UML Models.- Verification Framework for UML-Based Design of Embedded Systems.- Verification and Analysis.- LTL’s Intuitive Representations and Its Automaton Translation.- Modeling and Verification of Hybrid Systems Based on Equations.- Distribution of Time Interval Between Successive Interrupt Requests.- Fault Detection and Toleration.- A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults.- Temporal Bounds for TTA : Validation.- An Active Replication Scheme That Tolerates Failures in Distributed Embedded Real-Time Systems.- Automotive and Mechatronic Systems Design.- Development of Distributed Automotive Software.- Experiences from Model Based Development of Drive-By-Wire Control Systems.- Hardware Design and Protocol Specification for the Control and Communication Within a Mechatronic System.- Networks and Communication.- A Decentralized Self-Organized Approach for Wireless Sensor Networks.- A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks.- Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments.- Scheduling and Resource Management.- A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems.- Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions.- Flexible Resource Management.- Hardware Architectures and Synthesis.- Automatic Synthesis of SystemC-Code from Formal Specifications.- Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification.- A Self-Controlled and Dynamically Reconfigurable Architecture.- Design Space Exploration.- Profiling Specification PearlDesigns.- A Multiobjective Tabu Search Algorithm for The Design Space Exploration of Embedded Systems.- Design Space Exploration with Automatic Generation of IP-Based Embedded Software.- Design Methodologies and User Interfaces.- A Multi-Level Design Pattern for Embedded Software.- A Petri Net Approach for The Design of Dynamically Modifiable Embedded Systems.- Internet Premium Services for Flexible Format Distributed Devices.- Short Papers.- Evaluating High-Level Models for Real Time Embedded Systems Design.- A Dataflow Language (AVON) as an Architecture Description Language (ADL).- Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines.- The Implications of Real-Time Behavior in Networks-on-Chip Architectures.- ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA.
by "Nielsen BookData"