International Multiconference
on Computer Science and Information Technology

12-14 October 2009, Mrągowo, Poland
logo PTI

Polish Information Processing Society
PRINT article  SEND link to article  facebook google delicious dig 

Program of the

30th IFAC Workshop on Real-Time Programming
and 4th International Workshop on Real-Time Software

Mondat, October 12, 2009

9:00-10:45 –  Keynote Session WRTP-1. Oral presentations, chair – Janusz Zalewski

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

10:45-11:15 – Coffee Break

[ 11:15-13:15 – IMCSIT Conference Keynote Lecture ]

13:15-14:30 – Lunch Break

14:30-16:30 – Session WRTP-2: Formal Methods
. Oral presentations, chair – Janusz Zalewski

  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

17:00-18:40 – Session WRTP-3: Distributed Systems and Networks.
Oral presentations, chair – Janusz Zalewski

  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

Tuesday, October 13, 2009

9:15-10:45 – Session WRTP-4: System Architectures.
Oral presentations, chair – Janusz Zalewski

  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

10:45-11:15 – Coffee Break

[ 11:15-13:15 – IMCSIT Conference Keynote Lecture ]

13:15-14:30 – Lunch Break

14:30-16:00 – Session WRTP-5: Schedulig and Timing.
Oral presentations, chair – Janusz Zalewski
  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

Wednesday, October 14, 2009

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

Friday, 12 VII 2013
 Copyright © PTI 2006-2013  ::  Code/Design by T.S.  ::  Redesigned by A.P.  ::  Webmaster 
 Valid XHTML 1.0 Transitional Valid CSS v 2.1 
Total visits: 233493 times.