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
Presentation

Eliminating Data Race Warnings Using CSP
Martin Wittiger
Presentation

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

 

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

Chair: Johann Bleiberger

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

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

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

 

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
Presentation

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

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

 

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
Presentation

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
Presentation

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

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)

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

  

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
Presentation

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

Automated Testing of SPARK Ada Contracts (AUTOSAC)
Ian Broster
Presentation

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

 

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

Chair: Marco Di Natale

An update on Programming Language Vulnerabilities
Stephen Michell
Presentation

Middleware for distributed and redundant software
Vincent Monfort
Presentation

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

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

 

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
    Presentation
  • Ada-SPARK Education and Research Ecosystem for Robotic and Drone Applications, Jarno Puff, LikeAbird, Italy 
    Presentation
  • Vermont Tech SPARK/Ada Powered Spacecraft Update,  Carl Brandon, Vermont Technical College, USA
    Presentation

 

 

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)