Monday 22 |
|||
09:30 |
TutorialsT1 - Access Types and Memory Management in Ada 2012Room A138 T3 - Parallelism in Ada, Today and TomorrowRoom A139 T4 - Probabilistic Timing AnalysisRoom A140 |
De-CPS 2015 WorkshopRoom A141 |
|
11:00 |
Break |
||
11:30 |
TutorialsT1 - Access Types and Memory Management in Ada 2012Room A138 T3 - Parallelism in Ada, Today and TomorrowRoom A139 T4 - Probabilistic Timing AnalysisRoom A140 |
De-CPS 2015 WorkshopRoom A141 |
|
13:00 |
Lunch |
||
14:30 |
TutorialsT2 - Designing and Checking Coding Standards for AdaRoom A138 T3 - Parallelism in Ada, Today and TomorrowRoom A139 T4 - Probabilistic Timing AnalysisRoom A140 |
De-CPS 2015 WorkshopRoom A141 |
|
16:00 |
Break |
||
16:30 |
TutorialsT2 - Designing and Checking Coding Standards for AdaRoom A138 T3 - Parallelism in Ada, Today and TomorrowRoom A139 T4 - Probabilistic Timing AnalysisRoom A140 |
De-CPS 2015 WorkshopRoom A141 |
|
18:00 |
End of technical program |
||
18:15 |
Ada Lovelace BicentennialPreview of the film To Dream Tomorrow Aula Magna |
Tuesday 23 |
||
09:00 |
Opening / Welcome |
|
09:30 |
Keynote talkIEC-61508 Certification of mixed-criticality systems based on multicore and partitioning |
|
10:30 |
Break + Exhibition |
|
Regular session 1: Language Technology |
||
11:30 |
Extensible Debugger Framework for Extensible Languages |
|
12:00 |
Static Backward Program Slicing for Safety-Critical Systems |
|
12:30 |
A Novel Runtime Monitoring Architecture for Safe and Efficient Inline Monitoring |
|
13:00 |
Lunch + Exhibition |
|
Vendor session |
||
14:15 |
Ada Core |
|
14:35 |
Rapita Systems |
|
14:55 |
Vector Software |
|
15:15 |
Lady Ada Lovelace Bicentennial CelebrationScreening of the film To Dream Tomorrow, with the participation of Jo Francis and John Fügi, directors |
|
16:15 |
Break + Exhibition |
|
Industrial track: Ada Applications |
||
17:00 |
From Ada 83 to Ada 2012 |
|
17:30 |
Automated trading with Ada |
|
18:00 |
WCS — Warehouse Control System in Ada | |
18:30 |
End of technical program |
|
18:30 |
Ada-Europe General Assembly |
|
19:00 |
Welcome cocktail |
Wednesday 24 |
||
09:30 |
Keynote talk:Software Development of Safety-Critical Railway Systems |
|
10:30 |
Break + Exhibition |
|
Industrial track: Critical Systems in Industry |
||
11:30 |
Early Experiences in the Industrial Application of Spark 2014 |
|
12:00 |
System integration in a railway setting |
|
12:30 |
Model Based Engineering of an Unmanned Aerial System |
|
13:00 |
Lunch + Exhibition |
|
Regular session: Real-time Applications |
||
14:30 |
Schedulability analysis of PWM tasks for the UPMSat-2 ADCS |
|
15:00 |
Guaranteeing timing requirements in the IXV On-Board Software |
|
15:30 |
Maintenance of Reliable Distributed Applications with Open-Source Middlewares: Fifteen Years Later |
|
16:00 |
Break + Exhibition |
|
Special session: Advances on methods |
||
17:00 |
A Task-Based Concurrency Scheme for Executing Component-Based Applications |
|
17:30 |
Persistent Containers with Ada 2012 |
|
18:00 |
Effective Worst-Case Execution Time Analysis of DO178C Level A Software |
|
18:30 |
End of technical program |
|
20:00 |
Conference BanquetClub de Campo Villa de Madrid |
Thursday 25 |
||
09:30 |
Keynote talkThe Central On-board Computer of the Philae Lander in the Context of the Rosetta Space Mission |
|
10:30 |
Break + Exhibition |
|
Regular session: Critical Systems |
||
11:30 |
The CONCERTO methodology for model-based development of avionics software |
|
12:00 |
From AADL model to LNT specification |
|
12:30 |
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases |
|
13:00 |
Lunch + Exhibition |
|
Industrial track: Tools at Work |
||
14:30 |
Multi-core testing and code coverage |
|
15:00 |
Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards |
|
15:30 |
Source code analysis of flight software using a SonarQube based code quality platform |
|
16:00 |
Break + Exhibition |
|
Regular session: Multi-core, distributed systems |
||
17:00 |
Challenges in the Implementation of MrsP |
|
17:30 |
An Execution Model for Fine-Grained Parallelism in Ada |
|
18:00 |
AFDX Emulator for an ARINC-based Training Platform |
|
18:30 |
Closing Session |
|
19:00 |
End of technical program |
Friday 26 |
||
09:30 |
TutorialsT5 - Ada 2012 (Sub)types and Subprogram Contracts in PracticeRoom A141 T7 - Software Measures for Dependable Software SystemsRoom A139 T9 - Real-Time and Embedded Programming with Ada 2012Room A140 |
ACVI 2015 WorkshopRoom A138 |
11:00 |
Break |
|
11:30 |
TutorialsT5 - Ada 2012 (Sub)types and Subprogram Contracts in PracticeRoom A141 T7 - Software Measures for Dependable Software SystemsRoom A139 T9 - Real-Time and Embedded Programming with Ada 2012Room A140 |
ACVI 2015 WorkshopRoom A138 |
13:00 |
Lunch |
|
14:30 |
TutorialsT6- When Ada Meets Python: Extensibility through ScriptingRoom A141 T8- Software Design Concepts and PitfallsRoom A139 T9 - Real-Time and Embedded Programming with Ada 2012Room A140 |
ACVI 2015 WorkshopRoom A138 |
16:00 |
Break |
|
16:30 |
TutorialsT6- When Ada Meets Python: Extensibility through ScriptingRoom A141 T8- Software Design Concepts and PitfallsRoom A139 T9 - Real-Time and Embedded Programming with Ada 2012Room A140 |
ACVI 2015 WorkshopRoom A138 |
18:00 |
End of technical program |