| Invited Paper |
| An Architectural Perspective of Real-Time Ada Applications / C. Douglass Locke |
| Ravenscar Profile and High Integrity Systems |
| A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects / Kristina Lundqvist ; Lars Asplund ; Stephen Michell |
| An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch / Mike Kamrad ; Barry Spinney |
| Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT / Roderick Chapman ; Robert Dewar |
| An Ada95 Solution for Certification of Embedded Safety Critical Applications / Jacob Frost |
| Software Architectures and Design |
| 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 ; S. Arévalo |
| Testing |
| Report on the VERA Experiment / Bruno Hémeury |
| Acceptance Testing of Object Oriented Systems / Jose L. Fernández |
| Formal Methods |
| Environment for the Development and Specification of Real-Time Ada Programs / Apolinar González ; Alfons Crespo |
| Interprocedural Symbolic Evaluation of Ada Programs with Aliases / J. Blieberger ; B. Burgstaller ; B. Scholz |
| Automatic Verification of Concurrent Ada Programs / Eric Bruneton ; Jean-Francois Pradat-Peyre |
| Translating Time Petri Net Structures into Ada 95 Statements / F.J. García ; J.L. Villarroel |
| Education |
| Railway Scale Model Simulator / Pierre Breguet ; Luigi Zaffalon |
| Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine / Alexandr Korochkin |
| Distributed Systems yaRTI, an Ada 95 HLA Run-Time Infrastructure / Dominique Canazzi |
| An Ada95 Implementation of a Network Coordination Language with Code Mobility / Emilio Tuosto |
| CORBA & DSA: Divorce or Marriage? / Laurent Pautet ; Thomas Quinot ; Samuel Tardieu |
| How to Modify the GNAT Frontend to Experiment with Ada Extensions / J. Miranda ; F. Guerra ; J. Martín ; A. González |
| 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 |
| Ada Binding to a Shared Object Layer / Johann Blieberger ; Johann Klasek ; Eva Kühn |
| Real-Time Scheduling and Kernels The Ceiling Protocol in Multi-moded Real-Time Systems / Jorge Real ; Andy Wellings |
| A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel / Hongfeng Shen ; Arnaud Charlet ; T.P. Baker |
| Implementing a New Low-Level Tasking Support for the GNAT Runtime System / José F. Ruiz ; Jesús M. González-Barahona |
| Tools |
| 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 ; Frédéric Mulatero |
| Browsing a Component Library Using Non-functional Information / Xavier Franch ; Josep Pinyol ; Joan Vancells |
| The Role of Ada in Hardware/Software Codesign HW/SW Co-design of Embedded Systems / William Fornaciari ; Donatella Sciuto |
| Hardware/Software Embedded System Specification and Design Using Ada and VHDL / Adrian López ; Maite Veiga ; Eugenio Villar |
| System on Chip Specification and Design Languages Standardization / Jean Mermet |
| Fault Tolerance |
| An Incremental Recovery Cache Supporting Software Fault Tolerance / P. Rogers ; A.J. Wellings |
| Shared Recoverable Objects / Jörg Kienzle |
| Fault Tolerance by Transparent Replication for Distributed Ada 95 / Thomas Wolf |
| Case Studies |
| A Case Study in the Reuse of On-board Embedded Real-Time Software / Tullio Vardanega ; Gert Caspersen ; Jan Storbank Pedersen |
| Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches / Alfred Rosskopf |
| Author Index |
| Invited Paper |
| An Architectural Perspective of Real-Time Ada Applications / C. Douglass Locke |
| Ravenscar Profile and High Integrity Systems |
図書
