|
|
International
Multiconference on Computer Science
and Information Technology
October 15-17, 2007,
Wisla, Poland |
Polish Information Processing Society |
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|