Analysis, Architectures and Modelling of Embedded Systems

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

  • Achim Rettberg
  • Mauro C. Zanella
  • Michael Amann
  • Michael Keckeisen
  • Franz J. Rammig
Conference proceedings IESS 2009

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

Table of contents

  1. Front Matter
  2. Modelling

  3. Transaction Level Modelling

    1. Yonghyun Hwang, Gunar Schirner, Samar Abdi
      Pages 66-76
    2. Ardavan Pedram, David Craven, Andreas Gerstlauer
      Pages 89-101
  4. Scheduling and Real-Time Systems

  5. Simulation, Verification and Test

    1. Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner
      Pages 159-170
    2. Alexander Krupp, Wolfgang Müller
      Pages 171-184
  6. Platforms and Processors

    1. Daniel Baldin, Timo Kerstan
      Pages 185-194
    2. Yuki Kinebuchi, Takushi Morita, Kazuo Makijima, Midori Sugaya, Tatsuo Nakajima
      Pages 195-206
    3. Ralf Dreesen, Thorsten Jungeblut, Michael Thies, Mario Porrmann, Uwe Kastens, Ulrich Rückert
      Pages 207-217
  7. Automotive Systems

    1. Kay Klobedanz, Christoph Kuznik, Ahmed Elfeky, Wolfgang Müller
      Pages 218-225
    2. Ralph Görgen, Jan-Hendrik Oetjens, Jan Freuer, Wolfgang Nebel
      Pages 226-237
  8. Case Studies

  9. Wireless Sensor Networks

    1. Leonardo Steinfeld, Luigi Carro
      Pages 279-289
    2. Rodrigo Schmidt Allgayer, Marcelo Götz, Carlos Eduardo Pereira
      Pages 302-309
  10. Tutorials

  11. Back Matter

About these proceedings


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.


Scheduling code generation device drivers distributed computing embedded systems formal verification modeling modelling real-time scheduling simulation steer by wire testing verification virtualization wireless sensor networks

Editors and affiliations

  • Achim Rettberg
    • 1
  • Mauro C. Zanella
    • 2
  • Michael Amann
    • 2
  • Michael Keckeisen
    • 2
  • Franz J. Rammig
    • 3
  1. 1.Carl v. Ossietzky University Oldenburg, OFFIS,OldenburgGermany
  2. 2.ZF Friedrichshafen AGFriedrichshafenGermany
  3. 3.University of PaderbornPaderbornGermany

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04283-6
  • Online ISBN 978-3-642-04284-3
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences