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)