Transforming AdaPT to Ada

This paper describes how the main features of the proposed Ada language extensions intended to support distribution, and offered as possible solutions for Ada9X can be implemented by transformation into standard Ada83. We start by summarizing the features proposed in a paper (Gargaro et al, 1990) which constitutes the definition of the extensions. For convenience we have called the language in its modified form AdaPT which might be interpreted as Ada with partitions. These features were carefully chosen to provide support for the construction of executable modules for execution in nodes of a network of loosely coupled computers, but flexibly configurable for different network architectures and for recovery following failure, or adapting to mode changes. The intention in their design was to provide extensions which would not impact adversely on the normal use of Ada, and would fit well in style and feel with the existing standard. We begin by summarizing the features introduced in AdaPT

Programming in a proposed 9X distributed Ada

The studies of the proposed Ada 9X constructs for distribution, now referred to as AdaPT are reported. The goals for this time period were to revise the chosen example scenario and to begin studying about how the proposed constructs might be implemented. The example scenario chosen is the Submarine Combat Information Center (CIC) developed by IBM for the Navy. The specification provided by IBM was preliminary and had several deficiencies. To address these problems, some changes to the scenario specification were made. Some of the more important changes include: (1) addition of a system database management function; (2) addition of a fourth processing unit to the standard resources; (3) addition of an operator console interface function; and (4) removal of the time synchronization function. To implement the CIC scenario in AdaPT, the decided strategy were publics, partitions, and nodes. The principle purpose for implementing the CIC scenario was to demonstrate how the AdaPT constructs interact with the program structure. While considering ways that the AdaPt constructs might be translated to Ada 83, it was observed that the partition construct could reasonably be modeled as an abstract data type. Although this gives a useful method of modeling partitions, it does not at all address the configuration aspects on the node construct

On-line replacement of program modules using AdaPT

One purpose of our research is the investigation of the effectiveness and expressiveness of AdaPT(1), a set of language extensions to Ada 83, for distributed systems. As a part of that effort, we are now investigating the subject of replacing, e.g., upgrading, software modules while the software system remains in operation. The AdaPT language extension provide a good basis for this investigation for several reasons: (1) they include the concept of specific, self-contained program modules which can be manipulated; (2) support for program configuration is included in the language; and (3) although the discussion will be in terms of the AdaPT language, the AdaPT to Ada 83 conversion methodology being developed as another part of this project will provide a basis for the application of our findings to Ada 83 systems. The purpose of this investigation is to explore the basic mechanisms to the replacement process. Thus, while replacement in the presence of real-time deadlines, heterogeneous systems, and unreliable networks is certainly a topic of interest, we will first gain an understanding of the basic processes in the absence of such concerns. The extension of the replacement process to more complex situations can be made later. This report will establish an overview of the on-line upgrade problem, and present a taxonomy of the various aspects of the replacement process

Programming in a proposed 9X distributed Ada

The proposed Ada 9X constructs for distribution was studied. The goal was to select suitable test cases to help in the evaluation of the proposed constructs. The examples were to be considered according to the following requirements: real time operation; fault tolerance at several different levels; demonstration of both distributed and massively parallel operation; reflection of realistic NASA programs; illustration of the issues of configuration, compilation, linking, and loading; indications of the consequences of using the proposed revisions for large scale programs; and coverage of the spectrum of communication patterns such as predictable, bursty, small and large messages. The first month was spent identifying possible examples and judging their suitability for the project

Modelling environmental influences on calving at Helheim Glacier in eastern Greenland

Calving is an important mass-loss process for many glaciers worldwide, and has been assumed to respond to a variety of environmental influences. We present a grounded, flowline tidewater glacier model using a physically-based calving mechanism, applied to Helheim Glacier, eastern Greenland. By qualitatively examining both modelled size and frequency of calving events, and the subsequent dynamic response, the model is found to realistically reproduce key aspects of observed calving behaviour. Experiments explore four environmental variables which have been suggested to affect calving rates: water depth in crevasses, basal water pressure, undercutting of the calving face by submarine melt and backstress from ice mélange. Of the four variables, only crevasse water depth and basal water pressure were found to have a significant effect on terminus behaviour when applied at a realistic magnitude. These results are in contrast to previous modelling studies, which have suggested that ocean temperatures could strongly influence the calving front. The results raise the possibility that Greenland outlet glaciers could respond to the recent trend of increased surface melt observed in Greenland more strongly than previously thought, as surface ablation can strongly affect water depth in crevasses and water pressure at the glacier bed

