Ebook: Distributed Embedded Systems: Design, Middleware and Resources
- Tags: System Performance and Evaluation, Operating Systems
- Series: IFIP – The International Federation for Information Processing 271
- Year: 2008
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
Content:
Front Matter....Pages I-XIII
Hierarchically Distributing Embedded Systems for Improved Autonomy....Pages 1-9
Sorting Units for FPGA-Based Embedded Systems....Pages 11-22
Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems....Pages 23-34
Specification-based Verification of Embedded Systems by Automated Test Case Generation....Pages 35-44
Analysis of Periodic Clock Relations in Polychronous Systems....Pages 45-56
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level....Pages 57-67
Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT....Pages 69-78
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables....Pages 79-88
The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures....Pages 89-100
On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems....Pages 101-110
Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors....Pages 111-120
Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems....Pages 121-130
A Power Model for Register-Sharing Structures....Pages 131-142
Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor....Pages 143-150
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements....Pages 151-160
TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor....Pages 161-170
Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems....Pages 171-180
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration....Pages 181-190
Handling QoS Dependencies in Distributed Cooperative Real-Time Systems....Pages 191-200
Topology-Aware Energy Efficient Task Assignment for Collaborative In-Network Processing in Distributed Sensor Systems....Pages 201-211
Data Partitioning Techniques for Partially Protected Caches to Reduce Soft Error Induced Failures....Pages 213-225
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit www.ifip.org.
Content:
Front Matter....Pages I-XIII
Hierarchically Distributing Embedded Systems for Improved Autonomy....Pages 1-9
Sorting Units for FPGA-Based Embedded Systems....Pages 11-22
Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems....Pages 23-34
Specification-based Verification of Embedded Systems by Automated Test Case Generation....Pages 35-44
Analysis of Periodic Clock Relations in Polychronous Systems....Pages 45-56
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level....Pages 57-67
Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT....Pages 69-78
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables....Pages 79-88
The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures....Pages 89-100
On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems....Pages 101-110
Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors....Pages 111-120
Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems....Pages 121-130
A Power Model for Register-Sharing Structures....Pages 131-142
Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor....Pages 143-150
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements....Pages 151-160
TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor....Pages 161-170
Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems....Pages 171-180
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration....Pages 181-190
Handling QoS Dependencies in Distributed Cooperative Real-Time Systems....Pages 191-200
Topology-Aware Energy Efficient Task Assignment for Collaborative In-Network Processing in Distributed Sensor Systems....Pages 201-211
Data Partitioning Techniques for Partially Protected Caches to Reduce Soft Error Induced Failures....Pages 213-225
....