| Tuesday,
17 June | Wednesday,
18 June | Thursday,
19 June |
| 9:00 - 9:30 | Welcome and Opening Address | Keynote Talk
Lost in Translation
Robert Dewar
New York University, NY
chair: Erhard Plödereder
room 1 (Aula Magna) | Keynote Talk
Three ways to improve SOA reliability
Christian Queinnec
Université Pierre et Marie Curie, Paris, France
chair: Fabrice Kordon
room 1 (Aula Magna) |
| 9:30 - 10:00 | Keynote Talk
Embedded Software Design: Art or Science?
Alberto Sangiovanni-Vincentelli
University of California at Berkeley, CA
chair: Tullio Vardanega
room 1 (Aula Magna) |
| 10:00 - 10:30 | Coffee & Exhibition | Coffee & Exhibition |
| 10:30 - 11:00 | Coffee & Exhibition |
| 11:00 - 11:30 | Industrial Presentations
chair: Luís Miguel Pinho
room 1 (Aula Magna)
A discussion on the U.S. Federal Aviation Administration's use of and experiences with Ada, including the current modernization efforts
J. O'Leary, A. Srivastava
Experiences Developing the Flight Services Component of the ERAM System
H. Ausden
Challenges in Implementing a Ravenscar Runtime in an ARINC 653 Partition
J.-P. Fauche, T. Grossman
Binary Data Comparison Automation
M. Mark | Language Technologies
chair: Christian Queinnec
room 1 (Aula Magna)
A Comparison of the Object-Oriented Features of Ada 2005 and Java
B. Brosgol
A Framework for CFG-based Static Program Analysis of Ada Programs
R. Fechete, G. Kienesberger, J. Blieberger
A Type Safe Database Interface
F. Villoing, E. Briot |
| 11:30 - 12:00 | Embedded Systems
chair: Franck Singhoff
room 1 (Aula Magna)
A new Approach to Memory Partitioning in On-board Spacecraft Software
Santiago Urueña, J. A. Pulido, Jorge López, J. Zamorano and J. A. de la Puente
Design and Development of Component-based Embedded Systems for Automotive Applications
M. Di Natale |
| 12:30 - 14:00 | Lunch & Exhibition | Lunch & Exhibition | Lunch & Exhibition |
| 14:00 - 15:30 | Formal Verification
chair: Laure Petrucci
room 1 (Aula Magna)
On the Timed Automata-based Verification of Ravenscar Systems
I. Ober, N. Halbwachs
Operational Semantics of Ada Ravenscar
I. Hamid, E. Najm
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives
Claude Evéquoz | Vendor Session
chair: Ahlan Marriott
room 2 (sala Goldoni)
SPARK Technical Update
Rod Chapman (Praxis High Integrity Systems Ltd)
Optimization of Real-Time Systems: Why Worst Case and Average Case Optimizations are Different
Ian Broster (Rapita Systems Ltd)
An Update on Ellidiss Modeling Tools and the 'New World' of AADL
Tony Elliston (Ellidiss Software)
| Industrial Presentations
chair: Dirk Craeynest
room 1 (Aula Magna)
Industrial Feedback on the Separation of Functional and Real-Time Constraints, and Object Orientation for Embedded Application
M. Le Coroller, G. Garcia
Advanced Real-Time Analysis in ASSERT - Application on Satellite Central Flight Software
D. Thomas, J.-P. Blanquart, M. Panunzio
Porting Naval Command & Control Systems to Ada 2005
J. Cousins
Distributed Status Monitoring and Control using Remote Buffers and Ada 2005
B. Moore | Ada and Education
chair: Jorge Real
room 2 (sala Goldoni)
A Rational Approach to Software Engineering Education or: Java Considered Harmful
E. Schonberg, R. Dewar
Ada and Software Engineering Education: One Professor's Experiences
J.W. McCormick
Is Ada education important?
J.-P. Rosen | Model-Driven Engineering
chair: Marco Di Natale
room 1 (Aula Magna)
StateML+: From Graphical State Machine Models to Thread-Safe Ada Code
D. Alonso, C. Vicente-Chicote, J.A. Pastor, B. Álvarez
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems
M. Bordin, T. Tsiodras, M. Perrotin
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
S.H.K. Narayanan, M. Kandemir | Concurrency
chair: Claude Keiser
room 2 (sala Goldoni)
Increasing Confidence in Concurrent Software Through Architectural Analysis
Robert G. Pettit
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness
Sherif Fahmy, Binoy Ravindran, Douglas Jensen
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs
Aoun Raza, Gunther Vogel |
| 15:30 - 16:30 | Coffee & Exhibition | Coffee & Exhibition | Coffee & Exhibition |
| 16:30 - 18:00 | Applications of Petri Nets
chair: Elie Najm
room 1 (Aula Magna)
A Modelling Approach with Coloured Petri Nets
C. Choppy, L. Petrucci, G. Reggio
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets
L. Carnevali, L. Grassi, E. Vicario
Concurrent Program Metrics Drawn by QUASAR Numbers
C. Kaiser, C. Pajault, J.-F. Pradat-Peyre | Vendor Session
(continued)
GNAT Pro, at the heart of multi-language development
Michaël Friess (AdaCore)
Open Source, Proprietary and Third Party Software: The AonixADT/Hibachi Experience
Tom Grosman (Aonix SA)
| Industrial Presentations
(continued)
A comparison of industrial coding rules
Jean-Pierre Rosen
Growing a Tree that Lives Forever: Automatic Storage Management and Persistence of Complex Data Structures
S.T. Taft
Exceptionally Safe
A. Charlet, C. Comar, F. Gasperoni | Ada and Education
(continued)
Use of Ada in a Student CubeSat Project
C. Brandon | Real-Time Systems
chair: Alok Srivastava
room 1 (Aula Magna)
Can We Increase Usability of Real-Time Scheduling Theory ? The Cheddar Project
F. Singhoff, A. Plantec, P. Dissaux
An Ada 2005 Technology for Distributed and Real-Time Component-based Applications
P. López Martinez, J.M. Drake, P. Pacheco , J.L. Medina
Real-Time Distribution Middleware from the Ada Perspective
H. Pérez, J. Guttiérrez, D. Sangorrín M. González Harbour |
| Panel Discussion |
| 18:00 - 19:00 | Ada-Europe General Assembly | | Closing Address and Best-Presentation Award |
| From 19:00 | Welcome Reception | Excursion and Banquet | |
