|
Technical Sessions
International
Conference on
Reliable Software
Technologies-
Ada-Europe'99
|
June
7-11, 1999 - Santander, Spain
Sponsored
by Ada-Europe, in cooperation with
Ada-Spain
and ACM SIGAda
Technical Sessions
Tuesday 8th
Ravenscar Profile (10-11h)
A Formal Model of the
Ada Ravenscar Tasking Profile; Protected Objects
Kristina Lundqvist,
Lars Asplund, and Stephen Michell
An Ada Runtime System
Implementation of the Ravenscar Profile for High Speed Application-Layer
Data Switch
Mike Kamrad, and Barry
Spinney
Software Architectures
and Design (12-13:30h)
Architectural Frameworks:
Defining the Contents of Architectural Descriptions
David E. Emery
Mapping Object-Oriented
Designs to Ada
Alfred Strohmeier
Efficient and Extensible
Multithreaded Remote Servers
Ricardo Jiménez-Peris,
M. Patiño-Martínez, F. J. Ballesteros, and S. Arévalo
Testing (15:30-16:30h)
Report on the VERA Experiment
Bruno Hémeury
Acceptance Testing of
Object Oriented Systems
Jose L. Fernández
Formal Methods I (15:30-16:30h)
Environment for the
Development and Specification of Real-Time Ada Programs
Apolinar González,
and Alfons Crespo
Interprocedural Symbolic
Evaluation of Ada Programs with Aliases
J. Blieberger, B. Burgstaller,
and B. Scholz
Education (17-18h)
Railway Scale Model
Simulator
Pierre Breguet, and
Luigi Zaffalon
Ada 95 as a Foundation
Language in Computer Engineering Education in Ukraine
Alexandr Korochkin
Distributed Systems
I (17-18h)
yaRTI, an Ada 95 HLA
Run-Time Infrastructure
Dominique Canazzi
An Ada95 Implementation
of a Network Coordination Language with Code Mobility
Emilio Tuosto
Wednesday 9th
High Integrity Systems
(10-11h)
Re-Engineering a Safety-Critical
Application Using SPARK 95 and GNORT
Roderick Chapman and
Robert Dewar
An Ada95 Solution for
Certification of Embedded Safety Critical Applications
Jacob Frost
Real-Time Scheduling
and Kernels (12-13:30h)
The Ceiling Protocol
in Multi-Moded Real-Time Systems
Jorge Real, and Andy
Wellings
A �Bare-Machine� Implementation
of Ada Multi-Tasking Beneath the Linux Kernel
Hongfeng Shen, Arnaud
Charlet, and T.P. Baker
Implementing a New Low-Level
Tasking Support for the GNAT Runtime System
José F. Ruiz,
and Jesús M. González-Barahona
Tools (15:30-17h)
MetaScribe, an Ada-based
Tool for the Construction of Transformation Engines
Fabrice Kordon
An Adaptation of our
Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing And
Handling of Data between Heterogeneous Applications using Persistence
Thierry Millan, Myriam
Lamolle, and Frédéric Mulatero
Browsing a Component
Library Using Non-Functional Information
Xavier Franch, Josep
Pinyol, and Joan Vancells
The Role of Ada in Hardware/Software
Codesign (15:30-17h)
HW/SW Co-design of Embedded
Systems
William Fornaciari,
and Donatella Sciuto
Hardware/Software Embedded
System Specification and Design using Ada and VHDL
Adrian López,
Maite Veiga, and Eugenio Villar
System on Chip Specification
and Design Languages Standardization
Jean Mermet
Formal Methods II (17:30-18:30h)
Automatic Verification
of Concurrent Ada Programs
Eric Bruneton, and Jean-François
Pradat-Peyre
Translating Time Petri
Net Structures into Ada 95 Statements
F.J. García,
and J.L. Villarroel
Thursday 10th
Distributed Systems
II (10-11h)
CORBA & DSA: Divorce
or Marriage?
Laurent Pautet, Thomas
Quinot, and Samuel Tardieu
How to Modify the GNAT
Frontend to Experiment with Ada Extensions
J.Miranda, F.Guerra,
J.Martín, and A.González
Fault Tolerance (12-13:30h)
An Incremental Recovery
Cache Supporting Software Fault Tolerance
P. Rogers, and A.J.
Wellings
Shared Recoverable Objects
Jörg Kienzle, and
Alfred Strohmeier
Fault Tolerance by Transparent
Replication for Distributed Ada 95
Thomas Wolf, and Alfred
Strohmeier
Distributed Systems
III (15:30-17h)
On the Use of Controlled
Types for Fossil Collection in a Distributed Simulation System
Helge Hagenauer
An Application (Layer
7) Routing Switch with Ada95 Software
Mike Kamrad
Ada Binding to a Shared
Object Layer
Johann Blieberger, Johann
Klasek, and Eva Kühn
Case Studies (15:30-17h)
A Case Study in the
Reuse of On-board Embedded Real-Time Software
Tullio Vardanega, Gert
Caspersen, and Jan Storbank Pedersen
Development of Flight
Control Software in Ada: Architecture and Design Issues and Approaches
Alfred Rosskopf
Core Application Software
for the Columbus Orbital Facility Development and Testing
M.G. Conti, and Nico
Maradei
|
