Reliable software technologies - Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings

Invited Papers.- Benefits and Problems of Formal Methods.- On the Role of Conceptual Schemas in Information Systems Development.- An Overview of Middleware.- Static Analysis.- Static Deadlock Detection in the Linux Kernel.- Extracting Ada 95 Objects from Legacy Ada Programs.- On the Tree Width of Ada Programs.- Distributed Systems.- The Chance for Ada to Support Distribution and Real-Time in Embedded Systems.- PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.- Event Language for Real-Time On-the-Fly Control According to the Initial Requirements.- Real-Time Systems.- Implementing Execution-Time Clocks for the Ada Ravenscar Profile.- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux.- Supporting Deadlines and EDF Scheduling in Ada.- Reflection and XML.- OpenAda: Compile-Time Reflection for Ada 95.- XML4Ada95 Accessing XML Using the DOM in Ada95.- Testing.- A Randomised Test Approach to Testing Safety Critical Ada Code.- Good Random Testing.- Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada.- Critical Systems Modeling.- High Integrity Ada in a UML and C World.- Ada Meets Giotto.- High-Integrity Interfacing to Programmable Logic with Ada.- Scheduling.- Dynamic Ceiling Priorities: A Proposal for Ada0Y.- Mixing Scheduling Policies in Ada.- Implementing an Application-Defined Scheduling Framework for Ada Tasking.- Application Programming Interfaces.- A Theory of Persistent Containers and Its Application to Ada.- Shortcuts: A Critical Look.- Vector Processing in Ada.