Full Text Documents Search Links IFIP website IFIP TC6 Open DL

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 :     Hosted by HAL :