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
Rafael B. Parizi, Ronaldo Rodrigues Ferreira, Luigi Carro, Álvaro F. Moreira
49-60
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
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
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
Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg
205-217
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
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
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
Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System.
Sunil Malipatlolla, Ingo Stierand
343-352