Implementing atomic actions in Ada 95

Atomic actions are an important dynamic structuring technique that aid the construction of fault-tolerant concurrent systems. Although they were developed some years ago, none of the well-known commercially-available programming languages directly support their use. This paper summarizes software fault tolerance techniques for concurrent systems, evaluates the Ada 95 programming language from the perspective of its support for software fault tolerance, and shows how Ada 95 can be used to implement software fault tolerance techniques. In particular, it shows how packages, protected objects, requeue, exceptions, asynchronous transfer of control, tagged types, and controlled types can be used as building blocks from which to construct atomic actions with forward and backward error recovery, which are resilient to deserter tasks and task abortion

Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems

This paper is concerned with the development of reliable real-time systems for use in high integrity applications. It advocates the use of diverse replicated channels, but does not require the dependencies between the channels to be evaluated. Rather it develops and extends the approach of Little wood and Rush by (for general systems) by investigating a two channel system in which one channel, A, is produced to a high level of reliability (i.e. has a very low failure rate), while the other, B, employs various forms of static analysis to sustain an argument that it is perfect (i.e. it will never miss a deadline). The first channel is fully functional, the second contains a more restricted computational model and contains only the critical computations. Potential dependencies between the channels (and their verification) are evaluated in terms of aleatory and epistemic uncertainty. At the aleatory level the events ''A fails" and ''B is imperfect" are independent. Moreover, unlike the general case, independence at the epistemic level is also proposed for common forms of implementation and analysis for real-time systems and their temporal requirements (deadlines). As a result, a systematic approach is advocated that can be applied in a real engineering context to produce highly reliable real-time systems, and to support numerical claims about the level of reliability achieved

Investigations of planetary ring phenomena

Faint planetary rings, their dynamical behavior and physical properties, were the main focus of the research efforts. The motion of weakly-charged dust through the gravitational and magnetic fields of Jupiter were examined. Several topics concerning features of Saturn's rings were addressed. The origin and fate of the Uranian ring dust is presently being studied

Cycle-time properties of the timed token medium access control protocol

We investigate the timing properties of the timed token protocol that are necessary to guarantee synchronous message deadlines. A tighter upper bound on the elapse time between the token's lth arrival at any node i and its (l + v)th arrival at any node k is found. A formal proof to this generalized bound is presented

Replica determinism and flexible scheduling in hard real-time dependable systems

Fault-tolerant real-time systems are typically based on active replication where replicated entities are required to deliver their outputs in an identical order within a given time interval. Distributed scheduling of replicated tasks, however, violates this requirement if on-line scheduling, preemptive scheduling, or scheduling of dissimilar replicated task sets is employed. This problem of inconsistent task outputs has been solved previously by coordinating the decisions of the local schedulers such that replicated tasks are executed in an identical order. Global coordination results either in an extremely high communication effort to agree on each schedule decision or in an overly restrictive execution model where on-line scheduling, arbitrary preemptions, and nonidentically replicated task sets are not allowed. To overcome these restrictions, a new method, called timed messages, is introduced. Timed messages guarantee deterministic operation by presenting consistent message versions to the replicated tasks. This approach is based on simulated common knowledge and a sparse time base. Timed messages are very effective since they neither require communication between the local scheduler nor do they restrict usage of on-line flexible scheduling, preemptions and nonidentically replicated task sets

Oxygen isotopic paleotemperatures across the Runangan-Whaingaroan (Eocene-Oligocene) boundary in a New Zealand shelf sequence

Oxygen isotopic compositions of the tests of mainly benthic foraminifera, from sections of conformable Late Eocene (Runangan) to Early Oligocene (Whaingaroan) shelf mudstones, at both Cape Foulwind and Port Elizabeth, western South Island, indicate that shelf sea paleotemperatures followed the global open-ocean trend towards a Paleogene minimum near the Eocene-Oligocene boundary. Throughout the latest Eocene, temperatures declined steadily by 3°C, showed a temporary minor warming at the Eocenc-Oligocene boundary, dropped sharply by 2°C in the Early Oligocene, and ameliorated significantly later in the Early Oligocene. The qualitative temperature trends for New Zealand shelf waters at this time are similar to those inferred from earlier paleontologic syntheses and limited oxygen isotopic work, but involve a range of temperatures within the warm and cool temperate climatic zones and an absolute temperature depression across the Eocene-Oligocene boundary of only 5°C from about 17 to 12°C. Results are consistent with isotopic paleotemperatures determined from deep-sea sediment cores south of New Zealand where the cooling is inferred to mark the onset of production of Antarctic bottom waters at near-freezing temperatures

Electro-optical Sensors Research Study and Astronomical Observations Semiannual Progress Report, 15 Jun. - 15 Dec. 1965

Astronomical observations of short period cluster variables, image orthicon tube performance stability research, and development of strong field magnetically focused image tube