19th International Conference on Reliable Software Technologies

Ada-Europe 2014

23-27 June 2014, Paris, France

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)
Chair: Juan Antonio de la Puente

Ilya Lopatkin and Alexander RomanovskyRigorous Development of Fault-Tolerant Systems through Co-Refinement
Bernd Burgstaller and Johann BliebergerKronecker Algebra for Static Analysis of Ada Programs with Protected Objects
Jiale Zhou, Yue Lu and Kristina LundqvistA TASM-based Requirements Validation Approach for Safety-critical Embedded Systems

Regular session 2: Uses of Ada (Wednesday, 11:30)
Chair: Albert Llemosì

André De Matos Pedro, David Pereira, Luis Miguel Pinho and Jorge Sousa PintoTowards a Runtime Verification Framework for the Ada Programming Language
Sergio Sáez, Jorge Real and Alfons CrespoReliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012
Luis Miguel Pinho, Brad Moore and Stephen MichellParallelism in Ada: Status and Prospects

Regular session 3: Real-Time Scheduling (Thursday, 11:30))
Chair: Luis Miguel Pinho

Alan Burns and Andy WellingsDeadline-Aware Programming and Scheduling
Manar Qamhieh and Serge MidonnetSchedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level
Sergio Sáez and Alfons CrespoIntegrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels

Regular session 4: Applications (Thursday, 17:00))
Chair: Ben Brosgol

Antoine Jaouen, Etienne Borde, Laurent Pautet and Thomas RobertPDP 4PS : Periodic-Delayed Protocol for Partitioned Systems
Gerhard Hanis and Burkhard StadlmannOBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines
Alexei Iliasov, Ilya Lopatkin and Alexander RomanovskyPractical 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 AndersenPrivacy 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 LesensFrom Ada 83 to Ada 2012
Javier Arroyo and Bartolome LozanoTest 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 MazziniPolarSys, open source tools for embedded systems, and use cases

Ada in Railways (Thursday, 14:30))
Chair: Rod White

Christian ScholzAgile Software Development compliant to Safety Standards?
Ana RodriguezCritical software For the First European Rail Traffic Management System
Robert CholayAdDoc (beyond a document generator)

Vendor Sessions

Wednesday, 14:15 to 16:15
Chair: Jamie Ayre


SQUORING Technologies Squoring Technologies


Ellidiss Technologies Ellidis Software


RAPITA Systems Ltd. Rapita Systems


Altran Altran


AdaLabs AdaLabs


AdaCore AdaCore