3. SIES 2008: Montpellier / La Grande Motte, France

Reconfiguration in Embedded Systems

• Mohamed Khalgui, Hans-Michael Hanisch:
  NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. 1-10
  
• Ioannis Riakiotakis, George K. Papakonstantinou, Anthony T. Chronopoulos:
  Implementation of dynamic loop scheduling in reconfigurable platforms. 11-18
  
• Kurt Franz Ackermann, Burghard Hoffmann, Leandro Soares Indrusiak, Manfred Glesner:
  Enabling self-reconfiguration on a video processing platform. 19-26
  

Multiprocessor Systems

• Kenji Funaoka, Akira Takeda, Shinpei Kato, Nobuyuki Yamasaki:
  Dynamic voltage and frequency scaling for optimal real-time scheduling on multiprocessors. 27-33
  
• Christof Pitter, Martin Schoeberl:
  Performance evaluation of a java chip-multiprocessor. 34-42
  
• Anders Sejer Tranberg-Hansen, Jan Madsen, Bjørn Sand Jensen:
  A service based estimation method for MPSoC performance modelling. 43-50
  

Applications in Security

• Farnaz Gharibian, Kenneth B. Kent:
  An embedded decryption/decompression engine using Handel-C. 51-57
  
• Gordon Meiser, Thomas Eisenbarth, Kerstin Lemke-Rust, Christof Paar:
  Efficient implementation of eSTREAM ciphers on 8-bit AVR microcontrollers. 58-66
  

Industry Practice

• Christian Hochberger, Christian Meusel:
  Infrastructure for web-based administration of embedded systems. 67-73
  
• Hendrik Schweppe, Armin Zimmermann, Daniel Grill:
  Flexible in-vehicle stream processing with distributed automotive control units for engineering and diagnosis. 74-81
  

Systems Integration

• Hankook Jang, Sang-Hwa Chung, Dae-Hyun Yoo:
  Implementation of an efficient RDMA mechanism tightly coupled with a TCP/IP offload engine. 82-88
  
• Christoph Angerer:
  A digital receiver architecture for RFID readers. 89-94
  

Design Automation

• Alena Simalatsar, Roberto Passerone, Douglas Densmore:
  A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling. 95-102
  
• Hehua Zhang, Ming Gu, Xiaoyu Song:
  Modeling and analysis of stage machinery control systems by timed colored Petri nets. 103-110
  
• José Carlos Metrôlho, Carlos Couto, Carlos A. Silva, Adriano Tavares:
  A language for automatic generation of fast instruction-set compiled simulators. 111-117
  

Networks-on-Chip

• Sanna Määttä, Leandro Soares Indrusiak, Luciano Ost, Leandro Möller, Jari Nurmi, Manfred Glesner, Fernando Moraes:
  Validation of executable application models mapped onto network-on-chip platforms. 118-125
  

Fault Awareness and Tolerance

• Francisco Afonso, Carlos A. Silva, Adriano Tavares, Sergio Montenegro:
  Application-level fault tolerance in real-time embedded systems. 126-133
  
• Thi Quynh Bui, Oum-El-Kheir Aktouf, Michel Dang:
  Software component diagnosis service: architecture description. 134-140
  
• Falk Salewski, Stefan Kowalewski:
  The effect of real-time software reuse in FPGAs and microcontrollers with respect to software faults. 141-148
  

Distributed Embedded Systems

• Sajjad A. Madani, Daniel Weber, Stefan Mahlknecht:
  TPR: Dead end aware table less position based routing scheme for low power data-centric wireless sensor networks. 149-154
  
• Hongbin Li, Luís Almeida, Fausto Carramate, Zhi Wang, Youxian Sun:
  Connectivity-aware motion control among autonomous mobile units. 155-162
  
• Thanikesavan Sivanthi, Ulrich Killat:
  Valuing the design flexibility of a distributed real-time embedded system. 163-168
  

Real-time Systems

• Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun:
  Inter-task WCET computation for a-way instruction caches. 169-176
  
• Kaj Hänninen, Jukka Mäki-Turja, Mikael Nolin, Mats Lindberg, John Lundbäck, Kurt-Lennart Lundbäck:
  The Rubus component model for resource constrained real-time systems. 177-183
  
• Magnus Jonsson, Kristina Kunert:
  Reliable hard real-time communication in industrial and embedded systems. 184-191
  

Automotive Communication Systems

• Raul Barbosa, Johan Karlsson:
  Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems. 192-199
  
• Paul Milbredt, Martin Horauer, Andreas Steininger:
  An investigation of the clique problem in FlexRay. 200-207
  

FPGA-based Systems

• Carlos Rodriguez-Donate, René de Jesús Romero-Troncoso, Arturo Garcia-Perez, Daniel A. Razo-Montes:
  FPGA based embedded system for induction motor failure monitoring at the start-up transient vibrations with wavelets. 208-214
  
• Jesus Roberto Millan-Almaraz, René de Jesús Romero-Troncoso, Luis Miguel Contreras-Medina, Arturo Garcia-Perez:
  Embedded FPGA based induction motor monitoring system with speed drive fed using multiple wavelet analysis. 215-220
  

Work in Progress

• Benoît Badrignans, Reouven Elbaz, Lionel Torres:
  Secure update Mechanism for Remote Update of FPGA-Based System. 221-224
  
• Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang:
  Verifying programmable logic controllers with abstraction. 225-228
  
• Luis Miguel Contreras-Medina, René de Jesús Romero-Troncoso, Jesus Roberto Millan-Almaraz, Carlos Rodriguez-Donate:
  FPGA based multiple-channel vibration analyzer embedded system for industrial applications in automatic failure detection. 229-232
  
• Marta Beltrán, Antonio Guzmán:
  Designing HIPAOC: High Performance Architecture On Chip. 233-236
  
• Patrick Schmidt, Stefan Frenz, Steffen Gerhold, Peter Schulthess:
  Transactional consistency in the automotive environment. 237-240
  
• Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
  A model-driven validation & verification environment for embedded systems. 241-244
  
• Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich:
  Challenges in embedded model checking - a simulator for the [mc]square model checker. 245-248
  
• Ingo Hegny, Oliver Hummer, Alois Zoitl, Gottfried Koppensteiner, Munir Merdan:
  Integrating software agents and IEC 61499 realtime control for reconfigurable distributed manufacturing systems. 249-252
  
• Reiner F. Perozzo, Carlos Eduardo Pereira:
  Services discovery and composition in Intelligent Environments for mobile devices. 253-256
  
• Eric Armengaud, Daniel Watzenig, Christian Steger, Hubert Berger, Harald Gall, Felix Pfister, Markus Pistauer:
  TEODACS : A new vision for testing dependable automotive communication systems. 257-260
  
• Stefan Groesbrink, Timo Kerstan:
  Modular paging with dynamic TLB partitioning for embedded real-time systems. 261-264
  
• Björn Nilsson, Lars Bengtsson, Bertil Svensson:
  Selecting back off algorithm in active RFID CSMA/CA based medium-access protocols. 265-270
  
• Kai Huang, Iuliana Bacivarov, Fabian Hugelshofer, Lothar Thiele:
  Scalably distributed SystemC simulation for embedded applications. 271-274