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

Marc Notes: Avail. in electronic form; Title from title page of source document.; IFIP advances in information and communicaiton technology;310--Front matter, P. [i].; Includes bibliographical references and index. Table of Contents: Modelling -- State Machine Based Method for Consolidating Vehicle Data / Florian Dittmann, Konstantina Geramani, Victor FAler, Sergio Damiani -- Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation / HEctor Posadas, Eugenio Villar -- Modelling of Device Driver Software by Reflection of the Device Hardware Structure / Thomas Lehmann -- An Infrastructure for UML-Based Code Generation Tools / Marco A. Wehrmeister, Edison P. Freitas, Carlos E. Pereira -- A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance / Ines Viskic, Rainer DOmer -- ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs / Weiwei Chen, Rainer DOmer -- Transaction Level Modelling -- Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support / Yonghyun Hwang, Gunar Schirner, Samar Abdi -- Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices / Amal Banerjee, Andreas Gerstlauer -- Modeling Cache Effects at the Transaction Level / Ardavan Pedram, David Craven, Andreas Gerstlauer -- Scheduling and Real-Time Systems -- Event Stream Calculus for Schedulability Analysis / Karsten Albers, Frank Slomka -- Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms / Mohammad Reza Miryani, Mahmoud Naghibzadeh -- Task-Dependent Processor Shutdown for Hard Real-Time Systems / Henrik Lipskoch, Frank Slomka -- Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects / Juan A. Colmenares, K. H. (Kane) Kim, Doo-Hyun Kim -- Simulation, Verification and Test -- Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling / Rauf Salimi Khaligh, Martin Radetzki -- Formal Verification for Embedded Systems Design Based on MDE / Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, FlAvio Rech Wagner -- Systematic Model-in-the-Loop Test of Embedded Control Systems / Alexander Krupp, Wolfgang MUller -- Platforms and Processors -- Proteus, a Hybrid Virtualization Platform for Embedded Systems / Daniel Baldin, Timo Kerstan -- Constructing a Multi-OS Platform with Minimal Engineering Cost / Yuki Kinebuchi, Takushi Morita, Kazuo Makijima, Midori Sugaya, Tatsuo Nakajima -- A Synchronization Method for Register Traces of Pipelined Processors / Ralf Dreesen, Thorsten Jungeblut, Michael Thies, Mario Porrmann, Uwe Kastens, Ulrich RUckert -- Automotive Systems -- Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study / Kay Klobedanz, Christoph Kuznik, Ahmed Elfeky, Wolfgang MUller -- Automatic Transformation of System Models in Automotive Electronics / Ralph GOrgen, Jan-Hendrik Oetjens, Jan Freuer, Wolfgang Nebel -- Towards a Load Balancing Middleware for Automotive Infotainment Systems / Yara Khaluf, Achim Rettberg -- Case Studies -- Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks / Ina Podolski, Achim Rettberg -- A Hybrid Hardware and Software Component Architecture for Embedded System Design / Hugo Marcondes, AntOnio Augusto FrOhlich -- Low-Level Space Optimization of an AES Implementation for a Bit-Serial Fully Pipelined Architecture / Raphael Weber, Achim Rettberg -- Wireless Sensor Networks -- The Case for Interpreted Languages in Sensor Networks / Leonardo Steinfeld, Luigi Carro -- Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard / Jeferson L. R. Souza, JosE Rufino -- FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks / Rodrigo Schmidt Allgayer, Marcelo GOtz, Carlos Eduardo Pereira -- Tutorials -- Efficient Modeling of Embedded Systems Using Computer-Aided Recoding / Rainer DOmer -- New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies / Luigi Carro, Carlos Arthur Lang Lisboa -- Author Index. Publisher Marketing: 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.