Skip to main content
SpringerLink
Log in
Book cover

System Level Design from HW/SW to Memory for Embedded Systems

5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Marcelo Götz

    1. Federal University of Rio Grande do Sul, Porto Alegre, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gunar Schirner

    1. Northeastern University Boston, Boston, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Marco Aurélio Wehrmeister

    1. Federal University of Technology Parana, Curitiba, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Mohammad Abdullah Al Faruque

    1. University of California at Irvine, Irvine, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Achim Rettberg

    1. Carl von Ossietzky University, Oldenburg, 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 523)

Included in the following conference series:

Conference proceedings info: IESS 2015.

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 EPUB and 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 (18 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Cyber-Physical Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Ontological User Modeling for Ambient Assisted Living Service Personalization

      • Maurício Fontana de Vargas, Carlos Eduardo Pereira
      Pages 3-14

    3. Multi-Agent Based Implementation of an Embedded Image Processing System in FPGA for Precision Agriculture Using UAVs

      • Érico Nunes, Lucas Behnck, Carlos Eduardo Pereira
      Pages 15-26

    4. Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study

      • Alexander Jungmann, Jan Jatzkowski, Bernd Kleinjohann
      Pages 27-37

    5. Integration of Robot Operating System and Ptolemy for Design of Real-Time Multi-robots Environments

      • Luis Feliphe Silva Costa, Alisson V. Brito, Tiago P. Nascimento, Thiago Henrique Menezes Bezerra
      Pages 38-47

  3. System-Level Design

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving

      • Lydia Jaß, Paula Herber
      Pages 51-63

    3. Timed Path Conditions in MATLAB/Simulink

      • Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
      Pages 64-76

    4. Structural Contracts – Motivating Contracts to Ensure Extra-Functional Semantics

      • Gregor Nitsche, Ralph Görgen, Kim Grüttner, Wolfgang Nebel
      Pages 77-87

    5. Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

      • Tayfun Gezgin, Björn Koopmann, Achim Rettberg
      Pages 88-99

  4. Multi/Many-Core System Design

    1. Front Matter

      Pages 101-101
      Download chapter PDF

    2. Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems

      • Jan Jatzkowski, Marcio Kreutz, Achim Rettberg
      Pages 103-115

    3. Analysis of Process Traces for Mapping Dynamic KPN Applications to MPSoCs

      • Andrés Goens, Jeronimo Castrillon
      Pages 116-127

    4. Modeling and Analysis of SLDL-Captured NoC Abstractions

      • Ran Hao, Nasibeh Teimouri, Kasra Moazzemi, Gunar Schirner
      Pages 128-141

  5. Memory System Design

    1. Front Matter

      Pages 143-143
      Download chapter PDF

    2. Taming the Memory Demand Complexity of Adaptive Vision Algorithms

      • Majid Sabbagh, Hamed Tabkhi, Gunar Schirner
      Pages 145-158

    3. HMC and DDR Performance Trade-offs

      • Paulo C. Santos, Marco A. Z. Alves, Luigi Carro
      Pages 159-171

    4. Managing Cache Memory Resources in Adaptive Many-Core Systems

      • Gustavo Girão, Flávio Rech Wagner
      Pages 172-182

  6. Embedded HW/SW Design and Applications

    1. Front Matter

      Pages 183-183
      Download chapter PDF
Back to top

Other volumes

  1. System Level Design from HW/SW to Memory for Embedded Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, held in Foz do Iguaçu, Brazil, in November 2015.

The 18 full revised papers presented were carefully reviewed and selected from 25 submissions. The papers present a broad discussion on the design, analysis and verification of embedded and cyber-physical systems including design methodologies, verification, performance analysis, and real-time systems design. They are organized in the following topical sections: cyber-physical systems, system-level design; multi/many-core system design; memory system design; and embedded HW/SW design and applications.


Editors and Affiliations

  • Federal University of Rio Grande do Sul, Porto Alegre, Brazil

    Marcelo Götz

  • Northeastern University Boston, Boston, USA

    Gunar Schirner

  • Federal University of Technology Parana, Curitiba, Brazil

    Marco Aurélio Wehrmeister

  • University of California at Irvine, Irvine, USA

    Mohammad Abdullah Al Faruque

  • Carl von Ossietzky University, Oldenburg, Germany

    Achim Rettberg

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation