21st International Conference on Reliable Software Technologies

Ada-Europe 2016

13-17 June 2016, Pisa, Italy

Detail of Sessions

All Sessions of the conference will take place in Aula Magna.

Opening Session

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


Regular Sessions

Concurrency & Parallelism (Tuesday, 11:30 - 13:00)

Chair: Jorge Real

Modeling and Analysis of Data Flow Graphs using the Digraph Real-Time Task Model
Morteza Mohaqeqi, Syed Md Jakaria Abdullah and Wang Yi

Eliminating Data Race Warnings Using CSP
Martin Wittiger

Real-Time Stream Processing in Java
Haitao Mei, Ian Gray and Andy Wellings


Testing & Verification (Wednesday, 17:00 - 18:30)

Chair: Johann Bleiberger

Addressing the Regression Test Problem with Change Impact Analysis for Ada
Andrew Vaughan Jones

Test Case Prioritization Using Online Fault Detection
Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova and Heinz Schmidt

An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine
Franco Mazzanti 


Program Correctness & Robustness (Thursday, 14:30 - 16:00)

Chair: Jean-Pierre Rosen

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development
Laura Baracchi, Silvia Mazzini, Stefano Puri and Tullio Vardanega

Extension of the Ocarina Tool Suite to support Reliable Replication-Based Fault-Tolerance
Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel

Kronecker Algebra for Static Analysis of Barriers in Ada
Robert Mittermayr and Johann Blieberger


Real-Time Systems (Thursday, 16:30 - 18:00)

Chair: Tullio Vardanega

An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling
Abhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, Radu Dobrin and Sasikumar Punnekkat

The Polling Effect on the Schedulability of Distributed Real-Time Systems
Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour and J. Carlos Palencia

Combining Time-Triggered Plans with Priority Scheduled Task Sets
Jorge Real, Sergio Sáez and Alfons Crespo

Special Session

Ada & Parallelism (Tuesday, 17:00 - 18:30)

Ada has been a language which has always excelled with its advanced high-level concurrency support. In the last 20 years, Ada has steadily extended its wealth of concurrency features and capabilities to a considerable extent, yet within the bounds of a sequential task reasoning. With the advances in processor, and in particular the move into a parallel world, it is time to discuss how Ada should be evolved into supporting in the language the notion of fine-grained parallelism. The session will include presentations by two Ada experts, followed by a general discussion on the evolution of the language.

Chair and Moderator: Jeff Cousins (BAE Systems, UK, and ARG rapporteur)

- Brad Moore (Gran Dynamics, Canada): Paraffin: A parallelism library for Ada
- S. Tucker Taft (AdaCore, USA): Ada Container Iterators for Parallelism and Map/Reduce


Industrial Sessions 

Uses of Ada (Wednesday, 11:30 - 13:00)

Chair: Jacob Andersen

What has the ARG been up to? - Recent and future changes to Ada 2012
Jeff Cousins

Using Ada's Visibility Rules and Static Analysis to Enforce Segregation of Safety Critical Components
Jean-Pierre Rosen and Jean-Christophe Van-Den-Hende

Automated Testing of SPARK Ada Contracts (AUTOSAC)
Ian Broster

Ada Usage in HMI for Onboard Safety Critical Applications
Clara María Arcones-Gabriel, Enrique Chicharro-López and Ismael Lafoz-Pastor


Reliable Software (Thursday, 11:30 - 13:00)

Chair: Marco Di Natale

An update on Programming Language Vulnerabilities
Stephen Michell

Middleware for distributed and redundant software
Vincent Monfort

Model-based design and schedulability analysis for avionic applications on multicore platforms
Wenceslas Godard and Geoffrey Nelissen

Fitting the CONCERTO component model approach to AUTOSAR development flow
Andrea Russino, Stefano Puri and Alessandro Zovi


Presentations session

Chair: J. Javier Gutiérrez

ITS EASY Post Graduate School, Approach & Examples (14:30 - 15:30)

ITS-EASY is an industrial research school in Embedded Software and Systems, affiliated with the School of Innovation, Design and Engineering (IDT) at Malardalen University (MDH), Sweden. The school is co-locating its summer meeting with the Ada-Europe conference.

During the presentations session on Wednesday, students will provide short presentations of their works, which will be followed by a poster display during the break.

Projects & Initiatives (15:30 - 16:00)

The conference will feature a show of posters from relevant Ada projects and initiatives. Posters will be on display from Tuesday. Authors will pitch their work during the presentations session, and will be available in the poster display during the break:

  • Timing analysis tools in a model-driven development environment, Juan Antonio de la Puente, Universidad Politècnica de Madrid, Spain
  • Ada-SPARK Education and Research Ecosystem for Robotic and Drone Applications, Jarno Puff, LikeAbird, Italy 
  • Vermont Tech SPARK/Ada Powered Spacecraft Update,  Carl Brandon, Vermont Technical College, USA



Vendor Session

Tuesday, 14:15 - 16:00

Chair: Ahlan Marriott

This session will feature presentations from conference exhibitors:

AdaCore - Presentation

ANSYS/Esterel - Presentation

PTC - Presentation

Rapita Systems - Presentation

Vector Software - Presentation


Closing Session

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