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
Presentation

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

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
Presentation 

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

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

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
Presentation

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

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

Chair: Markus Bader

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

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

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
Presentation
  

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
Presentation

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

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
Presentation
  

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
Presentation

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

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

Safe, Contract-Based Parallel Programming
Tucker Taft
Presentation

Industrial Sessions 

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

Chair: Ian Broster

Astronomical Ada
Ahlan Marriott
Presentation

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

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

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
Presentation

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
Presentation

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

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

Vendor Presentations

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