Table of Contents
|
Embedded Systems: Design, Analysis and Verification
Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro Zanella, Franz Rammig (Eds.)
|
Front Matter |
Design Methodologies
|
TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component
Takuya Azumi, Yasaman Syahkal, Yuko Hara-Azumi, Hiroshi Oyama, Rainer Dömer |
1-13 |
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 Wehrmeister, Gian Berkenbrock |
39-48 |
Part 2: Non-functional Aspects of Embedded Systems
|
Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software
Rafael Parizi, Ronaldo Ferreira, Luigi Carro, Álvaro Moreira |
49-60 |
Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines
Douglas 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 Torres |
82-91 |
Part 3: 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 Šimková, Zdeněk Přikryl, Zdeněk Kotásek, Tomáš Hruška |
128-138 |
Part 4: 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 Winter, Ivan Muller, Carlos Pereira, João 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 |
Part 5: 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 |
Part 6: Real-Time Systems
|
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks
Kay Klobedanz, Jan Jatzkowski, Achim Rettberg, Wolfgang Mueller |
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 |
Part 7: 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 Bó Silva, Marcelo Götz |
306-317 |
Part 8: Real-Time Aspects in Distributed Systems
|
Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems
Zhenkai Zhang, Xenofon 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 |
Hosted by HAL : 