Paper title
(click on the title to view the abstract)
|
Authors
|
Session "Ravenscar"
Session Chair: J. Blieberger |
Tuesday 17th June - 11:00-12:30 |
| High
Integrity Ravenscar
|
Peter Amey & Brian Dobbing,
UK |
| Adding
Temporal Annotations and Associated Verification to
Ravenscar Profile
|
Alan Burns & Tse-Min Lin,
UK |
| Towards
Static Verification of Real-Time Performance:
The Case of the GOCE Platform Application Software
|
Niklas Holsti & Thomas Långbacka,
UK |
Session "Language Issues"
Session Chair: J. Barnes |
Tuesday 17th June - 11:00-12:30 |
| Booch's
Ada vs. Liskov's Java: Two Approaches to Teaching
Software Design
|
Ehud Lamm,
Israel |
| A
Comparison of the Asynchronous Transfer of Control
Features in Ada and the Real-Time Specification for Java
|
Benjamin M. Brosgol & A.J. Wellings,
USA, UK |
| Exposing Memory
Corruption and Finding Leaks: Advanced Mechanisms in Ada
|
Emmanuel Briot, Franco Gasperoni, Robert Dewar,
Dirk Craeynest & Philippe Waroquiers
France - USA - Belgium |
Session "Static Analysis"
Session Chair: K. Lundkvist |
Tuesday 17th June - 14:30-16:00 |
| Busy Wait
Analysis
|
Johann Blieberger, Bernd Burgstaller &
Bernhard Scholz,
Austria |
| Eliminating
Redundant Range Checks in GNAT Using Symbolic Evaluation
|
Bernd Burgstaller,
Austria |
| Quasar : A
New Tool for Concurrent Ada Programs Analysis
|
S. Evangelista, C. Kaiser, J.F. Pradat-Peyre &
P. Rousseau,
France |
Session "Distributed Information Systems"
Session Chair: F. Gasperoni |
Wednesday 18th June - 11:00-12:30 |
| A
Graphical Environment for GLADE
|
Ernestina Martel-Jordán,
Francisco Guerra-Santana, Javier Miranda-González,
& Luis Hernández-Acosta,
Spain |
| The Use of
Ada, GNAT.Spitbol and XML in the Sol-Eu-Net Project
|
Mário Amado Alves, Alípio Jorge &
Matthew Heaney,
Portugal - USA |
| Transactions
and Groups as Generic Building Blocks for Software Fault
Tolerance
|
Marta Patiño-Martinez, Ricardo Jimenez-Peris
& Alexander Romanovsky,
Spain - UK |
Session "Metrics"
Session Chair: T. Vardanega |
Wednesday 18th June - 11:00-12:30 |
| Getting
System Metrics Using POSIX Tracing Services
|
Agustín Espinosa Minguet, Vicente
Lorente Garcés, Ana García-Fornes & Alfons Crespo i
Lorente,
Spain |
| Some
Architectural Features of Ada Systems Affecting Defects
|
William Evanco & June Verner,
USA |
| Evidential
Volume Approach for Certification
|
Silke Kuball & Gordon Hughes,
UK |
Session "Software Components"
Session Chair: J.A. de la Puente |
Wednesday 18th June - 14:30-16:00 |
| A Survey
of Physical Unit Handling Techniques in Ada
|
C. Grein,
Germany |
| Charles: A
Data Structure Library for Ada 95
|
Matthew Heaney,
USA |
| A Quality
Model for the Ada Standard Container Library
|
Xavier Franch & Jordi Marco,
Spain |
Session "Formal Specification"
Session Chair: A. Burns |
Wednesday 18th June - 17:00-18:00 |
| Experiences
on Developing and Using a Tool Support for Formal
Specification
|
Tommi Mikkonen,
Finland |
| A
Behavioural Notion of Subtyping for Object-Oriented
Programming in SPARK95
|
Tse-Min Lin & John A. McDermid,
UK |
Session "Real-Time Kernel"
Session Chair: B. Brosgol |
Thursday 18th June - 11:00-12:30 |
Running Ada on Real-Time Linux
Best paper & presentation
|
Miguel Masmano, Jorge Real, Ismael
Ripoll & Alfons Crespo,
Spain |
| A Round-Robin
Scheduling Policy for Ada
|
A. Burns, M. Gonzalez Harbour & A. Wellings,
Spain - UK |
| A Proposal
to Integrate the POSIX Execution-Time Clocks into Ada95
|
J. Miranda & M. González Harbour,
Spain |
Session "Testing"
Session Chair: B. Burgstaller |
Thursday 18th June - 11:00-12:30 |
| A Test
Environment for High Integrity Software Development
|
Alejandro Alonso, Juan Antonio de la
Puente & Juan Zamorano,
Spain |
| Normalized
Restricted Random Testing
|
Kwok Ping Chan, Tsong Yueh Chen &
Dave Towey,
Australia - Hong-Kong |
| Testing Safety
Critical Ada Code Using non Real-Time Testint
|
Y.V. Jeppu, K. Karunakar & P.S. Subramanyam,
India |
Session "Real-Time Systems Design"
Session Chair: A. Canals |
Thursday 18th June - 14:30-17:00 |
| The
Standard UML-Ada Profile
|
Francis Thom & Emma Lines,
UK |
| HRT-UML:
Taking HRT-HOOD onto UML
|
Silvia Mazzini, Massimo D'Alessandro,
Marco Di Natale, Andrea Domenici, Giuseppe Lipari &
Tullio Vardanega,
Italy |
| A Case
Study in Performance Evaluation of Real-Time
Teleoperation Software Architecture using UML-MAST
|
Francisco Ortiz, Bárbara Álvarez,
Juan A. Pastor & Pedro Sánchez,
Spain |
