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

形状

称赞

Building Robust Applications by Reusing Non-robust Legacy Softwareorder to increase fault tolerance of the service provided by the reused software. This methodology consists of writing an Ada interface which makes the binding to the legacy library. This interface forwards client requests to a group of remote servers, each one executing a copy of the legacy library

胆小懦夫

推迟

Complex Task Implementation in Adaodic instants of time. While the process of control design is focused on obtaining the regulator, later on translated into an algorithm, the software design is focused on producing pieces of software that will be executed concurrently under a scheduler. Nowadays, more and more applications require c

reception

小卒

faction

Circumscribe

带伤害

Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Softwarea software. In particular, the toolset is examined to determine how effective it is in finding run-time errors in a SPARK program, and how much of the process of proving freedom from run-time errors can be performed automatically. The study identifies areas where automatic run-time checks are not so

ALT

Scenario-Based System Assessmentent. This approach uses the notion of input-space scenarios, which are created by a link between system structure and input space structure. Scenario-based system assessment combines two differing already existing approaches to software reliability and risk assessment: input space partitioning and c