Skip to main content
SpringerLink
Log in

Embedded Systems: Design, Analysis and Verification

4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Gunar Schirner

    1. Department of Electrical and Computer Engineering, Northeastern University, Boston, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marcelo Götz

    1. Departamento de Engenharia Elétrica, Federal University of Rio Grande do Sul, Porto Alegre, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Achim Rettberg

    1. Carl von Ossietzky University Oldenburg, Oldenburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Mauro C. Zanella

    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. Heinz Nixdorf Institute, Paderborn University, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

Included in the following conference series:

Conference proceedings info: IESS 2013.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.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 (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Design Methodologies

    1. TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component

      • Takuya Azumi, Yasaman Samei Syahkal, Yuko Hara-Azumi, Hiroshi Oyama, Rainer Dömer
      Pages 1-13

    2. Programming Robots with Events

      • Truong-Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
      Pages 14-25

    3. Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding

      • Jiaxing Zhang, Gunar Schirner
      Pages 26-38

    4. Automatic Execution of Test Cases on UML Models of Embedded Systems

      • Marco A. Wehrmeister, Gian R. Berkenbrock
      Pages 39-48

  3. Non-functional Aspects of Embedded Systems

    1. Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software

      • Rafael B. Parizi, Ronaldo R. Ferreira, Luigi Carro, Álvaro F. Moreira
      Pages 49-60

    2. Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines

      • Douglas P. B. Renaux, Fabiana Pöttker
      Pages 61-72

    3. Low-Power Processors Require Effective Memory Partitioning

      • Leonardo Steinfeld, Marcus Ritt, Fernando Silveira, Luigi Carro
      Pages 73-81

    4. Enhancement of System-Lifetime by Alternating Module Activation

      • Frank Sill Torres
      Pages 82-91

  4. Verification

    1. Model Checking Memory-Related Properties of Hardware/Software Co-designs

      • Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner
      Pages 92-103

    2. Reducing Re-verification Effort by Requirement-Based Change Management

      • Markus Oertel, Achim Rettberg
      Pages 104-115

    3. Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories

      • Che-Wei Chang, Rainer Dömer
      Pages 116-127

    4. Automated Functional Verification of Application Specific Instruction-set Processors

      • Marcela Šimková, Zdeněk Přikryl, Zdeněk Kotásek, Tomáš Hruška
      Pages 128-138

  5. Performance Analysis

    1. Compressing Microcontroller Execution Traces to Assist System Analysis

      • Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
      Pages 139-150

    2. Hardware and Software Implementations of Prim’s Algorithm for Efficient Minimum Spanning Tree Computation

      • Artur Mariano, Dongwook Lee, Andreas Gerstlauer, Derek Chiou
      Pages 151-158

    3. A Passive Monitoring Tool for Evaluation of Routing in WirelessHART Networks

      • Gustavo Kunzel, Jean Michel Winter, Ivan Muller, Carlos Eduardo Pereira, João Cesar Netto
      Pages 159-170

    4. Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration

      • Yuki Ando, Seiya Shibata, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada
      Pages 171-180

  6. ARAMIS Special Session

    1. Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction

      • Philipp Reinkemeier, Ingo Stierand
      Pages 181-192

    2. Towards Virtualization Concepts for Novel Automotive HMI Systems

      • Simon Gansel, Stephan Schnitzer, Frank Dürr, Kurt Rothermel, Christian Maihöfer
      Pages 193-204

    3. Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs

      • Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg
      Pages 205-217
Back to top

Other volumes

  1. Embedded Systems: Design, Analysis and Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to the BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.

Editors and Affiliations

  • Department of Electrical and Computer Engineering, Northeastern University, Boston, USA

    Gunar Schirner

  • Departamento de Engenharia Elétrica, Federal University of Rio Grande do Sul, Porto Alegre, Brazil

    Marcelo Götz

  • Carl von Ossietzky University Oldenburg, Oldenburg, Germany

    Achim Rettberg

  • ZF Friedrichshafen AG, Friedrichshafen, Germany

    Mauro C. Zanella

  • Heinz Nixdorf Institute, Paderborn University, Paderborn, Germany

    Franz J. Rammig

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation