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
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)