Peter Elzer,  Technical University of Clausthal, Germany
Welcome Address –  Some Thoughts about the Past and the Future of the IFAC Workshops on Real-Time Programming

George Romanski,  Verocel Inc., USA
Invited Paper –  Safe and Secure Partitioned Systems and Their Certification

Janusz Zalewski,  Florida Gulf Coast University, USA – Moderator
Panel – Web Access to Embedded and Real-Time Devices

1. Lionel Morel, Jean-Philippe Babau, Belgacem Ben-Hedia,  Universitė de Lyon, Universitė de Brest, and Procton Labs, France
   Formal Modelling Framework of Data Acquisition Modules Using a Synchronous Approach for Timing Analysis
   
   
2. Jaroslav Rab, Ondrej Rysavy, Miroslav Sveda, Brno University of Technology, Czech Republic
   On the Implementation of State-space Exploration Procedure in a Relational Database Management System
   
   
3. F. Cicirelli, A. Furfaro, L. Nigro, Università della Calabria, Italy
   Modeling and Analysing Real Time System Specifications using Time Stream Petri Nets
   
   
4. Grzegorz Hamuda, Wolfgang A. Halang, AGH University of Science and Technology, Poland, and Fernuniversität Hagen, Germany
   Towards Proving a Real-Time Operating System Kernel Formally Correct
   
   
5. Emil Vassev, Mike Hinchey,  Lero – the Irish National Research Centre, Ireland
   Developing Self-Managing Embedded Systems with ASSL
   
   
6. Benny Shimony, Ioanis Nikolaidis, Pawel Gburzynski, Eleni Stroulia, University of Alberta, Canada
   Specification Design Method for Reactive Embedded Systems: A Case Study

1. Ji??í Trdlička,  Zden�?k Hanzálek, Czech Technical University, Czech Republic
   Algorithm for Energy Optimal Routing of Periodic Messages with Real-Time Constraints in Sensor Networks
   
   
2. Zden�?k Machacek, Vilém Srovnal Jr, Vilém Srovnal, VSB Technical University of Ostrava, Czech Republic
   Wireless Sensor Gateway for Industrial Networks Connection
   
   
3. Dirk Müller, Matthias Werner, Chemnitz University of Technology, Germany
   Communication Protocols for Real-Time Systems: Time vs. Events Revisited
   
   
4. Zeashan H. Khan, Denis G. Catalot, Jean M. Thiriet, GIPSA-lab and LCIS, France
   Co-design in Heterogeneous Wireless Networked Control Systems
   
   
5. Muhammad Azam, Nicholas Ioannides, Mark H. Rümmeli, Igor Schagaev, London Metropolitan University, United Kingdom, IFW Dresden, Germany
   System Software Support for Router Reliability

1. Alejandro Alonso, Emilio Salazar, Jorge López, Universidad Politécnica de Madrid, Spain
   Improving Predictability in Service Oriented Architectures
   
   
2. Thomas Bangemann, Christian Diedrich, Matthias Riedl, Daniel Wuwer, Robert Harrison, Radmehr P. Monfared, Institut f. Automation und Kommunikation, Magdeburg, Germany, and Loughborough University, United Kingdom
   Integration of Automation Devices in Web Service Supporting Systems
   
   
3. Bernhard Huber, Roman Obermaisser, Vienna University of Technology, Austria
   An ARTEMIS Cross-Domain Embedded System Architecture and Its Instantiation for Real-Time Automotive Applications
   
   
4. E. Mezzetti and T. Vardanega, University of Padua, Italy
   Impacts of Software Architectures on Cache Predictability in High-Integrity Systems
   
   
5. Thomas Kaegi-Trachsel, Igor Schagaev, Juerg Gutknecht, ETH Zürich, Switzerland, London Metropolitan University, United Kingdom
   Hardware Testing on the Level of Tasks

1. Diego Martínez, Universidad Autónoma de Occidente, Colombia, Patricia Balbastre, Francisco Blanes, José Simo & Alfons Crespo, Universitat Politècnica de València, Spain
   Schedulability Analysis and Performance Evaluation of WSAN
   
   
2. Olha Honcharova, Christoph Cullmann, Florian Martin, AbsInt Angewandte Informatik GmbH, Germany
   Static Detection of Parametric Loop Bounds on C Code
   
   
3. Tiberiu Letia, Radu Miron, Mihai Hulea, Technical University of Cluj-Napoca, Romania
   Adaptive Message Scheduling for a Real-Time Distributed Control System
   
   
4. Matthias Ivers, Rolf Ernst, Technical University Braunschweig, Germany
   Effect of Stochastic Load Dependencies on Queue Sojourn Times
   
   
5. Dieter Zöbel , Christian Weyand,  Christian Schwarz, University Koblenz-Landau, Germany
   Safe Control for Systems with Value- and Time-Dependant Deviations

16:00-16:30 – Coffee Break

16:30-18:30 – Session WRTP-6:  Control, Robotics and Aerospace. Oral presentations, chair – Janusz Zalewski

1. Wojciech Grega, Pawe?? Pi�?tek, AGH University of Science  & Technology, Poland
   Linear Digital Controller for High-Speed Dynamical System
   
   
2. Manuel Muñoz, J. Francisco Blanes, Miguel Albero, Javier O. Coronel, José E. Simó, Alfons Crespo, Salvador Peiró, Universitat Politècnica de València, Spain
   Real-Time Control of 20 DoF Humanoid Robot
   
   
3. Amine Mechraoui, Zeashan H. Khan, Jean M. Thiriet, GIPSA-Lab, France
   Effect of Packet Loss on the Quality of Control of a Networked Mobile Robot
   
   
4. Edison Pignaton de Freitas, Alécio Pedro Delazari Binotto, Carlos Eduardo Pereira, André Stork & Tony Larsson, Universidade Federal do Rio Grande do Sul, Brazil, Technische Universität Darmstadt, Germany, Halmstad University, Sweden
   Dynamic Activity and Task Allocation Supporting UAV Teams in Surveillance Systems
5. Kasra Motamedi, Nicholas Ioannides, Mark H. Rümmeli, Igor Schagaev, London Metropolitan University, United Kingdon, IFW Dresden, Germany
   Reconfigurable Network on Chip Architecture for Aerospace Applications
   
   
6. Dmitry A. Bushenko, Rauf Kh. Sadykhov, Belarussian State University of Informatics and Radioelectronics, Belarus
   Towards Near-Realtime Identification of Extended Objects in Low-contrast Images

9:15-10:45 – WRTP/RTS/IFAC Program Committee Meeting