2. SIES 2007: Lisbon, Portugal

Invited Speakers

• Ian Phillips:
  When less means more; and more, the-same?
  
• Richard Zurawski:
  Embedded Systems in Industrial Applications - Challenges and Trends.
  

Real-time scheduling

• Daisuke Miyakawa, Yutaka Ishikawa:
  Process Oriented Power Management. 1-8
  
• Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
  Synchronization for an optimal real-time scheduling algorithm on multiprocessors. 9-16
  
• Dieter Zöbel, Christian Weyand:
  Augmenting sensitivity analysis for embedded applications by program level derivation of process parameters. 17-24
  
• Fadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada:
  Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis. 25-32
  

Real-time and low-power protocols

• Ahlem Mifdaoui, Fabrice Frances, Christian Fraboul:
  Real-time characteristics of Switched Ethernet for "1553B"-Embedded Applications: Simulation and Analysis. 33-40
  
• Björn Nilsson, Lars Bengtsson, Per-Arne Wiberg, Bertil Svensson:
  Protocols for Active RFID - The Energy Consumption Aspect. 41-48
  
• Omar J. López Orozco, Jose L. Martinez Lastra:
  A Real-Time Interface for Agent-Based Control. 49-54
  
• Jörg Sommer, Rainer Blind:
  Optimized Resource Dimensioning in an embedded CAN-CAN Gateway. 55-62
  

Dependable Embedded Systems

• Sethu Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi:
  A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. 63-70
  
• Gert Jervan, Helena Kruus, Elmet Orasson, Raimund Ubar:
  Optimization of Memory-Constrained Hybrid BIST for Testing Core-Based Systems. 71-77
  
• Falk Salewski, Stefan Kowalewski:
  The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. 78-85
  

Embedded System Design

• Md. Mafijul Islam, Per Stenström:
  Energy and Performance Trade-offs between Instruction Reuse and Trivial Computations for Embedded Applications. 86-93
  
• Heiko Hübert, Benno Stabernack, Kai-Immo Wels:
  Performance and Memory Profiling for Embedded System Design. 94-101
  
• Christo Angelov, Jesper Berthing:
  A Timed Multitasking Architecture for Distributed Embedded Systems. 102-109
  
• Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström:
  Shared Data Analysis for Multi-Tasking Real-Time System Testing. 110-117
  
• Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser:
  An Open Framework for Detailed Hardware Modeling. 118-125
  

Hardware/software co-design

• Martin Holzer, Bastian Knerr, Markus Rupp:
  Design Space Exploration with Evolutionary Multi-Objective Optimisation. 126-133
  
• Bastian Knerr, Martin Holzer, Markus Rupp:
  Novel Genome Coding of Genetic Algorithms for the System Partitioning Problem. 134-141
  

Robotics

• Zi-Yuan Chen, Yu-Cheng Chen, Yin-Tien Wang:
  Image-based Control of an Autonomous Robot with Omnidirectional Vision. 142-147
  
• Vanderlei Bonato, Rafael Peron, Denis F. Wolf, José A. M. de Holanda, Eduardo Marques, João M. P. Cardoso:
  An FPGA Implementation for a Kalman Filter with Application to Mobile Robotics. 148-155
  

Industrial networks

• Mario Collotta, Lucia Lo Bello, Orazio Mirabella:
  Deadline-Aware Scheduling Policies for Bluetooth Networks in Industrial Communications. 156-163
  
• Fredrik Linnarsson, Peng Cheng, Bengt Oelmann:
  Analysis of the IEEE 802.15.4 Standard for a Wireless Closed Loop Control System for Heavy Duty Cranes. 164-169
  
• Sven Dominka, Frank Schiller, Sebastian Kain, Eduard Bröcker:
  Modification of Field Bus Telegrams for Hybrid Commissioning; Merge-Tool for PROFIBUS. 170-177
  

Computing Configuration

• Stephan Kubisch, Claas Cornelius, Ronald Hecht, Dirk Timmermann:
  Mapping a Pipelined Data Path onto a Network-on-Chip. 178-185
  
• Nadia Nedjah, Luiza de Macedo Mourelle:
  A System-on-Chip Implementation for Modular Exponentiation Using the Sliding-Window Method with Variable-Length Partitioning. 186-193
  
• Zhuo Ruan, Yuzhang Han, Hongbo Cai, Shengzhen Jin, Jianguo Han:
  A Dynamically Partial-reconfigurable FPGA-based Architecture for Data Processing on Space Solar Telescope. 194-199
  

Special Session on Automotive Embedded Systems

• Thomas M. Galla, Dietmar Schreiner, Wolfgang Forster, Christof Kutschera, Karl M. Göschka, Martin Horauer:
  Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm. 200-208
  
