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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-04284-3
  • 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
  • About this book