Reliable Software Technologies - Ada-Europe 2004

1. Front Matter

   PDF

2. Invited Papers

   1. Benefits and Problems of Formal Methods

      • Martin Gogolla

      Pages 1-15

   2. On the Role of Conceptual Schemas in Information Systems Development

      • Antoni Olivé

      Pages 16-34

   3. An Overview of Middleware

      • Steve Vinoski

      Pages 35-51

3. Static Analysis

   1. Static Deadlock Detection in the Linux Kernel

      • Peter T. Breuer, Marisol García Valls

      Pages 52-64

   2. Extracting Ada 95 Objects from Legacy Ada Programs

      • Ricky E. Sward

      Pages 65-77

   3. On the Tree Width of Ada Programs

      • Bernd Burgstaller, Johann Blieberger, Bernhard Scholz

      Pages 78-90

4. Distributed Systems

   1. The Chance for Ada to Support Distribution and Real-Time in Embedded Systems

      • Juan López Campos, J. Javier Gutiérrez, Michael González Harbour

      Pages 91-105

   2. PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications

      • Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon

      Pages 106-119

   3. Event Language for Real-Time On-the-Fly Control According to the Initial Requirements

      • Stepan P. Nadrchal

      Pages 120-131

5. Real-Time Systems

   1. Implementing Execution-Time Clocks for the Ada Ravenscar Profile

      • Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente

      Pages 132-143

   2. Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux

      • Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo

      Pages 144-155

   3. Supporting Deadlines and EDF Scheduling in Ada

      • Alan Burns, Andy J. Wellings, S. Tucker Taft

      Pages 156-165

6. Reflection and XML

   1. OpenAda: Compile-Time Reflection for Ada 95

      • Patrick Rogers, Andy J. Wellings

      Pages 166-177

   2. XML4Ada95 Accessing XML Using the DOM in Ada95

      • Zdenko Vrandečić, Daniel Simon

      Pages 178-189

7. Testing

   1. A Randomised Test Approach to Testing Safety Critical Ada Code

      • Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar

      Pages 190-199

   2. Good Random Testing

      • Kwok Ping Chan, Tsong Yueh Chen, Dave Towey

      Pages 200-212

   3. Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada

      • Bárbara Álvarez, Juan A. Pastor, Francisco Ortiz, Pedro Sánchez, Pedro Navarro

      Pages 213-224

8. Critical Systems Modeling

   1. High Integrity Ada in a UML and C World

      • Peter Amey, Neil White

      Pages 225-236

   2. Ada Meets Giotto

      • Helge Hagenauer, Norbert Martinek, Werner Pohlmann

      Pages 237-248

The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14–18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: – S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire – Martin Gogolla, University of Bremen, Germany Bene?ts and problems of formal methods – Antoni Oliv´ e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems’ development – Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable? Wewouldliketoexpressoursinceregratitudetothesedistinguishedspeakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di?erentcountries.

• Linux
• Middleware
• UML
• Unified Modeling Language (UML)
• ada programming
• component-based systems
• dependable computing
• distributed systems
• embedded systems
• formal methods
• logic
• modeling
• object oriented design
• program analysis
• real-time systems

• Department of Mathematics and Computer Science, The University of the Balearic Islands, Palma de Mallorca, Spain

  Albert Llamosí

• School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland

  Alfred Strohmeier

Policies and ethics