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)

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)

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)

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

Correct-by-Construction Specification to Verified Code
Ning Ge, Arnaud Dieumegard, Eric Jenn, and Laurent Voisin

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

 

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

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)

Migrating Mixed Criticality Tasks within a Cyclic Executive Framework
Alan Burns ans 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

On the stagnation of the Ada language
Oliver Schneider and Hubert B. Keller

Heading towards Ada 202X
ARG

 

Industrial Sessions 

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

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)

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
Guillem Bernat

 

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

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

PTC: Tuesday 12:10 - 12:30

VectorCast: Wednesday 10:00 - 10:20

Rapita: Wednesday 15:30 - 15:50

 

Closing Session

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