Programme
September 25, 2007
| 08:00
to 9:15 - Registration |
| 09:15
to 10:00 - Plenary opening |
- Martyn Thomas
- Sufficient Evidence?
|
| 10:00
to 11:00 |
- Jeff Cousins, BAE SYSTEMS
- Porting to Ada 2005
- Clive Pygott, QinetiQ
- The use of safe subsets in different
programming languages
|
- Michael Friess, AdaCore
-
Who's not interested in serious development?
Bringing safety to every Ada programmer
- Adrian Larkham, Aonix
- Hibachi – The Ada Development Tools Project
for Eclipse (ADT)
- Francis Thom, ARTiSAN Software Tools
- Implementing Design Patterns in Ada
|
| 11:00
to 11:30 - Coffee break |
| 11:30 to
12:30 |
- Paul Parkinson, Wind River
- Can Ada be used with Multiple Independent
Levels of Security?
- Michael Harbour, Universidad de Cantabria
- The Marte run-time and more generally on the advantages Ada has for real-time programmers
|
- Jon Williams, Green Hills Software
- Green Hills Software Safety Certified Solutions
for INTEGRITY-178B
- Alec Vogt, Kennedy Carter
- Automatic Code Generation: Leveraging Ada in a UML World
- George Elms, LDRA
- Bridging the Productivity Gap
|
| 12:30 to 14:00 - Lunch
|
A buffet lunch will be served in the Exhibition
Area, giving delegates a further opportunity to meet
with technical providers.
|
| 14:00 to
15:00 |
- Rod Chapman, Praxis High Integrity Systems
- Correctness by Construction:
Putting Engineering into Software
- Tucker Taft, SofCheck
- The automatic extraction of semantic information
from software (such as pre- and post-conditions) using advanced static
analysis
|
- Stuart Fisher, LynuxWorks
- Meeting the Demands of Software Security
- Andy Bissell, Objektum
- OOTest: Ada, UML and Test Tool Convergance
- Colin Coates, Telelogic
- Model-Driven Development for Ada Applications
|
| 15:00
to 15:30 - Coffee break |
| 15:30 to
16:30 |
- Ron Ashpole, Bewicks Consultants
- The DO-178C standardization
process
and implications for language
- Guilem Bernat, Rapita Systems
- Using Ada for software development tools
|
- Niroshan C. Rajadurai, Vector Software Inc.
- Advanced Techniques for Testing Software
- Paul Parkinson, Wind River
- Wind River Technology Update
- Rod Chapman, Praxis High Integrity Systems
- What’s new with SPARK?
|
| 16:30
to 17:15 - Plenary closing |
- Robert Dewar
- The future of programming languages
|
|
