Titlebook: Reliable Software Technology – Ada-Europe 2005; 10th Ada-Europe Inte Tullio Vardanega,Andy Wellings Conference proceedings 2005 Springer-Ve

調(diào)整

欲望小妹

A New Strategy for the HRT-HOOD to Ada Mapping been gained into the practical use of Ada?95 for high-integrity applications, of which the Ravenscar Profile is a notable emanation. In this paper we present a new HRT-HOOD to Ada mapping strategy, which aims to overcome the shortcomings we noted in the original one, by leveraging on the better und

協(xié)迫

Using the AADL to Describe Distributed Applications from Middleware to Software Componentsrchitecture description languages (ADLs) such as the AADL provide adequate syntax and semantics to express all those properties on each component of a system. DRE systems rely on a key component, the middleware, to address distribution issues. In order to build efficient and verifiable systems, the

Cougar

Missile

剛毅

Proving Functional Equivalence for Program Slicing in SPARKTMtool that extracts program slices from SPARK procedures and proves that the functionality of the original procedure is equivalent to the functionality of the collection of resulting slices. By showing that the effects of the SPARK statements in the collection of slices has the same effect on the inp

沙發(fā)

蝕刻術(shù)

A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTMatter case the sharing needs to be implemented by some mechanism that ensures mutually exclusive access, or possibly “concurrent read / exclusive write”. Ada and the Real-Time Specification for Java have taken different approaches to mutual exclusion. This paper analyzes and compares them with respe

micronutrients

史前

Non-intrusive System Level Fault-Tolerance faults that remain in software after system design and development behave like hardware transient faults: they appear, do the damage and disappear. The conventional approach used for handling task overruns caused by transient faults is to use a single recovery task that implements minimal functiona