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



Contents

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

 1-13

Programming Robots with Events.

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

 14-25

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

Jiaxing Zhang, Gunar Schirner

 26-38

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

Marco A. Wehrmeister, Gian R. Berkenbrock

 39-48

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

 49-60

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

Douglas P. B. Renaux, Fabiana Pöttker

 61-72

Low-Power Processors Require Effective Memory Partitioning.

Leonardo Steinfeld, Marcus Ritt, Fernando Silveira, Luigi Carro

 73-81

Enhancement of System-Lifetime by Alternating Module Activation.

Frank Sill Torres

 82-91

Verification

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

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

 92-103

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

Markus Oertel, Achim Rettberg

 104-115

Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories.

Che-Wei Chang, Rainer Dömer

 116-127

Automated Functional Verification of Application Specific Instruction-set Processors.

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

 128-138

Performance Analysis

Compressing Microcontroller Execution Traces to Assist System Analysis.

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

 139-150

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

Artur Mariano, Dongwook Lee, Andreas Gerstlauer, Derek Chiou

 151-158

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

 159-170

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

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

 171-180

ARAMIS Special Session

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

Philipp Reinkemeier, Ingo Stierand

 181-192

Towards Virtualization Concepts for Novel Automotive HMI Systems.

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

 193-204

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

 205-217

Formal Verification of Concurrent Embedded Software.

Dirk Nowotka, Johannes Traub

 218-227

On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem.

Stefan Groesbrink

 228-237

Real-Time Systems

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

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

 238-249

Adaptive Total Bandwidth Server: Using Predictive Execution Time.

Kiyofumi Tanaka

 250-261

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

Pekka Alho, Jouni Mattila

 262-271

Contract-Based Compositional Scheduling Analysis for Evolving Systems.

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand

 272-282

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

 283-292

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

Katharina Gilles, Stefan Groesbrink, Daniel Baldin, Timo Kerstan

 293-305

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

Bruno Dal Bó Silva, Marcelo Götz

 306-317

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

 318-330

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

Gang Li, Søren Top

 331-342

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

Sunil Malipatlolla, Ingo Stierand

 343-352