IRTAW

The objective of this session was to identify one or more restricted tasking profiles that would satisfy the certification requirements of high-integrity (safety-critical) real-time systems. Such a profile would also be likely to offer improved ...

The workshop's objectives for the sessions were:1. Discuss experiences and issues implementing Annex E and providing tool support for developing distributed programs.2. Examine issues implied by allowing the distributed replication of programs.

To discuss any outstanding issues that the real-time community needs to recognize.

The aim of the session is to discuss appropriate paradigms for using OOP in Real-Time Systems.

In recent years fixed-priority scheduling has received a lot of attention. Indeed, it could be said that it has become a mature approach to engineering real-time systems. The Ada language includes the necessary mechanisms for implementing this kind of ...

A number of flexible scheduling schemes can be programmed in Ada 95 by combining the more advanced features the language provides. For example, imprecise computations would appear to be accommodated by the use of ATCs (with timing triggers) and dynamic ...

High-integrity systems rarely make use of high-level language features such as Ada tasking. In this paper, simple language profiles (of Ada 95 concurrency features) are developed that are appropriate for various levels of integrity. A level-0 model (...

Since 1985, we have undertaken extensive works on concurrent system development methodology and their systematic implementation in Ada. In 1990-1991, this resulted in the presentation of the CODE-TOP (COncurrent system DEvelopment using Transformations ...

This short paper describes one of our current activities around distribution and real-time systems. The work presented is still in progress and therefore technical issues and solutions might change. We are combining the various elements we shall ...

This paper describes T-SMART, an Ada83 executive and toolset for the production of safety critical and hard real time applications. T-SMART consists of three main integrated parts:- Ada runtime executive audited to DO-178B standard for use in safety-...

While the Ada community has seen and embraced the development of Ada 95 [1], with its enhanced object oriented features and various annexes, much of the rest of the commercial world continues to ignore Ada as a viable tool for software system building. ...

In this paper we present our experience in the development of real-time controllers for special robots, designed to perform maintenance operations in nuclear power plants. The evolution of computer hardware and software technology has made the ...

The paper reports on a recently completed analysis of the suitability of Ada95 for use in high integrity systems, describes the status of real-time features in this analysis, and identifies how the analysis could be extended to admit more features ...

This paper reports on the issues in design and development of Object Oriented Real-Time Distributed Systems using Ada 95. The paper is broken into the following parts: First, one of the general distributed real-time problems is introduced as it fits the ...

Many people are interested in reducing the cost of development for military systems through reuse of existing software. One of the issues associated with supporting reuse of software is the need to support application interfaces. With the upgrade of the ...

Tasking is the most important-aspect of Ada not addressed by existing verification systems. The DRA Compliance Notation allows a subset of Ada to be embedded in a engine supported by Z. We propose incorporating a reduced tasking model into the Notation.

This paper presents an approach for the implementation of the Hartstone Distributed Benchmark (HDB) for Hard Real-Time Distributed Systems with Ada 95. From the series of experiments as defined in the original HDB paper, six experiments have been ...

A specification/generation software tool for building hard real-time distributed systems was redeveloped to generate Ada 95 rather that Ada 83 and targeted to the GNAT Ada 95 compiler under Sun Solaris. The resulting simulator was tested with missile ...

Ada 83 removed from the programmer the burden of coding potentially complex termination conditions between clients and servers by introducing an 'or terminate' option to the select statement. With the introduction of indirect communication (emphasised ...

In this paper we present a project to provide fault tolerance in distributed Ada 95 applications by means of replication of partitions. Replication is intended to be largely transparent to an application. A group communication system is used for replica ...