Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Front Matter....Pages -
State Machine Based Method for Consolidating Vehicle Data....Pages 1-11
Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation....Pages 12-23
Modelling of Device Driver Software by Reflection of the Device Hardware Structure....Pages 24-31
An Infrastructure for UML-Based Code Generation Tools....Pages 32-43
A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance....Pages 44-56
ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs....Pages 57-65
Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support....Pages 66-76
Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices....Pages 77-88
Modeling Cache Effects at the Transaction Level....Pages 89-101
Event Stream Calculus for Schedulability Analysis....Pages 102-114
Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms....Pages 115-126
Task-Dependent Processor Shutdown for Hard Real-Time Systems....Pages 127-138
Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects....Pages 139-148
Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling....Pages 149-158
Formal Verification for Embedded Systems Design Based on MDE....Pages 159-170
Systematic Model-in-the-Loop Test of Embedded Control Systems....Pages 171-184
Proteus, a Hybrid Virtualization Platform for Embedded Systems....Pages 185-194
Constructing a Multi-OS Platform with Minimal Engineering Cost....Pages 195-206
A Synchronization Method for Register Traces of Pipelined Processors....Pages 207-217
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study....Pages 218-225
Automatic Transformation of System Models in Automotive Electronics....Pages 226-237
Towards a Load Balancing Middleware for Automotive Infotainment Systems....Pages 238-249
Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks....Pages 250-258
A Hybrid Hardware and Software Component Architecture for Embedded System Design....Pages 259-270
Low–Level Space Optimization of an AES Implementation for a Bit–Serial Fully Pipelined Architecture....Pages 271-278
The Case for Interpreted Languages in Sensor Networks....Pages 279-289
Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard....Pages 290-301
FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks....Pages 302-309
Efficient Modeling of Embedded Systems Using Computer-Aided Recoding....Pages 310-311
New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies....Pages 312-313
Back Matter....Pages -