|
||||
|
Monday
5th June |
|
|||
Tutorials:
|
||||
|
|
||||
|
Tuesday 6th
June |
|
|||
|
|
Keynote Talk Session Chair: Michael Gonzalez Harbour Room: Guimarães II |
|||
|
9:00 - 10:00 |
Correctness by
Construction: |
|
||
|
|
|
|
||
|
|
Session: Real-Time Systems Session Chair: Joyce Tokar Room: Guimarães II |
|
||
|
11:00 - 11:30 |
Hierarchical
Scheduling with Ada 2005 |
|
||
|
11:30 - 12:00 |
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications |
|
||
|
12:00 - 12:30 |
POSIX Trace Based
Behavioural Reflection |
|
||
|
|
|
|
||
|
|
Session: Static Analysis Session Chair: Janet Barnes Room: Guimarães II |
|
||
|
14:00 - 14:30 |
Static Detection
of Access Anomalies in Ada95 |
AdaCore |
||
|
14:30 - 15:00 |
One Million (LOC)
and Counting: Static Analysis for Errors and Vulnerabilities in the Linux
Kernel Source Code |
|||
|
15:00 - 15:30 |
Bauhaus - a tool
suite for program analysis and reverse engineering |
|||
|
|
|
|
||
|
|
Session: Verification Session Chair: Johann Blieberger Room: Guimarães II |
|
||
|
16:30 - 17:00 |
SPARK Annotations
within Executable UML |
PrismTech |
||
|
17:00 - 17:30 |
Runtime
Verification of Java Programs for Scenario-Based Specifications |
|||
|
Invited Presentation Session Chair: Erhard Plöedereder Room: Guimarães II |
||||
|
17:30 - 18:00 |
I Have a Dream: ICT Problems We All Face |
|
||
|
|
|
|
||
|
|
|
|
||
|
|
|
|||
|
|
||||
|
Wednesday 7th June |
|
|||
|
|
Keynote Talk Session Chair: Tullio Vardanega Room: Guimarães II |
|||
|
9:00 - 10:00 |
Empirical Software
Risk Assessment |
|
||
|
|
|
|
||
|
|
Session: Applications Session Chair: Jorge Real Room: Guimarães II |
|
||
|
11:00 - 11:30 |
Secure Execution
of Computations in Untrusted Hosts |
A Software
Reliability Model Based on a Geometric Sequence of Failure Rates
|
||
|
11:30 - 12:00 |
A Systematic
Approach to Developing Safe Tele-operated Robots |
Adaptive Random
Testing Through Iterative Partitioning |
||
|
12:00 - 12:30 |
Towards
developing multi-agent systems in Ada |
|||
|
|
|
|
||
|
|
Session: Industrial Presentations #1 Session Chair: Dirk Craeynest Room: Guimarães II |
|
||
|
14:00 - 14:30 |
Developing
Reliable Software Rapidly |
|
||
|
14:30 - 15:00 |
Publisher
Framework (PFW) |
|
||
|
15:00 - 15:30 |
Assessment of
Lane Recognition Systems |
|
||
|
15:30 - 16:00 |
Using CORBA to
Bring New Life to Legacy Ada Software |
|
||
|
|
|
|
||
|
|
Session: Compilers Session Chair: Laurent Pautet Room: Guimarães II |
|
||
|
17:00 - 17:30 |
Abstract
Interface Types in GNAT: Conversions, Discriminants, and C++ |
|
||
|
17:30 - 18:00 |
Using Mathematics
to Improve Ada Compiled Code |
|
||
|
|
|
|
||
|
|
|
|||
|
|
||||
|
Thursday 8th June |
|
|||
|
|
Keynote Talk Session Chair: Luís Miguel Pinho Room: Guimarães II |
|||
|
9:00 - 10:00 |
Model Driven Technologies in Safe-aware Software Applications
|
|
||
|
|
|
|
||
|
|
Session: Industrial Presentations #2 Session Chair: Ben Brosgol Room: Guimarães II |
|
||
|
11:00 - 11:30 |
A Metamodel-based
Approach to Reverse Engineer Ada Source Code into UML |
|
||
|
11:30 - 12:00 |
The Development
and Deployment of a Workflow System partially written in Ada95 |
|
||
|
12:00 - 12:30 |
Parallel
Graphical Processing in Ada |
|
||
|
|
|
|
||
|
|
Session: Distributed Systems Session Chair: Alan Burns Room: Guimarães II |
|
||
|
14:00 - 14:30 |
Replication-Aware
Transactions: How to roll a transaction over failures |
|
||
|
14:30 - 15:00 |
The Arbitrated
Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for
High-Integrity Distributed Systems |
|
||
|
15:00 - 15:30 |
Interchangeable
scheduling policies in real-time middleware for distribution |
|
||
|
|
|
|
||
|
|
|
|
||
|
|
||||
|
Friday 9th June |
|
|||
Tutorials:
|
||||
|
|
||||
|
The conference will take place in the 2nd floor of Hotel Le Meridien (on the lobby of the hotel please take the stairs on your left). Sessions will be held in the Guimarães II and Sagres rooms. The exhibition and coffee breaks will be held in the Guimarães I room. Lunch will be served in the Hotel restaurant (1st floor).
|
||||
|
|
||||
|
||||
