Titlebook: Reliable Software Technologies Ada-Europe 2000; 5th Ada-Europe Inter Hubert B. Keller,Erhard Plödereder Conference proceedings 2000 Springe

毗邻

An Ada95 Programming Style Checker Using the GNAT ASIS Implementationlopment cycle. Style checking in this case is to be understood as anything that normally goes beyond the capabilities of an ordinary compiler. An implementation of a style checking framework written in Ada95 and using the GNAT ASIS implementation is presented. This framework also allows to specify what is being checked.

enchant

Support of Technology Development in the Information Societyn will put emphasis on new developments in the software area, showing the importance of embedded systems and open source software. Finally the expected time frame and subjects for the next calls will be presented.

gusher

prostate-gland

Constructing Reliable Embedded Systems Using the Results of System Safety AnalysisA sufficiently decomposed system will be reconstructed by continuously comparing the quantitative and qualitative results of fault tree analysis with user-defined requirements satisfying reliability constraints.

Nucleate

An Application of the Chains-of-Rare-Events Model to Software Development Failure Predictionmator has the important characteristic of quickly reaching stability around the true value. We apply this model to several data and compare it with a non homogenous Poisson process model, and the Poisson distribution compounded by a geometric model.

pancreas

BET

A Supporting Tool for Development of Self-Measurement Ada Programsed on the measurement specifications to support development of self-measurement Ada programs. It can automatically construct a self-measurement concurrent system from the functional part, the measurement part, and the measurement specifications of the system.

FAWN

SIT

Analysis, Design and Implementation of an Object-Oriented Framework in Ada95ain using diagrams of the UML. In further sections the mapping from design artifacts to code in Ada95 and the usage of the framework are shown. The article finishes with a summary of the experience gained and the lessons learned.

garrulous