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

by Rettberg, Achim; Zanella, Mauro C.; Amann, Michael

• ISBN13: 9783642042836
• ISBN10: 364204283X
• Edition: 1st
• Format: Hardcover
• Copyright: 2009-10-01
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, held in Langenargen, Germany, in September 2009.The 28 revised papers were selected from 46 submissions. The papers are organized in topical sections on modelling; transaction level modelling; scheduling and real-time systems; simulation, verification and test; platforms and processors; automotive systems; and wireless sensor networks. The volume also includes three case studies and two tutorials.

Table of Contents

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