index - Embedded Systems: Design, Analysis and Verification
   


Full Text Documents

31

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/