International Multiconference
on Computer Science and Information Technology

October 15-17, 2007, Wisla, Poland
 
 
 

Detailed schedule of
Real Time Software (RTS’07)

16.10.2007

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

32.
Modelling and schedulability analysis of time Petri nets using Uppaal
Angelo Furfaro, Libero Nigro
46.
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
145.
A speed classification method for real-time controlled dynamic systems
Pawe?? Pi�?tek, Wojciech Grega
105.
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"

36.
Incorporating Fault Tolerance into Component-based Architectures for Embedded Systems
Shourong Lu, Wolfgang Halang
81.
Dependability of Explicit DMC and GPC Algorithms
Piotr Gawkowski, Maciej ?�awry??czuk, Piotr Marusak, Janusz Sosnowski, Piotr Tatjewski
87.
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"

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

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"

86.
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