IFIP TC6 Open Digital Library

IESS 2013: Paderborn, Germany

Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro Cesar Zanella, Franz J. Rammig

Springer, IFIP Advances in Information and Communication Technology 403, ISBN: 978-3-642-38852-1


Design Methodologies

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


Programming Robots with Events.

Truong Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo


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

Jiaxing Zhang, Gunar Schirner


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

Marco A. Wehrmeister, Gian R. Berkenbrock


Non-functional Aspects of Embedded Systems

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

Rafael B. Parizi, Ronaldo Rodrigues Ferreira, Luigi Carro, Álvaro F. Moreira


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

Douglas P. B. Renaux, Fabiana Pöttker


Low-Power Processors Require Effective Memory Partitioning.

Leonardo Steinfeld, Marcus Ritt, Fernando Silveira, Luigi Carro


Enhancement of System-Lifetime by Alternating Module Activation.

Frank Sill Torres



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

Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner


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

Markus Oertel, Achim Rettberg


Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories.

Che-Wei Chang, Rainer Dömer


Automated Functional Verification of Application Specific Instruction-set Processors.

Marcela Simková, Zdenek Prikryl, Zdenek Kotásek, Tomas Hruska


Performance Analysis

Compressing Microcontroller Execution Traces to Assist System Analysis.

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet


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

Artur Mariano, Dongwook Lee, Andreas Gerstlauer, Derek Chiou


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

Gustavo Kunzel, Jean Michel Winter, Ivan Müller, Carlos Eduardo Pereira, João Cesar Netto


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

Yuki Ando, Seiya Shibata, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada


ARAMIS Special Session

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

Philipp Reinkemeier, Ingo Stierand


Towards Virtualization Concepts for Novel Automotive HMI Systems.

Simon Gansel, Stephan Schnitzer, Frank Dürr, Kurt Rothermel, Christian Maihöfer


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


Formal Verification of Concurrent Embedded Software.

Dirk Nowotka, Johannes Traub


On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem.

Stefan Groesbrink


Real-Time Systems

Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks.

Kay Klobedanz, Jan Jatzkowski, Achim Rettberg, Wolfgang Müller 0005


Adaptive Total Bandwidth Server: Using Predictive Execution Time.

Kiyofumi Tanaka


Real-Time Service-Oriented Architectures: A Data-Centric Implementation for Distributed and Heterogeneous Robotic System.

Pekka Alho, Jouni Mattila


Contract-Based Compositional Scheduling Analysis for Evolving Systems.

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand


Embedded System Applications

Extending an IEEE 42010-Compliant Viewpoint-Based Engineering-Framework for Embedded Systems to Support Variant Management.

André Heuer, Tobias Kaufmann, Thorsten Weyer


Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems.

Katharina Gilles, Stefan Groesbrink, Daniel Baldin, Timo Kerstan


A Structural Parametric Binaural 3D Sound Implementation Using Open Hardware.

Bruno Dal Bó Silva, Marcelo Götz


Real-Time Aspects in Distributed Systems

Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems.

Zhenkai Zhang, Xenofon D. Koutsoukos


I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications.

Gang Li, Søren Top


Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System.

Sunil Malipatlolla, Ingo Stierand