International Multiconference
on Computer Science and Information Technology

October 15-17, 2007, Wisla, Poland

Detailed schedule of
Real Time Software (RTS’07)


9.00 - 10.45:  "Formal Methods in Real-Time Systems"

Modelling and schedulability analysis of time Petri nets using Uppaal
Angelo Furfaro, Libero Nigro
Veriest: Reusing Verilog Designs in Esterel
Menachem Leuchter, Shmuel Tyszberowicz, Yishai Feldman
97. Towards the Safety Verification of Real-Time Systems with the Coq Proof Assistant
Olga Tveretina
A speed classification method for real-time controlled dynamic systems
Pawe?? Pi�?tek, Wojciech Grega
Improving Dependability of Automation for Free Electron Laser FLASH
Boguslaw Koseda, Tomasz Szmuc, Wojciech Cichalewski

10.45 - 11.00: Coffee break

11.00 - 12.45: "Dependability of Real-Time Systems"

Incorporating Fault Tolerance into Component-based Architectures for Embedded Systems
Shourong Lu, Wolfgang Halang
Dependability of Explicit DMC and GPC Algorithms
Piotr Gawkowski, Maciej ?�awry??czuk, Piotr Marusak, Janusz Sosnowski, Piotr Tatjewski
Robust Real-Time Communication for Large Scale Distributed ontrol Systems
Mariusz Postol
110. Using Preemption For Dependable Urban Vehicle Traffic
Tiberiu Letia, Sergiu Barbu, Florin Dinga


15.45 - 16.45:  Discussion panel - "Real-Time Systems Curriculum"

ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems
Andrew J. Kornecki, Thomas B. Hilburn, Wojciech Grega, Jean-Marc Thiriet, Miroslav Sveda

The modular approach of a real-time course
Shmuel Tyszberowicz

176. Educational Objectives for Embedded Systems
Wolfgang Halang
178. A Model for Educating Real-Time Software Engineers On-Deman
Janusz Zalewski

17.00 - 17.45:  "Real-Time Applications"

Interactive real-time Control Labs with Truetime and Easy Java Simulations
Gonzalo Farias, Karl-Erik Arzén, Anton Cervin
48. Task jitter measurement under RTLinux operating system
Pavel Moryc, Jindrich Cernohorsky