| Modelling |
| State Machine Based Method for Consolidating Vehicle Data / Florian Dittmann ; Konstantina Geramani ; Victor Fäßler ; Sergio Damiani |
| Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation / Héctor 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 Dömer |
| ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs / Weiwei Chen |
| 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 |
| 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 |
| 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 ; Flávio Rech Wagner |
| Systematic Model-in-the-Loop Test of Embedded Control Systems / Alexander Krupp ; Wolfgang Müller |
| 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 Rückert |
| Automotive Systems |
| Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study / Kay Klobedanz ; Christoph Kuznik ; Ahmed Elfeky |
| Automatic Transformation of System Models in Automotive Electronics / Ralph Görgen ; 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 |
| A Hybrid Hardware and Software Component Architecture for Embedded System Design / Hugo Marcondes ; Antônio Augusto Fröhlich |
| Low-Level Space Optimization of an AES Implementation for a Bit-Serial Fully Pipelined Architecture / Raphael Weber |
| 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 ; José Rufino |
| FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks / Rodrigo Schmidt Allgayer ; Marcelo Götz ; Carlos Eduardo Pereira |
| Tutorials |
| Efficient Modeling of Embedded Systems Using Computer-Aided Recoding |
| New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies / Carlos Arthur Lang Lisboa |
| Author Index |
| Modelling |
| State Machine Based Method for Consolidating Vehicle Data / Florian Dittmann ; Konstantina Geramani ; Victor Fäßler ; Sergio Damiani |
| Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation / Héctor 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 Dömer |
