Detail of Sessions
Conference overview and detailed information about the tutorials and the workshops is available from the left menu.
Regular Sessions
Regular session 1: Formal Methods (Tuesday, 11:30) | |
| Ilya Lopatkin and Alexander Romanovsky | Rigorous Development of Fault-Tolerant Systems through Co-Refinement |
| Bernd Burgstaller and Johann Blieberger | Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects |
| Jiale Zhou, Yue Lu and Kristina Lundqvist | A TASM-based Requirements Validation Approach for Safety-critical Embedded Systems |
Regular session 2: Uses of Ada (Wednesday, 11:30) | |
| André De Matos Pedro, David Pereira, Luis Miguel Pinho and Jorge Sousa Pinto | Towards a Runtime Verification Framework for the Ada Programming Language |
| Sergio Sáez, Jorge Real and Alfons Crespo | Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012 |
| Luis Miguel Pinho, Brad Moore and Stephen Michell | Parallelism in Ada: Status and Prospects |
Regular session 3: Real-Time Scheduling (Thursday, 11:30)) | |
| Alan Burns and Andy Wellings | Deadline-Aware Programming and Scheduling |
| Manar Qamhieh and Serge Midonnet | Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level |
| Sergio Sáez and Alfons Crespo | Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels |
Regular session 4: Applications (Thursday, 17:00)) | |
| Antoine Jaouen, Etienne Borde, Laurent Pautet and Thomas Robert | PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems |
| Gerhard Hanis and Burkhard Stadlmann | OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines |
| Alexei Iliasov, Ilya Lopatkin and Alexander Romanovsky | Practical Formal Methods in Railways - the SafeCap Approach |
Experience Report Session
Tuesday, 17:00
Chair: Jørgen Bundgaard
| Antoine Colin, Roger Braff and Andrew Coombes | Modified Condition/Decision Coverage (MC/DC) of Ada case statements |
| Jacob Sparre Andersen | Privacy Leaks in Java Classes |
| Juan Antonio de La Puente, Alejandro Alonso, Juan Zamorano, Jorge Garrido, Emilio Salazar and Miguel A. De Miguel | Experience in spacecraft on-board software development |
Industrial Sessions
Ada in Aerospace (Tuesday, 14:30)
Chair: Guillaume Foliard
| Philippe Gast and David Lesens | From Ada 83 to Ada 2012 |
| Javier Arroyo and Bartolome Lozano | Test Means at Airbus Defence and Space, Military Aircraft business line. Making Ada the Heart of an All-Encompassing Aircraft Test Life-Cycle |
| Gael Blondelle, Pierre Gaufillet and Silvia Mazzini | PolarSys, open source tools for embedded systems, and use cases |
Ada in Railways (Thursday, 14:30))
Chair: Rod White
| Christian Scholz | Agile Software Development compliant to Safety Standards? |
| Ana Rodriguez | Critical software For the First European Rail Traffic Management System |
| Robert Cholay | AdDoc (beyond a document generator) |
Vendor Sessions
Wednesday, 14:15 to 16:15
Chair: Jamie Ayre
14:15 |
|
14:35 |
|
14:55 |
|
15:15 |
|
15:35 |
|
15:55 |
Squoring Technologies
Ellidis Software
Rapita Systems
Altran
AdaLabs
AdaCore