Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science, 1845)

The Fifth International Conference on Reliable Software Technologies, Ada- Europe 2000, took place in Potsdam, Germany, June 26-30, 2000. It was - ganized by Ada Deutschland and sponsored by Ada-Europe, the European f- eration of national Ada societies, in cooperation with ACM SIGAda and the Gesellschaft fu ]r Informatik (GI). We gratefully acknowledge additional spons- ship by the DFG, the German Research Foundation, and by the Forschungsz- trum Karlsruhe. This year's conference marked the 20th anniversary of consecutive annual Ada-Europe conferences and the ?fth year of a conference focusing on the g- eral area of software reliability, in which Ada excels as one of the supporting technologies. The Y2K problem has put the importance of software reliability into the limelight of media and political attention. Luckily, the dire predictions about potentially disastrous failures of critical systems did not prove true at the turn of the year, most likely because an incredible e?ort was made to update existing software, modernize systems, check-out backup mechanisms, and so on. One cannot but wonder how much more reliable the software could have been if only apercentageofthefundsspentontheY2Kproblemhadgoneintoenhancements of reliability during the development and maintenance of the software. Frontmatter Invited Presentations Support of Technology Development in the Information Society Kingcat MCAS -- Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java Ada after 10 Years of Usage -- Is There a Commercial Future? An Open Ravenscar Real-Time Kernel for GNAT Real-Time and Safety-Critical Systems Object-Oriented Programming and Protected Objects in Ada 95 Is an Ada Lint Necessary? Session: Tools Using Java TM APIs with Native Ada Compilers Static Worst-Case Execution Time Analysis of Synchronous Programs A Supporting Tool for Development of Self-Measurement Ada Programs Session: APIs and Components On Persistent and Reliable Streaming in Ada Reengineering the Booch Component Library GtkAda: Design and Implementation of a High Level Binding in Ada Session: ASIS ASIS-for-GNAT: A Report of Practical Experiences Generation of Interface Design Description Documents Using ASIS An Ada95 Programming Style Checker Using the GNAT ASIS Implementation Session: Risk and Reliability Management Enhancements in Software Project Risk Management Constructing Reliable Embedded Systems Using the Results of System Safety Analysis An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction Session: UML Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project Session: Formal Analysis Methods Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs Exceptions in OO Languages: Using Them and Reasoning about Them (True) Polymorphism in SPARK2000 Session: Testing Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation Results of an Investigation into Software Integration Testing Automation On the Minimal Essential Subsets and Minimal Representative Sets Backmatter

This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000.
The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.

This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000. The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing This Book Constitutes The Proceedings Of The 23rd Ada-europe International Conference On Reliable Software Technologies, Ada-europe 2018, Held In Lisbon, Portugal, In June 2018. The 10 Papers Presented In This Volume Were Carefully Reviewed And Selected From 27 Submissions. They Were Organized In Topical Sections Named: Safety And Security; Ada 202x; Handling Implicit Overhead; Real-time Scheduling; And New Application Domains. . These conference papers cover real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing. The Ravenscar Profile [4,6] is the best known result of the 8th International Real-Time Ada Workshop (IRTAW8).