Titlebook: Reliable Software Technologies - Ada-Europe 2001; 6th Ada-Europe Inter Dirk Craeynest,Alfred Strohmeier Conference proceedings 2001 Springe

Incisor

leniency

Building Modern Distributed Systemsntation of the Distributed Systems Annex. Extensions include restart on failure, easy code migration, hot code upgrade, restricted run time for use on embedded systems with limited processing as well as distributed storage capabilities and persistent storage handling.

好開玩笑

Reliable Communication in Distributed Computer-Controlled Systems preventing the occurrence of such unreliable behaviours. The proposed protocols explore the CAN synchronous properties to minimise its run-time overhead, and to provide a timely service to the supported applications. The paper also presents conclusions drawn from the implementation of the protocols in the Ada version of Real-Time Linux.

機密

Building Robust Applications by Reusing Non-robust Legacy Software. Dependability and consistency issues are solved inside the new interface code. In order to provide continuous service when adding new members, we propose techniques which prevent the server group from stopping service during state transfer. As an example of this methodology we present a robust database.

Nerve-Block

Component Libraries and Language Featuresations imposed by abstraction boundaries (e.g., incomplete interfaces) without completely breaking abstraction. Language features discussed: type sytem features, object orientation, genericity and reflection..The work presented is work in progress, preliminary results and observations will be shown and discussed.

沉積物

Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Softwarey proving absence of run-time errors..The results will be of interest to anyone contemplating the use of the SPARK toolset for ensuring the absence of run-time errors, both as guidance in planning the effort required, and for practical advice on making the best use of the toolset.

儲備

征兵

Slicing Tagged Objects in Adaams, packages/types and hierarchies of types. Our slicing algorithm is more efficient because most of the results can be reused, and inter-subprogram slicing is transformed to intra-subprogram slicing.

COW

Repatriate

Scenario-Based System Assessmentbased system assessment combines two differing already existing approaches to software reliability and risk assessment: input space partitioning and code partitioning and it draws on the strengths of both models while at the same time helping to overcome some of their restrictions.