22nd International Conference on Reliable Software Technologies

Ada-Europe 2017

12-16 June 2017, Vienna, Austria

Detail of Sessions

All Sessions of the conference will take place in the main room.

Opening Session

Conference Overview (Tuesday, 08:30 - 09:00)


Regular Sessions

Runtimes (Tuesday, 10:50 - 12:30)

Chair: Jorge Real

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
Jorge Garrido, Juan Zamorano, Alejandro Alonso, and Juan A. de la Puente

Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime
Paolo Carletto and Tullio Vardanega


Programming Models (Tuesday, 16:30 - 18:00)

Chair: Rod Chapman

Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions
Seongho Jeong, Shinhyung Yang, and Bernd Burgstaller

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada
Morteza Mohaqeqi, Jakaria Abdullah, and Wang Yi

RxAda: An Ada implementation of the ReactiveX API
Alejandro R. Mosteo


Safety & Security (Wednesday, 11:00 - 12:30)

Chair: Jean-Pierre Rosen

Sanitizing Sensitive Data: How to Get it Right (or at Least Less Wrong...)
Roderick Chapman

Enforcing Timeliness and Safety in Mission-Critical Systems
António Casimiro, Inês Gouveia, and José Rufino


Timing Verification (Thursday, 11:00 - 12:30)

Chair: Markus Bader

Supporting Nested Resources in MrsP
Jorge Garrido, Shuai Zhao, Alan Burns, and Andy Wellings

Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems
Xiaotian Dai and Alan Burns

MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding
Enrique Díaz, Mikel Fernández, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernandez, Jaume Abella, and Francisco J. Cazorla

Mixed Criticality (Thursday, 14:00 - 15:30)

Chair: Juan Antonio de la Puente

Migrating Mixed Criticality Tasks within a Cyclic Executive Framework
Alan Burns and Sanjoy Baruah

Directed Acyclic Graph Scheduling for Mixed-Criticality Systems
Roberto Medina, Etienne Borde, and Laurent Pautet

Software Time Reliability in the Presence of Cache Memories
Suzana Milutinovic, Jaume Abella, Irune Agirre, Mikel Azkarate-Askasua, Enrico Mezzetti, Tullio Vardanega, and Francisco Cazorla

Panel: The Future of Safety-Minded Languages

Moderator: Erhard Ploedereder (Wednesday, 16:30 - 19:00)

A New Ravenscar-Based Profile
P. Rogers, J. Ruiz,T. Gingold, and P. Bernardi

OpenMP Tasking Model for Ada: Safety and Correctness
Sara Royuela, Xavier Martorell, Eduardo Quinones, and Luis Miguel Pinho

Enhancable Tooling for Every Day Programmers
Oliver Schneider and Hubert B. Keller

Safe, Contract-Based Parallel Programming
Tucker Taft


Industrial Sessions 

Exploratory Uses of Ada (Tuesday, 14:00 - 15:30)

Chair: Ian Broster

Astronomical Ada
Ahlan Marriott

IP Network Stack in Ada 2012 and the Ravenscar profile
Stephane Carrez

Hardware-Based Data Protection/Isolation at Runtime in Ada Code for Microcontrollers
German Rivera


Verification (Wednesday, 14:00 - 15:30)

Chair: Ben Brosgol

Automated Testing of SPARK Ada Contracts: Progress & Case Study Report
Simon Daniel and Stuart Matthews

Introducing static analysis to a mature project
Jacob Sparre Andersen

Challenges and Opportunities for Improvements of the Testing Process for Ada based Safety Critical Systems
Ian Broster and Guillem Bernat


Large Industrial Applications (Thursday, 16:30 - 18:00)

Chair: Ahlan Marriott

Experiences with Ada in the Safety-Critical Communication and Ground Control Systems of the nEUROn UCAV
Luis Pabón, Artemio Jiménez, and José M. Martínez

Experience with Use of Model Driven Code Generation on the ASIM Project
Steen Palm

A Time-Triggered Middleware for Safety-Critical Automotive Applications
Ayhan Mehmed, Wilfried Steiner, and Maximilian Rosenblattl


Vendor Presentations

AdaCore: Tuesday 10:50 - 11:10, Presentation

PTC: Tuesday 12:10 - 12:30

VectorCast: Wednesday 10:00 - 10:20, Presentation

Rapita: Wednesday 15:30 - 15:50


Closing Session

Best presentation award & presentation of next year conference (Thursday 18:30 - 19:00)