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

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. Benefits And Problems Of Formal Methods / Martin Gogolla -- On The Role Of Conceptual Schemas In Information Systems Development / Antoni Olive -- An Overview Of Middleware / Steve Vinoski -- Static Deadlock Detection In The Linux Kernel / Peter T. Breuer And Marisol Garcia Valls -- Extracting Ada 95 Objects From Legacy Ada Programs / Ricky E. Sward -- On The Tree Width Of Ada Programs / Bernd Burgstaller, Johann Blieberger And Bernhard Scholz -- The Chance For Ada To Support Distribution And Real-time In Embedded Systems / Juan Lopez Campos, J. Javier Gutierrez And Michael Gonzalez Harbour -- Polyorb : A Schizophrenic Middleware To Build Versatile Reliable Distributed Applications / Thomas Vergnaud, Jerome Hugues, Laurent Pautet And Fabrice Kordon -- Event Language For Real-time On-the-fly Control According To The Initial Requirements / Stephan P. Nadrchal -- Implementing Execution-time Clocks For The Ada Ravenscar Profile / Juan Zamorano, Alejandro Alonso, Jose Antonio Pulido And Juan Antonio De La Puente -- Extending The Capabilities Of Real-time Applications By Combining Marte-os And Linux / Miguel Masmano, Jorge Real, Ismael Ripoll And Alfons Crespo -- Supporting Deadlines And Edf Scheduling In Ada / Alan Burns, Andy J. Wellings And S. Tucker Taft -- Openada : Compile-time Reflection For Ada 95 / Patrick Rogers And Andy J. Wellings -- Xml4ada95 Accessing Xml Using The Dom In Ada95 / Zdenko Vrandecic And Daniel Simon -- A Randomised Test Approach To Testing Safety Critical Ada Code / Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu And Kundapur Karunakar -- Good Random Testing / Kwok Ping Chan, Tsong Yueh Chen And Dave Towey -- Teaching Real-time Systems Around A Digital Model Railroad Platform Using Ada / Barbara Alvarez, Juan A. Pastor, Francisco Ortiz, Pedro Sanchez And Pedro Navarro -- High Integrity Ada In A Uml And C World / Peter Amey And Neil White -- Ada Meets Giotto / Helge Hagenauer, Norbert Martinek And Werner Pohlmann -- High-integrity Interfacing To Programmable Logic With Ada / Adrian J. Hilton And Jon G. Hall -- Dynamic Ceiling Priorities : A Proposal For Ada0y / Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg And Alfons Crespo -- Mixing Scheduling Policies In Ada / Agustin Espinosa Minguet, Ana Garcia-fornes, Vicente Lorente Garces And Andres Terrasa Barrena -- Implementing An Application-defined Scheduling Framework For Ada Tasking / Mario Aldea, Javier Miranda And Michael Gonzalez Harour -- A Theory Of Persistent Containers And Its Application To Ada / Mario Amado Alves -- Shortcuts : A Critical Look / Matthew Heaney -- Vector Processing In Ada / Franco Gasperoni. Albert Llamosí, Alfred Strohmeier (eds.). Includes Bibliographical References And Index. Also Issued Online. Front Matter....Pages - Benefits and Problems of Formal Methods....Pages 1-15 On the Role of Conceptual Schemas in Information Systems Development....Pages 16-34 An Overview of Middleware....Pages 35-51 Static Deadlock Detection in the Linux Kernel....Pages 52-64 Extracting Ada 95 Objects from Legacy Ada Programs....Pages 65-77 On the Tree Width of Ada Programs....Pages 78-90 The Chance for Ada to Support Distribution and Real-Time in Embedded Systems....Pages 91-105 PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications....Pages 106-119 Event Language for Real-Time On-the-Fly Control According to the Initial Requirements....Pages 120-131 Implementing Execution-Time Clocks for the Ada Ravenscar Profile....Pages 132-143 Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux....Pages 144-155 Supporting Deadlines and EDF Scheduling in Ada....Pages 156-165 OpenAda: Compile-Time Reflection for Ada 95....Pages 166-177 XML4Ada95 Accessing XML Using the DOM in Ada95....Pages 178-189 A Randomised Test Approach to Testing Safety Critical Ada Code....Pages 190-199 Good Random Testing....Pages 200-212 Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada....Pages 213-224 High Integrity Ada in a UML and C World....Pages 225-236 Ada Meets Giotto....Pages 237-248 High-Integrity Interfacing to Programmable Logic with Ada....Pages 249-260 Dynamic Ceiling Priorities: A Proposal for Ada0Y....Pages 261-272 Mixing Scheduling Policies in Ada....Pages 273-282 Implementing an Application-Defined Scheduling Framework for Ada Tasking....Pages 283-296 A Theory of Persistent Containers and Its Application to Ada....Pages 297-308 Shortcuts: A Critical Look....Pages 309-320 Vector Processing in Ada....Pages 321-331 Back Matter....Pages - This book constitutes the refereed proceedings of the 9th International Conference on Reliable Software Technologies, Ada-Europe 2004, held in Palma de Mallorca, Spain in June 2004. The 23 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on static analysis, distributed systems, real-time systems, reflection and XML, testing, critical systems modeling, scheduling, and application programming interfaces