• Bastian Schlich, Falk Salewski, Stefan Kowalewski:
  Applying Model Checking to an Automotive Microcontroller Application. 209-216
  
• Joachim Hillebrand, Mehrnoush Rahmani, Richard Bogenberger, Eckehard G. Steinbach:
  Coexistence of Time-Triggered and Event-Triggered Traffic in Switched Full-Duplex Ethernet Networks. 217-224
  
• Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet:
  Adequacy between AUTOSAR OS specification and real-time scheduling theory. 225-233
  
• Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati:
  A multiform time approach to real-time system modeling; Application to an automotive system. 234-241
  

Special Session on Behavioural Models for Embedded systems

• Simon Tjell:
  Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. 242-249
  
• Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat:
  A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. 250-257
  
• Ashley T. McNeile, Ella E. Roubtsova:
  Protocol Modelling Semantics for Embedded Systems. 258-265
  
• Óscar R. Ribeiro, João M. Fernandes:
  Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. 266-273
  
• Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra:
  Process State Machines for Behavioral Modeling of Embedded Systems. 274-281
  

Industry practice

• Martin Svéda, Vladimír Oplustil:
  Experience with integration and certification of COTS based embedded system into advanced avionics system. 282-287
  
• Wang Jing, Shengbing Zhang, Zhang Meng:
  Testing of a 32-bit High Performance Embedded Microprocessor. 288-292
  
• Hui Xue Zhao, Laurent George, Serge Midonnet, Stephan Tassart, Ivan Bourmeyster:
  Minimizing Latency and Data Memory Requirement for Real-time Chain-Structured Synchronous Dataflow. 293-301
  
• Gerard Bosch i Creus, Antti-Pekka Tuovinen:
  Feature Interaction Control on Smartphones. 302-309
  
• Azzouz Benzekri, Kamal Meghriche, Larbi Refoufi:
  PC-Based Automation of a Multi-Mode Control for an Irrigation System. 310-315
  

Work-in-Progress

• Anikó Costa, Luís Gomes:
  Module Composition within Petri Nets Model-based Development. 316-319
  
• Mario Collotta, Orazio Mirabella, Lucia Lo Bello:
  Comparison between RT scheduling techniques for Bluetooth Networks in DPCSs. 320-323
  
• Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy:
  Faster floating-point square root for integer processors. 324-327
  
• Alexandre Lewicki, Javier del Prado Pavon, Jacky Talayssat, Eric Dekneuvel, Gilles Jacquemod:
  High Level Modeling of a Bluetooth over Ultra Wide Band Device. 328-332
  
• Vasco Santos, Paulo Bartolomeu, José Alberto Fonseca, Alexandre Mota:
  B-Live - A Home Automation System for Disabled and Elderly People. 333-336
  
• Julian Viejo, Alejandro Millán, Manuel J. Bellido, Jorge Juan, Paulino Ruiz-de-Clavijo, David Guerrero, Enrique Ostúa, A. Munoz:
  Design of a FFT/IFFT module as an IP core suitable for embedded systems. 337-340
  
• Hugo Ortiz, Antonio Casimiro, Paulo Veríssimo:
  Architecture and Implementation of an Embedded Wormhole. 341-344
  
• José A. de Holanda, Jecel Assumpcao, Denis F. Wolf, Eduardo Marques, João M. P. Cardoso:
  On Adapting Power Estimation Models for Embedded Soft-Core Processors. 345-348
  
• Martin Horauer, Oliver Praprotnik, Martin Zauner, Roland Holler, Paul Milbredt:
  A Test Tool for FlexRay-based Embedded Systems. 349-352
  
• Julian Broy, Klaus D. Müller-Glaser:
  The impact of time-triggered communication in automotive embedded systems. 353-356
  
• Abhisek Ukil, Adrian Barlocher:
  Implementation of Discrete Wavelet Transform for Embedded Applications using TMS320VC5510. 357-360
  
• Soledad Escolar, Jesús Carretero, Florin Isaila, Félix García Carballeira:
  A driver model based on Linux for TinyOS. 361-364
  
• Jecel Assumpcao, Denis F. Wolf, Eduardo Marques:
  Towards a Hardware Accelerated Obstacle Avoidance System for Mobile Robots using Monocular Vision. 365-368
  
• V. Bostan, C. Ilas, R. Magureanu:
  Single Chip Control of a Three Level Converter for High Voltage Unity Power Factor Applications. 369-372
  
• Marian Adamski:
  Logic synthesis of reconfigurable controllers. 373-376
  

Last update Wed Feb 15 05:17:12 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page