Reliable Software Technologies – Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

294 Pages·2008·6.03 MB·English

by  Santiago Urueña

Lecture Notes in Computer Science 5026
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
UniversityofDortmund,Germany
MadhuSudan
MassachusettsInstituteofTechnology,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
Max-PlanckInstituteofComputerScience,Saarbruecken,Germany
Fabrice Kordon Tullio Vardanega (Eds.)
Reliable
Software Technologies –
Ada-Europe 2008
13th Ada-Europe International Conference
on Reliable Software Technologies
Venice, Italy, June 16-20, 2008
Proceedings
1 3
VolumeEditors
FabriceKordon
UniversitéPierreetMarieCurie
Laboratoired’InformatiquedeParis6
ModelingandVerification
CNRSUMR7606,4placeJussieu,75252ParisCedex05,France
E-mail:[email protected]
TullioVardanega
UniversityofPadua
DepartmentofPureandAppliedMathematics
viaTrieste63,35121Padua,Italy
E-mail:[email protected]
LibraryofCongressControlNumber:2008927854
CRSubjectClassification(1998):D.2,D.1,D.3,C.2.4,K.6
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
ISSN 0302-9743
ISBN-10 3-540-68621-5SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-540-68621-7SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
SpringerisapartofSpringerScience+BusinessMedia
springer.com
©Springer-VerlagBerlinHeidelberg2008
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper SPIN:12275687 06/3180 543210
Preface

