Abstract is missing.
- TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software ComponentTakuya Azumi, Yasaman Samei Syahkal, Yuko Hara-Azumi, Hiroshi Oyama, Rainer Dömer. 1-13 [doi]
- Programming Robots with EventsTruong Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo. 14-25 [doi]
- Joint Algorithm Developing and System-Level Design: Case Study on Video EncodingJiaxing Zhang, Gunar Schirner. 26-38 [doi]
- Automatic Execution of Test Cases on UML Models of Embedded SystemsMarco A. Wehrmeister, Gian R. Berkenbrock. 39-48 [doi]
- Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded SoftwareRafael B. Parizi, Ronaldo Rodrigues Ferreira, Luigi Carro, Álvaro F. Moreira. 49-60 [doi]
- Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State MachinesDouglas P. B. Renaux, Fabiana Pöttker. 61-72 [doi]
- Low-Power Processors Require Effective Memory PartitioningLeonardo Steinfeld, Marcus Ritt, Fernando Silveira, Luigi Carro. 73-81 [doi]
- Enhancement of System-Lifetime by Alternating Module ActivationFrank Sill Torres. 82-91 [doi]
- Model Checking Memory-Related Properties of Hardware/Software Co-designsMarcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner. 92-103 [doi]
- Reducing Re-verification Effort by Requirement-Based Change ManagementMarkus Oertel, Achim Rettberg. 104-115 [doi]
- Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo TheoriesChe-Wei Chang, Rainer Dömer. 116-127 [doi]
- Automated Functional Verification of Application Specific Instruction-set ProcessorsMarcela Simková, Zdenek Prikryl, Zdenek Kotásek, Tomas Hruska. 128-138 [doi]
- Compressing Microcontroller Execution Traces to Assist System AnalysisAzzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. 139-150 [doi]
- Hardware and Software Implementations of Prim's Algorithm for Efficient Minimum Spanning Tree ComputationArtur Mariano, Dongwook Lee, Andreas Gerstlauer, Derek Chiou. 151-158 [doi]
- A Passive Monitoring Tool for Evaluation of Routing in WirelessHART NetworksGustavo Kunzel, Jean Michel Winter, Ivan Müller, Carlos Eduardo Pereira, João Cesar Netto. 159-170 [doi]
- Automated Identification of Performance Bottleneck on Embedded Systems for Design Space ExplorationYuki Ando, Seiya Shibata, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada. 171-180 [doi]
- Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation AbstractionPhilipp Reinkemeier, Ingo Stierand. 181-192 [doi]
- Towards Virtualization Concepts for Novel Automotive HMI SystemsSimon Gansel, Stephan Schnitzer, Frank Dürr, Kurt Rothermel, Christian Maihöfer. 193-204 [doi]
- Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAsMaher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg. 205-217 [doi]
- Formal Verification of Concurrent Embedded SoftwareDirk Nowotka, Johannes Traub. 218-227 [doi]
- On the Homogeneous Multiprocessor Virtual Machine Partitioning ProblemStefan Groesbrink. 228-237 [doi]
- Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU NetworksKay Klobedanz, Jan Jatzkowski, Achim Rettberg, Wolfgang Mueller. 238-249 [doi]
- Adaptive Total Bandwidth Server: Using Predictive Execution TimeKiyofumi Tanaka. 250-261 [doi]
- Real-Time Service-Oriented Architectures: A Data-Centric Implementation for Distributed and Heterogeneous Robotic SystemPekka Alho, Jouni Mattila. 262-271 [doi]
- Contract-Based Compositional Scheduling Analysis for Evolving SystemsTayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand. 272-282 [doi]
- Extending an IEEE 42010-Compliant Viewpoint-Based Engineering-Framework for Embedded Systems to Support Variant ManagementAndré Heuer, Tobias Kaufmann, Thorsten Weyer. 283-292 [doi]
- Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded SystemsKatharina Gilles, Stefan Groesbrink, Daniel Baldin, Timo Kerstan. 293-305 [doi]
- A Structural Parametric Binaural 3D Sound Implementation Using Open HardwareBruno Dal Bó Silva, Marcelo Götz. 306-317 [doi]
- Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical SystemsZhenkai Zhang, Xenofon D. Koutsoukos. 318-330 [doi]
- I/O Sharing in a Multi-core Kernel for Mixed-Criticality ApplicationsGang Li, Søren Top. 331-342 [doi]
- Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a SystemSunil Malipatlolla, Ingo Stierand. 343-352 [doi]