Alfred Strohmeier

Reliable Software Technologies - Ada-europe 2001: 6th Ada-europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings - Lecture Notes in Computer Science Alfred Strohmeier

Marc Notes: Includes bibliographical references and index. Table of Contents: Invited Papers.- Building Formal Requirements Models for Reliable Software.- Using Ada in Interactive Digital Television Systems.- Testing from Formal Specifications, a Generic Approach.- Logic versus Magic in Critical Systems.- Can Java Meet Its Real-Time Deadlines?.- Program Analysis.- Parameter-Induced Aliasing in Ada.- Slicing Tagged Objects in Ada.- OASIS An ASIS Secondary Library for Analyzing Object-Oriented Ada Code.- Distributed Systems.- Building Modern Distributed Systems.- Reliable Communication in Distributed Computer-Controlled Systems.- Building Robust Applications by Reusing Non-robust Legacy Software.- Real-Time Systems.- New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements.- Complex Task Implementation in Ada.- Implementing a Flexible Scheduler in Ada.- Language and Patterns.- Expression Templates in Ada.- A Design Pattern for State Machines and Concurrent Activities.- Component Libraries and Language Features.- Dependable Systems.- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.- Scenario-Based System Assessment.- Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation.- APIs and Components.- JEWL: A GUI Library for Educational Use.- Object-Oriented Stable Storage Based on Mirroring.- Transaction Support for Ada.- Real-Time Kernels.- MaRTE OS: An Ada Kernel for Real-Time Embedded Applications.- Implementing Ada. Real Time. Clock and Absolute Delays in Real-Time Kernels.- Defining New Non-preemptive Dispatching and Locking Policies for Ada.- Standard Formats: UML & XML.- Modelling Communication Interfaces with ComiX.- Safe Web Forms and XML Processing with Ada.- Mapping UML to Ada.- System Evolution.- Ship System 2000, a Stable Architecture under Continuous Evolution.- Migrating Large Applications from Ada83 to Ada95.- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK."Publisher Marketing: This book constitutes the refereed proceedings of the 6th International Conference on Reliable Software Technologies, Ada-Europe 2001, held in Leuven, Belgium, in May 2001. The 27 revised full papers presented together with five invited papers were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on program analysis, distributed systems, real-time systems, language and patterns, dependable systems, APIs and components, real-time kernels, standard formats: UML and XML, and system evolution.