Skip to main content
SpringerLink
Log in

Analysis, Architectures and Modelling of Embedded Systems

Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Achim Rettberg

    1. Carl v. Ossietzky University Oldenburg, OFFIS,, Oldenburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mauro C. Zanella

    1. ZF Friedrichshafen AG, Friedrichshafen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Amann

    1. ZF Friedrichshafen AG, Friedrichshafen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Keckeisen

    1. ZF Friedrichshafen AG, Friedrichshafen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Franz J. Rammig

    1. University of Paderborn, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 310)

Included in the following conference series:

Conference proceedings info: IESS 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Download chapter PDF

  2. Modelling

    1. State Machine Based Method for Consolidating Vehicle Data

      • Florian Dittmann, Konstantina Geramani, Victor Fäßler, Sergio Damiani
      Pages 1-11

    2. Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation

      • Héctor Posadas, Eugenio Villar
      Pages 12-23

    3. Modelling of Device Driver Software by Reflection of the Device Hardware Structure

      • Thomas Lehmann
      Pages 24-31

    4. An Infrastructure for UML-Based Code Generation Tools

      • Marco A. Wehrmeister, Edison P. Freitas, Carlos E. Pereira
      Pages 32-43

    5. A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance

      • Ines Viskic, Rainer Dömer
      Pages 44-56

    6. ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs

      • Weiwei Chen, Rainer Dömer
      Pages 57-65

  3. Transaction Level Modelling

    1. Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support

      • Yonghyun Hwang, Gunar Schirner, Samar Abdi
      Pages 66-76

    2. Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices

      • Amal Banerjee, Andreas Gerstlauer
      Pages 77-88

    3. Modeling Cache Effects at the Transaction Level

      • Ardavan Pedram, David Craven, Andreas Gerstlauer
      Pages 89-101

  4. Scheduling and Real-Time Systems

    1. Event Stream Calculus for Schedulability Analysis

      • Karsten Albers, Frank Slomka
      Pages 102-114

    2. Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms

      • Mohammad Reza Miryani, Mahmoud Naghibzadeh
      Pages 115-126

    3. Task-Dependent Processor Shutdown for Hard Real-Time Systems

      • Henrik Lipskoch, Frank Slomka
      Pages 127-138

    4. 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
      Pages 139-148

  5. Simulation, Verification and Test

    1. Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling

      • Rauf Salimi Khaligh, Martin Radetzki
      Pages 149-158

    2. Formal Verification for Embedded Systems Design Based on MDE

      • Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner
      Pages 159-170

    3. Systematic Model-in-the-Loop Test of Embedded Control Systems

      • Alexander Krupp, Wolfgang Müller
      Pages 171-184

  6. Platforms and Processors

    1. Proteus, a Hybrid Virtualization Platform for Embedded Systems

      • Daniel Baldin, Timo Kerstan
      Pages 185-194

    2. Constructing a Multi-OS Platform with Minimal Engineering Cost

      • Yuki Kinebuchi, Takushi Morita, Kazuo Makijima, Midori Sugaya, Tatsuo Nakajima
      Pages 195-206

    3. A Synchronization Method for Register Traces of Pipelined Processors

      • Ralf Dreesen, Thorsten Jungeblut, Michael Thies, Mario Porrmann, Uwe Kastens, Ulrich Rückert
      Pages 207-217
Back to top

Other volumes

  1. Analysis, Architectures and Modelling of Embedded Systems

Keywords

About this book

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.

Editors and Affiliations

  • Carl v. Ossietzky University Oldenburg, OFFIS,, Oldenburg, Germany

    Achim Rettberg

  • ZF Friedrichshafen AG, Friedrichshafen, Germany

    Mauro C. Zanella, Michael Amann, Michael Keckeisen

  • University of Paderborn, Paderborn, Germany

    Franz J. Rammig

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation