University of Padua ~ Department of Pure and Applied Mathematics
http://www.ada-europe.org/conference2008.html

Preliminary Call for Participation [PDF]

Springer has published the proceedings of the conference as volume 5026 in their Lecture Notes in Computer Science series.
Springer
proceedings accessible online at: http://www.springerlink.com/content/978-3-540-68621-7/


In cooperation with
SIGAda



ACM SIGAda 2008
Annual International Conference on the Ada Programming Language
October 26-30, 2008
Portland, Oregon, USA
official website

Conference Advert [PDF]

Webmaster:
Alessandro Lanza
Last updated:
May 5, 2008
13th International Conference on Reliable Software Technologies - Ada-Europe 2008
16-20 June 2008, Venice, Italy

Final Program

Final Program (PDF)

Tuesday,
17 June
Wednesday,
18 June
Thursday,
19 June
9:00 - 9:30Welcome and Opening AddressKeynote Talk
Lost in Translation
Robert Dewar
New York University, NY

chair: Erhard Plödereder
room 1 (Aula Magna)
Keynote Talk
Three ways to improve SOA reliability
Christian Queinnec
Université Pierre et Marie Curie, Paris, France

chair: Fabrice Kordon
room 1 (Aula Magna)
9:30 - 10:00Keynote Talk
Embedded Software Design: Art or Science?
Alberto Sangiovanni-Vincentelli
University of California at Berkeley, CA

chair: Tullio Vardanega
room 1 (Aula Magna)
10:00 - 10:30Coffee & ExhibitionCoffee & Exhibition
10:30 - 11:00Coffee & Exhibition
11:00 - 11:30
Industrial Presentations
chair: Luís Miguel Pinho
room 1 (Aula Magna)

A discussion on the U.S. Federal Aviation Administration's use of and experiences with Ada, including the current modernization efforts
J. O'Leary, A. Srivastava

Experiences Developing the Flight Services Component of the ERAM System
H. Ausden

Challenges in Implementing a Ravenscar Runtime in an ARINC 653 Partition
J.-P. Fauche, T. Grossman

Binary Data Comparison Automation
M. Mark
Language Technologies
chair: Christian Queinnec
room 1 (Aula Magna)

A Comparison of the Object-Oriented Features of Ada 2005 and Java
B. Brosgol

A Framework for CFG-based Static Program Analysis of Ada Programs
R. Fechete, G. Kienesberger, J. Blieberger

A Type Safe Database Interface
F. Villoing, E. Briot
11:30 - 12:00
Embedded Systems
chair: Franck Singhoff
room 1 (Aula Magna)

A new Approach to Memory Partitioning in On-board Spacecraft Software
Santiago Urueña, J. A. Pulido, Jorge López, J. Zamorano and J. A. de la Puente

Design and Development of Component-based Embedded Systems for Automotive Applications
M. Di Natale
12:30 - 14:00Lunch & ExhibitionLunch & ExhibitionLunch & Exhibition
14:00 - 15:30
Formal Verification
chair: Laure Petrucci
room 1 (Aula Magna)

On the Timed Automata-based Verification of Ravenscar Systems
I. Ober, N. Halbwachs

Operational Semantics of Ada Ravenscar
I. Hamid, E. Najm

Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives
Claude Evéquoz
Vendor Session
chair: Ahlan Marriott
room 2 (sala Goldoni)


SPARK Technical Update
Rod Chapman (Praxis High Integrity Systems Ltd)


Optimization of Real-Time Systems: Why Worst Case and Average Case Optimizations are Different
Ian Broster (Rapita Systems Ltd)


An Update on Ellidiss Modeling Tools and the 'New World' of AADL
Tony Elliston (Ellidiss Software)

Industrial Presentations
chair: Dirk Craeynest
room 1 (Aula Magna)

Industrial Feedback on the Separation of Functional and Real-Time Constraints, and Object Orientation for Embedded Application
M. Le Coroller, G. Garcia

Advanced Real-Time Analysis in ASSERT - Application on Satellite Central Flight Software
D. Thomas, J.-P. Blanquart, M. Panunzio

Porting Naval Command & Control Systems to Ada 2005
J. Cousins

Distributed Status Monitoring and Control using Remote Buffers and Ada 2005
B. Moore
Ada and Education
chair: Jorge Real
room 2 (sala Goldoni)

A Rational Approach to Software Engineering Education or: Java Considered Harmful
E. Schonberg, R. Dewar

Ada and Software Engineering Education: One Professor's Experiences
J.W. McCormick

Is Ada education important?
J.-P. Rosen
Model-Driven Engineering
chair: Marco Di Natale
room 1 (Aula Magna)

StateML+: From Graphical State Machine Models to Thread-Safe Ada Code
D. Alonso, C. Vicente-Chicote, J.A. Pastor, B. Álvarez

Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems
M. Bordin, T. Tsiodras, M. Perrotin

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
S.H.K. Narayanan, M. Kandemir
Concurrency
chair: Claude Keiser
room 2 (sala Goldoni)

Increasing Confidence in Concurrent Software Through Architectural Analysis
Robert G. Pettit

Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness
Sherif Fahmy, Binoy Ravindran, Douglas Jensen

RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs
Aoun Raza, Gunther Vogel
15:30 - 16:30Coffee & ExhibitionCoffee & ExhibitionCoffee & Exhibition
16:30 - 18:00
Applications of Petri Nets
chair: Elie Najm
room 1 (Aula Magna)

A Modelling Approach with Coloured Petri Nets
C. Choppy, L. Petrucci, G. Reggio

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets
L. Carnevali, L. Grassi, E. Vicario

Concurrent Program Metrics Drawn by QUASAR Numbers
C. Kaiser, C. Pajault, J.-F. Pradat-Peyre
Vendor Session
(continued)


GNAT Pro, at the heart of multi-language development
Michaël Friess (AdaCore)


Open Source, Proprietary and Third Party Software: The AonixADT/Hibachi Experience
Tom Grosman (Aonix SA)

Industrial Presentations
(continued)

A comparison of industrial coding rules
Jean-Pierre Rosen

Growing a Tree that Lives Forever: Automatic Storage Management and Persistence of Complex Data Structures
S.T. Taft

Exceptionally Safe
A. Charlet, C. Comar, F. Gasperoni
Ada and Education
(continued)

Use of Ada in a Student CubeSat Project
C. Brandon
Real-Time Systems
chair: Alok Srivastava
room 1 (Aula Magna)

Can We Increase Usability of Real-Time Scheduling Theory ? The Cheddar Project
F. Singhoff, A. Plantec, P. Dissaux

An Ada 2005 Technology for Distributed and Real-Time Component-based Applications
P. López Martinez, J.M. Drake, P. Pacheco , J.L. Medina

Real-Time Distribution Middleware from the Ada Perspective
H. Pérez, J. Guttiérrez, D. Sangorrín M. González Harbour
Panel Discussion
18:00 - 19:00Ada-Europe General AssemblyClosing Address and Best-Presentation Award
From 19:00Welcome ReceptionExcursion and Banquet

Department of Pure and Applied Mathematics © 2007-2008 ~ www.math.unipd.it