Home » PDF & EBook » Book » 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
New Added
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
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
Original Title
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
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: Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg Published by Springer US ISBN: 978-1-4020-8148-4 DOI: 10.1007/b98982
Table of Contents:
MDA Platform for Complex Embedded Systems Development
On Detecting Deadlocks in Large UML Models
Verification Framework for UML-Based Design of Embedded Systems
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
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
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
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
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
Automatic Synthesis of SystemC-Code from Formal Specifications
Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification
