| |
|
Keynote 1, Klauss D. Mueller-Glaser, University of Karlsruhe, Germany
Keynote 2, Gerard Berry, Esterel Technologies, France
Keynote 3, Ali Mili, New Jersey Institute of Technology, USA
Keynote 4, Liviu Iftode, Rutgers University, USA
Final Program (pdf format). June 2007
Advanced Program (pdf format). March 2007
|
Morning |
Late Morning |
After Lunch |
Afternoon |
Monday
June 25th
Tutorials |
Rod Chapman
Security by Construction |
William Bail
An Overview of Model Driven Engineering |
William Bail
Verification and Validation for Reliable Software Systems |
Tullio Vardanega
CbyC: A UML2 profile enforcing the Ravsenscar Computational Model |
Matthew Heaney
Object-Oriented Programming in Ada 2005 |
Tuesday
June 26th
Sessions& Exhibition |
Keynote Talk:
Klauss D. Mueller-Glaser
Challenges for reliable software design in automotive electronic control units |
Ada 2005 & Real-Time Systems |
Verification & Validation |
Testing |
Vendor Session I |
Vendor Session II |
Wednesday
June 27th
Sessions & Exhibition |
Keynote Talk:
Gerard Berry
Synchronous techniques for embedded systems |
MDA & Real Time |
Industrial Presentations |
Industrial Presentations |
Thursday
June 28th
Sessions & Exhibition |
Keynote Talk:
Ali Mili
Perspectives on Next Generation Software Engineering |
MDA & Applications |
Keynote Talk:
Liviu Iftode
Observation Rooms for Program Execution Monitoring |
Distributed Systems |
Ada 2005 General Purpose Programming |
Friday
June 29th
Tutorials |
Gerard Berry
Synchronous Design of Embedded Systems: the Esterel/Scade Approach |
Thomas Quinot and Jérôme Hugues
Building interoperable applications with PolyORB |
Jolita Ralyté
Situational Method Engineering: Towards a Specific Method for Each System Development Project |
|
09:00 - 10:00 |
Keynote Talk:
Challenges for reliable software design in automotive electronic control units
Klauss D. Mueller-Glaser, University of Karlsruhe, Germany
Room : AULA |
10:00 - 11:00 |
Coffee & Exhibition |
| |
Ada 2005 & Real-Time Systems
Chair : Dominik Madon
Room : AULA |
11:00 - 11:30 |
Real-Time Utilities for Ada 2005
A. Wellings, A. Burns |
11:30 - 12:00 |
Handling temporal faults in Ada 2005
J. A. Pulido, S. Urueña, J. Zamorano,J. A. de la Puente |
12:00 - 12:30 |
Implementation of new Ada 2005 real-time services in MaRTE OS and GNAT
M. Aldea-Rivas, J. F. Ruiz |
12:30 - 14:00 |
Lunch & Exhibition |
| |
Verification & Validation
Chair : Klaus D. Mueller-Glaser
Room : A106
|
Vendor Session I
Chair : Alan Marriott
Room : Conference
|
14:00 - 14:30 |
|
|
14:30 - 15:00 |
Enhancing Dependability of Component-based Systems
A. Lanoix, D. Hatebur, M. Heisel, J. Souquieres |
|
15:00 - 15:30 |
On Detecting Double Literal Faults in Boolean Expressions
M. Lau, Y. Liu, T. Chen, Y. Yu |
|
15:30 - 16:00 |
Static Detection of Livelocks in Ada Multitasking Programs
J. Blieberger, B. Burgstaller, R. Mittermayr |
|
16:00 – 16:30 |
Coffee & Exhibition |
16:30 – 17:00 |
| |
Testing
Chair : Claude Evequoz
Room : A106
|
Vendor Session II
Chair : Neville Rowden
Room : Conference
|
17:00 – 17:30 |
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks
W. K. Chan, T. Y. Chen, S. C. Cheung, T. H. Tse, Z. Zhang |
|
17:30 – 18:00 |
An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers
H. Seok Chae, G. Woo, H. Jang |
18:00 – 18:30 |
Ada-Europe General Assembly |
18:30 – 19:00 |
| |
Reception |
|
09:00 - 10:00 |
Keynote Talk:
Synchronous techniques for embedded systems
Gerard Berry, Esterel Technologies, France
Chair : Erhard Plödereder
Room : AULA
|
10:00 - 11:00 |
Coffee & Exhibition |
| |
MDA & Real Time
Chair : Ian Broster
Room : AULA
|
11:00 - 11:30 |
Correctness by Construction for High-Integrity Real-Time Systems: a Metamodel-driven Approach
M. Bordin, T. Vardanega |
11:30 - 12:00 |
A Metamodel-driven Process Featuring Advanced Model-based Timing Analysis
M., Panunzio, T. Vardanega |
12:00 - 12:30 |
ArchMDE approach for the development of Embedded Real Time Systems
N. Elleuch, A. Khalfallah, S. Ben Ahmed |
12:30 - 14:00 |
Lunch & Exhibition
|
| |
Industrial Presentations #I
Chair : Rod Chapman
Room : AULA
|
14:00 - 14:30 |
The NIST SAMATE Project and Reliable Software
P. Black |
14:30 - 15:00 |
How Static Analysis can Increase Reliability and Readability of C, C++ and Java
R. Groenboom |
15:00 - 15:30 |
Practical Application of Static Analysis for Embedded Systems
David N. Kleidermacher |
15:30 - 16:00 |
Template Driven in UML Ada95
W. Glaister |
16:00 – 16:30 |
Coffee & Exhibition |
16:30 – 17:00 |
| |
Industrial Presentations #II
Chair : Frank van den Beuken
Room : AULA
|
17:00 – 17:30 |
Identifying Opportunities for Worse-Case Execution Time Reduction in an Avionics System
G. Bernat, M. Bennett |
17:30 – 18:00 |
Towards Certification of Object-Oriented Code with the GNAT Compiler
J. Miranda |
18:00 – 18:30 |
Secure Software-Download as part of a complex business process. L.Hanke, I. Furgel
|
18:30 – 18:40 |
ISO Central Secretariat, Keith Brannon (10 minutes presentation) |
| |
Banquet |
|
09:00 - 10:00 |
Keynote Talk:
Perspectives on Next Generation Software Engineering
Ali Mili, New Jersey Institute of Technology, USA
Chair : Nabil Abdennadher
Room : AULA
|
10:00 - 11:00 |
Coffee & Exhibition |
| |
MDA & Applications
Chair : Tullio Vardanega
Room : AULA
|
11:00 - 11:30 |
Generating Distributed High Integrity Applications from their Architectural Description
B. Zalila, I. Hamid, J. Hugues, L Pautet |
11:30 - 12:00 |
Automatic Ada Code Generation Using a Model-Driven Engineering Approach
D. Alonso, C. Vicente-Chicote, B. Alvarez, P. Sanchez, F. Losilla |
12:00 - 12:30 |
Towards User-Level extensibility of an Ada library : an experiment with Cheddar
F. Singhoff, A. Plantec |
12:30 - 14:00 |
Lunch & Exhibition
|
14:00 - 15:00 |
Keynote Talk:
Observation Rooms for Program Execution Monitoring
Liviu Iftode, Rutgers University, USA
Chair : Didier Buchs
Room : AULA
|
15:00 - 15:30 |
Coffee & Exhibition |
| |
Distributed Systems
Chair : Luis Miguel Pinho
Room : A106
|
Ada 2005 General Purpose Programming
Chair : Jérôme Hugues
Room : Conference
|
15:30 - 16:00 |
Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous.
C. Kaiser, C. Pajault, J.F. Peyre |
SANCTA: An Ada 2005 general-purpose architecture for mobile robotics research
A. Mosteo, L. Montano |
16:00 – 16:30 |
Design and Performance of a Generic Consensus Component for Critical Distributed Applications
K. Barbaria, J. Hugues, L. Pautet |
Incorporating Precise Garbage Collection in an Ada Compiler
F. Garcia, J. Miranda, J. Fortes Gálvez |
16:30 – 17:00 |
Closing Session & Awards |
Tuesday, 26th June, 2007 Vendor Sessions Room : Conference |
14:00 - 14:20 |
AADL and HRT-UML- Mission Critical Support
Tony Elliston |
Ellidiss Software |
14:20 - 14:40 |
What's new with SPARK?
Rod Chapman |
Praxis |
14:40 - 15:00 |
Application of Virtualization for Improved Software and Reliability
David Kleidermacher |
Green Hills Software |
15:00 - 15:20 |
An Insight into 12 Months of GNAT Pro Developments
Michaël Friess |
AdaCore |
15:20 - 15:40 |
Hibachi: A Vendor-Neutral Ada Plugin for Eclipse
Tom Grosman |
Hibachi/Eclipse project |
15:40 - 16:00 |
Correlation Between Coding Standards Compliance and Software Quality
Frank van den Beuken |
Programming Research BV |
16:00 - 16:40 |
|
|
How Long does your Software Take to Run? Worst-Case Execution Time Analysis using RapiTime.
Guillem Bernat |
Rapita Systems Ltd. |
17:00 - 17:20 |
Real-Time RAVEN for VxWorks 653: Bringing Safety to Hard Real-Time Applications
Patrícia Langle |
Aonix |
17:20 - 17:40 |
MDD for Ada Applications
Colin Coates
|
Telelogic |
17:40 - 18:00 |
Fluid Computing: Reliability for mobile devices through real-time state replication
Marcel Graf |
IBM |
|
|
