Skip to main content
SpringerLink
Log in
Book cover

Embedded System Design: Topics, Techniques and Trends

IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Achim Rettberg

    1. University of Paderborn/C-LAB, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mauro C. Zanella

    1. ZF Lemförder GmbH, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Rainer Dömer

    1. University of California, Irvine, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Andreas Gerstlauer

    1. University of California, Irvine, USA

    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

  • Most up-to-date research on embedded systems
  • Includes supplementary material: sn.pub/extras

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

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 (42 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Validation and Verification

    1. Requirements and Concepts for Transaction Level Assertion Refinement

      • Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten
      Pages 1-14

    2. Using a Runtime Measurement Device with Measurement-Based WCET Analysis

      • Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter Puschner
      Pages 15-26

    3. Implementing Real-Time Algorithms by using the AAA Prototyping Methodology

      • Pierre Niang, Thierry Grandpierre, Mohamed Akil
      Pages 27-36

    4. Run-Time efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities

      • Karsten Albers, Frank Bodmann, Frank Slomka
      Pages 37-46

    5. Approach for a Formal Verification of a Bit-serial Pipelined Architecture

      • Henning Zabel, Achim Rettberg, Alexander Krupp
      Pages 47-56

  3. Automotive Applications

    1. Automotive System Optimization using Sensitivity Analysis

      • Razvan Racu, Arne Hamann, Rolf Ernst
      Pages 57-70

    2. Towards a Dynamically Reconfigurable Automotive Control System Architecture

      • Richard Anthony, Achim Rettberg, Dejiu Chen, Isabell Jahnich, Gerrit de Boer, Cecilia Ekelin
      Pages 71-84

    3. An OSEK/VDX-based Multi-JVM for Automotive Appliances

      • Christian Wawersich, Michael Stilkerich, Wolfgang Schröder-Preikschat
      Pages 85-96

    4. Towards Dynamic Load Balancing for Distributed Embedded Automotive Systems

      • Isabell Jahnich, Achim Rettberg
      Pages 97-106

  4. Hardware Synthesis

    1. Automatic Data Path Generation from C code for Custom Processors

      • Jelena Trajkovic, Daniel Gajski
      Pages 107-120

    2. Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures

      • Shanghua Gao, Kenshu Seto, Satoshi Komatsu, Masahiro Fujita
      Pages 121-134

    3. An Interactive Design Environment for C-based High-Level Synthesis

      • Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel D. Gajski
      Pages 135-144

    4. Integrated Coupling and Clock Frequency Assignment of Accelerators During Hardware/Software Partitioning

      • Scott Sirowy, Frank Vahid
      Pages 145-154

    5. Embedded Vertex Shader in FPGA

      • Lars Middendorf, Felix Mühlbauer, Georg Umlauf, Christophe Bobda
      Pages 155-164

  5. Specification and Partitioning

    1. A Hybrid Approach for System-Level Design Evaluation

      • Alexander Viehl, Markus Schwarz, Oliver Bringmann, Wolfgang Rosenstiel
      Pages 165-178

    2. Automatic Parallelization of Sequential Specifications for Symmetric MPSoCs

      • Fabrizio Ferrandi, Luca Fossati, Marco Lattuada, Gianluca Palermo, Donatella Sciuto, Antonino Tumeo
      Pages 179-192

    3. An Interactive Model Re-Coder for Efficient SoC Specification

      • Pramod Chandraiah, Rainer Dömer
      Pages 193-206

    4. Constrained and Unconstrained Hardware-Software Partitioning using Particle Swarm Optimization Technique

      • M. B. Abdelhalim, A. E. Salama, S. E.-D. Habib
      Pages 207-220

  6. Design Methodologies

    1. Using Aspect-Oriented Concepts in the Requirements Analysis of Distributed Real-Time Embedded Systems

      • Edison P. Freitas, Marco A. Wehrmeister, Carlos E. Pereira, Flavio R. Wagner, Elias T. Silva Jr., Fabiano C. Carvalho
      Pages 221-230
Back to top

Keywords

About this book

Over recent years, embedded systems have gained an enormous amount of processing power and functionality. 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 System Design: Topics, Techniques and Trends presents the technical program of the International Embedded Systems Symposium (IESS) 2007 held in Irvine, California. IESS is a unique forum to present novel ideas, exchange timely research results, and discuss the state of the art and future trends in the field of embedded systems. Contributors and participants from both industry and academia take active part in this symposium. The IESS conference is organized by the Computer Systems Technology committee (TC10) of the International Federation for Information Processing (IFIP).

Timley topics, techniques and trends in embedded system design are covered by the chapters in this book, including design methodology, specification and modeling, embedded software and hardware synthesis, networks-on-chip, distributed and networked systems, and system verification and validation. Particular emphaisis is paid to automotive and medical applications. A set of actual case studies and special aspects in embedded system design are included as well.

Editors and Affiliations

  • University of Paderborn/C-LAB, Germany

    Achim Rettberg

  • ZF Lemförder GmbH, Germany

    Mauro C. Zanella

  • University of California, Irvine, USA

    Rainer Dömer, Andreas Gerstlauer

  • University of Paderborn, Paderborn, Germany

    Franz J. Rammig

Bibliographic Information

  • Book Title: Embedded System Design: Topics, Techniques and Trends

  • Book Subtitle: IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA

  • Editors: Achim Rettberg, Mauro C. Zanella, Rainer Dömer, Andreas Gerstlauer, Franz J. Rammig

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-72258-0

  • Publisher: Springer New York, NY

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2007

  • Hardcover ISBN: 978-0-387-72257-3Published: 01 June 2007

  • Softcover ISBN: 978-1-4419-4429-0Published: 24 November 2010

  • eBook ISBN: 978-0-387-72258-0Published: 09 May 2010

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: XVI, 444

  • Topics: Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation