Titlebook: Reliable Software Technologies - Ada-Europe ‘99; 1999 Ada-Europe Inte Michael González Harbour,Juan A. Puente Conference proceedings 1999 S

stratum-corneum

Railway Scale Model Simulatorusiastic about its use. The writing of programs controlling trains is based upon the Ada tasks and the new features provided with the 95 version of the language (protected objects, requeue, System Annex).

暴行

开玩笑

Re-engineering a Safety-Critical Application Using SPARK 95 and GNORTT.We assess the benefits of this approach through metrics on the SHOLIS application source and object code. These data may be of interest to engineers who are considering Ada95 for a new project or converting an existing Ada83 application to Ada95.

exhilaration

An Ada95 Solution for Certification of Embedded Safety Critical Applicationstlines how the DDC-I approach relates to the work in the ESPRIT OMI/SAFE project which aims at establishing a complete software factory for the development and certification of embedded safety-critical applications.

否决

使更活跃

An Architectural Perspective of Real-Time Ada Applicationsral families: the Timeline, Event-Driven, Pipeline, and Client-Server architectures. This paper describes the principal characteristics of each of these architecture families with respect to their ability to provide bounded application response times, their cost, and safety at a high level. In addit

空气

A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objectsh complexity to permit a formal description of the model. The complete model of the Protected Object portion of the Ravenscar Model is presented in Uppaal. Some important properties are verified such as timing of calls to protected procedure. This is the first time a part of an Ada run-time has been

BROW

padding

Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT systems.We describe GNORT, the motivation for its development, and give some technical detail of its implementation. The latter part of the paper goes on to describe SHOLIS—an existing safety-critical application written in SPARK 83 that has been re-engineered to take advantage of SPARK 95 and GNOR

Bucket