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 Cover
Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig
Springer Science & Business Media, Sep 4, 2009 - Computers - 315 pages
This book presents the technical program of the International Embedded Systems Symposium (IESS) 2009. Timely topics, techniques and trends in embedded system design are covered by the chapters in this volume, including modelling, simulation, verification, test, scheduling, platforms and processors. Particular emphasis is paid to automotive systems and wireless sensor networks. Sets of actual case studies in the area of embedded system design are also included. Over recent years, embedded systems have gained an enormous amount of proce- ing power and functionality and now enter numerous application areas, due to the fact that many of the formerly external components can now be integrated into a single System-on-Chip. This tendency has resulted in a dramatic reduction in the size and cost of embedded systems. As a unique technology, the design of embedded systems is an essential element of many innovations. Embedded systems meet their performance goals, including real-time constraints, through a combination of special-purpose hardware and software components tailored to the system requirements. Both the development of new features and the reuse of existing intellectual property components are essential to keeping up with ever more demanding customer requirements. Furthermore, design complexities are steadily growing with an increasing number of components that have to cooperate properly. Embedded system designers have to cope with multiple goals and constraints simul- neously, including timing, power, reliability, dependability, maintenance, packaging and, last but not least, price.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

State Machine Based Method for Consolidating Vehicle Data
1
Automatic HWSW Interface Modeling for ScratchPad and Memory Mapped HW Components in Native SourceCode Cosimulation
12
Modelling of Device Driver Software by Reflection of the Device Hardware Structure
24
An Infrastructure for UMLBased Code Generation Tools
32
A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance
44
A New Approach towards Effective Abstraction of CBased SLDLs
57
Automatic Generation of CycleApproximate TLMs with Timed RTOS Model Support
66
Transaction Level Modeling of BestEffort Channels for Networked Embedded Devices
77
Proteus a Hybrid Virtualization Platform for Embedded Systems
185
Constructing a MultiOS Platform with Minimal Engineering Cost
195
A Synchronization Method for Register Traces of Pipelined Processors
207
Development of Automotive Communication Based RealTime Systems A SteerbyWire Case Study
218
Automatic Transformation of System Models in Automotive Electronics
226
Towards a Load Balancing Middleware for Automotive Infotainment Systems
238
Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks
250
A Hybrid Hardware and Software Component Architecture for Embedded System Design
259

Modeling Cache Effects at the Transaction Level
89
Event Stream Calculus for Schedulability Analysis
102
RealTime Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms
115
TaskDependent Processor Shutdown for Hard RealTime Systems
127
Experimental Evaluation of a Hybrid Approach for Deriving ServiceTime Bounds of Methods in RealTime Distributed Computing Objects
139
Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling
149
Formal Verification for Embedded Systems Design Based on MDE
159
Systematic ModelintheLoop Test of Embedded Control Systems
171
LowLevel Space Optimization of an AES Implementation for a BitSerial Fully Pipelined Architecture
271
The Case for Interpreted Languages in Sensor Networks
279
A Case Study on IEEE 802154 Standard
290
Reconfigurable and Customizable Architecture for Wireless Sensor Networks
302
Efficient Modeling of Embedded Systems Using ComputerAided Recoding
310
New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies
312
Author Index
314
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information