|
Morning |
Late Morning |
Early Afternoon |
Afternoon |
Monday
14 June
Tutorials |
Developing High-Integrity Systems
with GNATforLEON/ORK+
J. A. de la Puente, J. Zamorano |
Hypervisor Technology for Building
Safety-Critical Systems: XtratuM
I. Ripoll, A. Crespo |
Software Design Concepts and Pitfalls
W. Bail |
How to Optimize Reliable Software
I. Broster |
Using Object-Oriented Technologies
in Secure Systems
J. P. Rosen |
Developing Web-aware Applications
in Ada with AWS
J. P. Rosen |
Tuesday
15 June
Sessions & Exhibition |
Keynote Talk
What to Make of Multicore Processors for Reliable
Real-Time Systems?
Theodore Baker
|
Multicores and Ada |
Software Dependability |
Critical Systems |
Vendor Session |
Vendor Session |
Wednesday
16 June
Sessions & Exhibition |
Keynote Talk
Control Co-Design:
Algorithms and
their Implementation
Pedro Albertos
|
Real-Time Systems |
Industrial
Presentations |
Industrial
Presentations |
Invited Session
Software Vulnerabilities in Programming Languages and Applications
Stephen Michell |
Thursday
17 June
Sessions & Exhibition |
Keynote Talk
Ada: Made for
the 3.0 World
James Sutton
|
Language
Technology |
Industrial
Presentations |
Distribution and Persistency |
Friday
18 June
Tutorials |
SPARK. The Libre Language and Toolset for High-Assurance Software
R. Chapman
|
C#, .NET and Ada: Keeping the Faith in a Language-Agnostic Environment
B. Brosgol, J. Lambourg |
Morning tutorial sessions will start at 9:30 and end at 13:00. Afternoon sessions will start at 14:30 and end at 18:00. Coffee breaks will be at 11:00 - 11:30 and at 16:00 - 16:30.
The speaker of tutorial T7 has fallen ill and his medical recovery prevents him from
attending the conference. Regretfully therefore the tutorial must be cancelled.