On-line upgrade of program modules using AdaPT

One purpose of our research is the investigation of the effectiveness and expressiveness of AdaPT, a set of language extensions to Ada 83, for distributed systems. As a part of that effort, we are now investigating the subject of replacing, e.g. upgrading, software modules while the software system remains in operation. The AdaPT language extensions provide a good basis for this investigation for several reasons: they include the concept of specific, self-contained program modules which can be manipulated; support for program configuration is included in the language; and although the discussion will be in terms of the AdaPT language, the AdaPT to Ada 83 conversion methodology being developed as another part of this project will provide a basis for the application of our findings to Ada 83 and Ada 9X systems. The purpose of this investigation is to explore the basic mechanisms of the replacement process. With this purpose in mind, we will avoid including issues whose presence would obscure these basic mechanisms by introducing additional, unrelated concerns. Thus, while replacement in the presence of real-time deadlines, heterogeneous systems, and unreliable networks is certainly a topic of interest, we will first gain an understanding of the basic processes in the absence of such concerns. The extension of the replacement process to more complex situations can be made later. A previous report established an overview of the module replacement problem, a taxonomy of the various aspects of the replacement process, and a solution to one case in the replacement taxonomy. This report provides solutions to additional cases in the replacement process taxonomy: replacement of partitions with state and replacement of nodes. The solutions presented here establish the basic principles for module replacement. Extension of these solutions to other more complicated cases in the replacement taxonomy is direct, though requiring substantial work beyond the available funding

Analysis of host responses to Mycobacterium tuberculosis antigens in a multi-site study of subjects with different TB and HIV infection states in sub-Saharan Africa.

BACKGROUND: Tuberculosis (TB) remains a global health threat with 9 million new cases and 1.4 million deaths per year. In order to develop a protective vaccine, we need to define the antigens expressed by Mycobacterium tuberculosis (Mtb), which are relevant to protective immunity in high-endemic areas. METHODS: We analysed responses to 23 Mtb antigens in a total of 1247 subjects with different HIV and TB status across 5 geographically diverse sites in Africa (South Africa, The Gambia, Ethiopia, Malawi and Uganda). We used a 7-day whole blood assay followed by IFN-γ ELISA on the supernatants. Antigens included PPD, ESAT-6 and Ag85B (dominant antigens) together with novel resuscitation-promoting factors (rpf), reactivation proteins, latency (Mtb DosR regulon-encoded) antigens, starvation-induced antigens and secreted antigens. RESULTS: There was variation between sites in responses to the antigens, presumably due to underlying genetic and environmental differences. When results from all sites were combined, HIV- subjects with active TB showed significantly lower responses compared to both TST(-) and TST(+) contacts to latency antigens (Rv0569, Rv1733, Rv1735, Rv1737) and the rpf Rv0867; whilst responses to ESAT-6/CFP-10 fusion protein (EC), PPD, Rv2029, TB10.3, and TB10.4 were significantly higher in TST(+) contacts (LTBI) compared to TB and TST(-) contacts fewer differences were seen in subjects with HIV co-infection, with responses to the mitogen PHA significantly lower in subjects with active TB compared to those with LTBI and no difference with any antigen. CONCLUSIONS: Our multi-site study design for testing novel Mtb antigens revealed promising antigens for future vaccine development. The IFN-γ ELISA is a cheap and useful tool for screening potential antigenicity in subjects with different ethnic backgrounds and across a spectrum of TB and HIV infection states. Analysis of cytokines other than IFN-γ is currently on-going to determine correlates of protection, which may be useful for vaccine efficacy trials

Search for astronomical neutrinos from blazar TXS 0506+056 in super-kamiokande

We report a search for astronomical neutrinos in the energy region from several GeV to TeV in the direction of the blazar TXS 0506+056 using the Super-Kamiokande detector following the detection of a 100 TeV neutrinos from the same location by the IceCube collaboration. Using Super-Kamiokande neutrino data across several data samples observed from 1996 April to 2018 February we have searched for both a total excess above known backgrounds across the entire period as well as localized excesses on smaller timescales in that interval. No significant excess nor significant variation in the observed event rate are found in the blazar direction. Upper limits are placed on the electron- and muon-neutrino fluxes at the 90% confidence level as 6.0 × 10−7 and 4.5 × 10−7–9.3 × 10−10 [erg cm−2 s−1], respectively