The 13th edition of the International Conference on Reliable Software Technologies
(Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of
Venice. It did so after having been hosted twice in Switzerland, Spain and the UK
(Montreux for its inauguration in 1996 and Geneva in 2007; Santander in 1999 and
Palma de Mallorca in 2004; London in 1997 and York in 2005), and having visited
Sweden (Uppsala, 1998), Germany (Potsdam, 2000), Belgium (Leuven, 2001),
Austria (Vienna, 2002), France (Toulouse, 2003) and Portugal (Porto, 2006). It was
certainly high time that the conference came to Italy!
The conference series, which is run and sponsored by Ada-Europe, chooses its
yearly venue following two driving criteria: to celebrate the activity of one of its
national member societies in a particular country, and/or to facilitate the formation, or
the growth, of a national community around all aspects of reliable software
technologies. The success of this year’s conference, beside the richness of its
technical and social program, will thus be measured by its lasting effects. We can
only hope that the latter will be as good and vast as the former!
Owing to the absence of a national society associated with Ada-Europe in Italy, the
organization of the conference was technically sustained by selected members of the
Board of Ada-Europe, its governing body, with some invaluable local support. The
Board thus faced the very serious challenge of having to keep up with the high
standard of previous Ada-Europe conferences. With all aspects of the organization
behind us, we can be satisfied that the success of the conference was confirmed,
continued and increased.
The conference took place on June 16–20, 2008 and featured a rich, dense and
attractive program. Following its usual style the conference spanned a full week, with
10 tutorials offered on Monday and Friday, and a technical program from Tuesday to
Thursday, which included 3 keynote talks, 20 peer-reviewed papers, 12 industrial
presentations, a special session on software engineering education, the traditional
vendor session and the accompanying industrial exhibition. Let us now look at the
highlights of the conference program in some more detail.
The keynote talks were given by eminent and inspired speakers:

(cid:131) Alberto Sangiovanni-Vincentelli (University of California at Berkeley, USA),
a most authoritative member of the embedded systems community worldwide,
delivered a talk entitled: Embedded Software Design: Art or Science?
(cid:131) Robert Dewar (New York University, USA), a renowned expert in
programming technologies and a talented public speaker, discussed where
programming languages are expected to go next in a talk evocatively entitled:
Lost in Translation.
(cid:131) Christian Queinnec (Université Pierre et Marie Curie, Paris, France), a leading
researcher in programming language semantics and the programming of the
Web, explored the inner heart of Service-Oriented Architecture in a talk
entitled: Three Ways to Improve SOA Reliability.
V I Preface
Submissions to the peer-reviewed track of the conference came from 15 countries
worldwide, which caused a fairly competitive selection process that resulted in the
making of 7 technical sessions on topics ranging from formal verification to real-time
systems via concurrency, embedded systems, language technologies, model-driven
engineering and applications of Petri Nets. The conference proceedings published in
this volume fully cover this track of the conference.
The tutorial program featured a rich variety of topics, all presented by recognized
domain experts, in close match with the core scope of the conference, as follows:

(cid:131) AADL: Architecture Analysis and Design Language, Jean-Pierre Rosen (Adalog,
France)
(cid:131) The Best of Ada 2005, John Barnes (John Barnes Informatics, UK)
(cid:131) Object-Oriented Programming in Ada 2005, Matthew Heaney (On2
Technologies, USA)
(cid:131) Preserving Model-Asserted Properties at Run Time for High-Integrity Systems,
Tullio Vardanega (University of Padua, Italy) and Juan Antonio de la Puente
(Technical University of Madrid, Spain)
(cid:131) Technical Basis of Model Driven Engineering, and
(cid:131) Verification Techniques for Dependable Systems, both by William Bail (The
MITRE Corporation, USA)
(cid:131) A Practical Introduction to Model-Driven Software Development Using
Eclipse, Cristina Vicente-Chicote and Diego Alonso-Cáceres (Universidad
Politécnica de Cartagena, Spain)
(cid:131) Languages for Safety-Critical Software: Issues and Assessment, Benjamin
Brosgol (AdaCore, USA)
(cid:131) Service-Oriented Architecture Concepts and Implementations, Ricky Sward
(The MITRE Corporation, USA)
(cid:131) Real-Time Scheduling Analysis of Ada Applications, Frank Singhoff (University
of Brest, France).

The industrial track received the largest number of submissions since its inception
in 2005. We read this as a twofold token of the thriving activity of the high-integrity
industry worldwide and of the need of its representatives to meet with researchers and
practitioners in reliable software technologies. The conference program included the
following industrial talks:

(cid:131) A Discussion on the U.S. Federal Aviation Administration’s Use of and
Experiences with Ada, Including the Current Modernization Efforts, Jeffrey
O’Leary (FAA, USA) and Alok Srivastava (Northrop Grumman Corporation,
USA)
(cid:131) Experiences Developing the Flight Services Component of the ERAM System,
Howard Ausden (Lockheed Martin, USA)
(cid:131) Challenges in Implementing a Ravenscar Runtime in an ARINC 653 Partition,
Jean-Pierre Fauche and Tom Grossman (Aonix, France)
(cid:131) Binary Data Comparison Automation, Matt Mark (Lockheed Martin, USA)
(cid:131) Industrial Feedback on the Separation of Functional and Real-Time
Constraints, and Object Orientation for Embedded Application, Mathieu Le
Coroller, Gérald Garcia (ThalesAlenia Space, France)
Preface VII
(cid:131) Advanced Real-Time Analysis in ASSERT – Application on Satellite Central
Flight Software, Dave Thomas, Jean-Paul Blanquart (EADS/Astrium
Satellites, France), Marco Panunzio (Università di Padova, Italy)
(cid:131) Porting Naval Command and Control Systems to Ada 2005, Jeff Cousins
(BAE Systems, UK)
(cid:131) Distributed Status Monitoring and Control Using Remote Buffers and Ada
2005, Brad Moore (General Dynamics, Canada)
(cid:131) A Comparison of Industrial Coding Rules, Jean-Pierre Rosen (Adalog, France)
(cid:131) Growing a Tree that Lives Forever: Automatic Storage Management and
Persistence of Complex Data Structures, S. Tucker Taft (SoftCheck, USA)
(cid:131) Exceptionally Safe, Arnaud Charlet, Cyrille Comar, Franco Gasperoni
(AdaCore, France)
(cid:131) Genesis. Automation, via Generation, via ASIS, of Tests of Ada Software,
Mário A. Alves, Nuno Almeida (Critical Software, Portugal).

The special session on software engineering education hosted four talks and a
lively panel discussion. The following presentations were given:

(cid:131) A Rational Approach to Software Engineering Education or: Java Considered
Harmful, Ed Schonberg, Robert Dewar (New York University, USA)
(cid:131) Ada and Software Engineering Education: One Professor's Experiences, John
W. McCormick (University of Northern Iowa, USA)
(cid:131) Is Ada Education Important?, Jean-Pierre Rosen (Adalog, France)
(cid:131) Use of Ada in a Student CubeSat Project, Carl Brandon (Vermont Technical
College, USA).

Reports on the tutorial program, the industrial track and the special session on
software engineering education will all be published in issues of the Ada User Journal
produced by Ada-Europe.
Before closing this preface, we would like to acknowledge the work of those who
contributed to the success of the conference, in various roles, moments and levels of
visibility. First and foremost we want to express our gratitude to the authors of all
presentations included in the program: the success of the conference was also largely
theirs. We would also like to thank the members of the program committee at large:
while they operated mostly in the background, their effort was crucial to keeping the
level of the program quality as high as expected by soliciting worthwhile submissions
as well as by carrying out the critical task of peer-reviewing. A smaller group of
people accomplished the year-long task of following the preparation, construction and
execution of the conference program as a whole. They deserve to be thanked for their
effort and dedication: the Local Chair, Sabrina De Poli; the Publicity Chair, Dirk
Craeynest; the Exhibition Chair, Ahlan Marriott; and the Tutorial Chair, Jorge Real.
We, who had the privilege of running the organization team, do hope that the
attendees enjoyed the conference, in both its technical and social program, as much as
we enjoyed coordinating it. We close this volume with the confidence of a job well
done and the satisfaction of a thoroughly enjoyable experience.

June 2008 Fabrice Kordon
Tullio Vardanega
Organization

Conference Chair
Tullio Vardanega, Università di Padova, Italy
Program Co-chairs
Tullio Vardanega, Università di Padova, Italy
Fabrice Kordon, Université P. & M. Curie, France
Tutorial Chair
Jorge Real, Universidad Politécnica de Valencia, Spain
Exhibition Chair
Ahlan Marriott, White Elephant GmbH, Switzerland
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U. Leuven, Belgium
Local Chair
Sabrina De Poli, Sistema Congressi srl, Italy
Ada-Europe Conference Liaison
Fabrice Kordon, Université P. & M. Curie, France
Sponsoring Institutions
AdaCore Praxis High-Integrity Systems
Aonix Rapita Systems Ltd
Ellidiss Software Telelogic

Dipartimento di Matematica Pura ed Applicata, Università di Padova, Italy
X Organization
Program Committee
Nabil Abdennadher, University of Applied Sciences, Switzerland
Alejandro Alonso, Universidad Politécnica de Madrid, Spain
Johann Blieberger, Technische Universität Wien, Austria
Maartin Boasson, University of Amsterdam, The Netherlands
Bernd Burgstaller, Yonsei University, Korea
Dirk Craeynest, Aubay Belgium & K.U. Leuven, Belgium
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Raymond Devillers, Université Libre de Bruxelles, Belgium
Michael González Harbour, Universidad de Cantabria, Spain
José Javier Gutiérrez, Universidad de Cantabria, Spain
Serge Haddad, Université Paris-Dauphine, France
Andrew Hately, Eurocontrol CRDS, Hungary
Jerôme Hugues, Télécom Paris, France
Günter Hommel, Technische Universität Berlin, Germany
Hubert Keller, Institut für Angewandte Informatik, Germany
Yvon Kermarrec, ENST Bretagne, France
Fabrice Kordon, Université Pierre & Marie Curie, France
Albert Llemosí, Universitat de les Illes Balears, Spain
Kristina Lundqvist, MIT, USA
Franco Mazzanti, ISTI-CNR Pisa, Italy
John McCormick, University of Northern Iowa, USA
Stephen Michell, Maurya Software, Canada
Javier Miranda, Universidad Las Palmas de Gran Canaria, Spain
Daniel Moldt, Universität Hamburg, Germany
Laurent Pautet, Télécom Paris, France
Laure Petrucci, LIPN, Université Paris 13, France
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
Erhard Plödereder, Universität Stuttgart, Germany
Jorge Real, Universidad Politécnica de Valencia, Spain
Alexander Romanovsky, University of Newcastle upon Tyne, UK
Jean-Pierre Rosen, Adalog, France
José Ruiz, AdaCore, France
Lionel Seinturier, Université de Lille, France
Man-Tak Shing, Naval Postgraduate School, USA
Alok Srivastava, Northrop Grumman, USA
Tullio Vardanega, Università di Padova, Italy
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller-Universität, Germany
Luigi Zaffalon, University of Applied Sciences, Switzerland
Organization XI
Industrial Committee
Guillem Bernat, Rapita Systems, UK
Olivier Devuns, Aonix, France
Franco Gasperoni, AdaCore, France
Rei Stråhle, Saab Systems, Sweden
Dirk Craeynest, Ada-Europe (Vice-President), Belgium
Tullio Vardanega, Ada-Europe (President), Italy