The testability of Ada programs

Software development for NASA's Space Station poses a significant problem; considered the most difficult by some. The difficulty is the magnitude and complexity of the required software. The concerns raised by consideration of the requirements for testing and checkout procedures for the Space Station software are addressed. In particular, it addresses the use of Ada in the development of widely distributed yet closely coordinated processing

Mission and Safety Critical (MASC): An EVACS simulation with nested transactions

The Extra-Vehicular Activity Control System (EVACS) Simulation with Nested Transactions, a recent effort of the MISSION Kernel Team, is documented. The EVACS simulation is a simulation of some aspects of the Extra-Vehicular Activity Control System, in particular, just the selection of communication frequencies. The simulation is a tool to explore mission and safety critical (MASC) applications. For the purpose of this effort, its current definition is quite narrow serving only as a starting point for prototyping purposes. (Note that EVACS itself has been supplanted in a larger scenario of a lunar outpost with astronauts and a lunar rover). The frequency selection scenario was modified to embed its processing in nested transactions. Again as a first step, only two aspects of transaction support were implemented in this prototype: architecture and state recovery. Issues of concurrency and distribution are yet to be addressed

A study of System Interface Sets (SIS) for the host, target and integration environments of the Space Station Program (SSP)

System interface sets (SIS) for large, complex, non-stop, distributed systems are examined. The SIS of the Space Station Program (SSP) was selected as the focus of this study because an appropriate virtual interface specification of the SIS is believed to have the most potential to free the project from four life cycle tyrannies which are rooted in a dependance on either a proprietary or particular instance of: operating systems, data management systems, communications systems, and instruction set architectures. The static perspective of the common Ada programming support environment interface set (CAIS) and the portable common execution environment (PCEE) activities are discussed. Also, the dynamic perspective of the PCEE is addressed

An EVACS simulation with nested transactions

Documented here is the recent effort of the MISSION Kernel Team on an Extra-Vehicular Activity Control System (EVACS) simulation with nested transactions. The team has implemented the EVACS simulation along with a design for nested transactions. The EVACS simulation is a project wide aid to exploring Mission and Safety Critical (MASC) applications and their support software. For this effort it served as a trial scenario for demonstrating nested transactions and exercising the transaction support design. The EVACS simulation is a simulation of some aspects of the Extra-Vehicular Activity Control System, in particular, just the selection of communication frequencies. Its current definition is quite narrow, serving only as a starting point for prototyping purposes. (EVACS itself may be supplanted in a larger scenario of a lunar outpost with astronauts and a lunar rover.) Initially the simulation of frequency selection was written without consideration of nested transactions. This scenario was then modified to embed its processing in nested transactions. To simplify the prototyping effort, only two aspects of the general design for transaction support have been implemented: the basic architecture and state recovery. The simulation has been implemented in the programming language Smalltalk. It consists of three components: (1) a simulation support code which provides the framework for initiating, interacting and tracing the system; (2) the EVACS application code itself, including its calls upon nested transaction support; and (3) a transaction support code which implements the logic necessary for nested transactions. Each of these components deserves further description, but for now only the transaction support is discussed

Storage management in Ada. Three reports. Volume 1: Storage management in Ada as a risk to the development of reliable software. Volume 2: Relevant aspects of language. Volume 3: Requirements of the language versus manifestations of current implementations

The risk to the development of program reliability is derived from the use of a new language and from the potential use of new storage management techniques. With Ada and associated support software, there is a lack of established guidelines and procedures, drawn from experience and common usage, which assume reliable behavior. The risk is identified and clarified. In order to provide a framework for future consideration of dynamic storage management on Ada, a description of the relevant aspects of the language is presented in two sections: Program data sources, and declaration and allocation in Ada. Storage-management characteristics of the Ada language and storage-management characteristics of Ada implementations are differentiated. Terms that are used are defined in a narrow and precise sense. The storage-management implications of the Ada language are described. The storage-management options available to the Ada implementor and the implications of the implementor's choice for the Ada programmer are also described

Testing CPT conservation using the NuMI neutrino beam with the MINOS experiment

The MINOS experiment was designed to measure neutrino oscillation parameters with muon neutrinos. It achieves this by measuring the neutrino energy spectrum and flavour composition of the man-made NuMI neutrino beam 1km after the beam is formed and again after 735 km. By comparing the two spectra it is possible to measure the oscillation parameters. The NuMI beam is made up of 7.0% μ, which can be separated from the μ because the MINOS detectors are magnetised. This makes it possible to study μ oscillations separately from those of muon neutrinos, and thereby test CPT invariance in the neutrino sector by determining the μ oscillation parameters and comparing them with those for μ, although any unknown physics of the antineutrino would appear as a difference in oscillation parameters. Such a test has not been performed with beam μ before. It is also possible to produce an almost pure μ beam by reversing the current through the magnetic focusing horns of the NuMI beamline, thereby focusing negatively, instead of positively charged particles. This thesis describes the analysis of the 7% μ component of the forward horn current NuMI beam. The μ of a data sample of 3.2×1020 protons on target analysis found 42 events, compared to a CPT conserving prediction of 58.3+7.6 −7.6(stat.)+3.6 −3.6(syst.) events. This corresponds to a 1.9 deficit, and a best fit value of m2 32 = 18 × 10−3 eV2 and sin2 223 = 0.55. This thesis focuses particularly on the selection of μ events, and investigates possible improvements of the selection algorithm. From this a different selector was chosen, which corroborated the findings of the original selector. The thesis also investigates how the systematic errors affect the precision of m2 32 and sin2 223. Furthermore, it describes a study to determine the gains of the PMTs via the single-photoelectron spectrum. The results were used as a crosscheck of the gains determined at higher intensities by an LED-based light-injection system

A study of MAPSE extensions

The technical issues of extending the Minimal Ada Programming Support Environment (MAPSE) to support the life cycle of large, complex distributed systems such as the Space Station Program (SSP) are studied. The work has been divided into two phases, Phase one, covered herein, identifies a list of advanced technical tools needed to extend the MAPSE to meet the needs believed to be inherent in the Software Support Environment (SSE). The description of SSE requirements are given, and a list of the tools are identified. An outline is also given of the principle requirements for a MAPSE, along with a description of the life cycle model and a description of the tools in the context of the life cycle model

Ada programming guidelines for deterministic storage management

Previous reports have established that a program can be written in the Ada language such that the program's storage management requirements are determinable prior to its execution. Specific guidelines for ensuring such deterministic usage of Ada dynamic storage requirements are described. Because requirements may vary from one application to another, guidelines are presented in a most-restrictive to least-restrictive fashion to allow the reader to match appropriate restrictions to the particular application area under investigation

Classification of high-voltage power line structures in low density ALS data acquired over broad non-urban areas

Airborne laser scanning (ALS) has gained importance over recent decades for multiple uses related to the cartography of landscapes. Processing ALS data over large areas for forest resource estimation and ecological assessments requires efficient algorithms to filter out some points from the raw data and remove human-made structures that would otherwise be mistaken for natural objects. In this paper, we describe an algorithm developed for the segmentation and cleaning of electrical network facilities in low density (2.5 to 13 points/m2) ALS point clouds. The algorithm was designed to identify transmission towers, conductor wires and earth wires from high-voltage power lines in natural landscapes. The method is based on two priors i.e. (1) the availability of a map of the high-voltage power lines across the area of interest and (2) knowledge of the type of transmission towers that hold the conductors along a given power line. It was tested on a network totalling 200 km of wires supported by 415 transmission towers with diverse topographies and topologies with an accuracy of 98.6%. This work will help further the automated detection capacity of power line structures, which had previously been limited to high density point clouds in small, urbanised areas. The method is open-source and available online

Using a standing-tree acoustic tool to identify forest stands for the production of mechanically-graded lumber.

This study investigates how the use of a Hitman ST300 acoustic sensor can help identify the best forest stands to be used as supply sources for the production of Machine Stress-Rated (MSR) lumber. Using two piezoelectric sensors, the ST300 measures the velocity of a mechanical wave induced in a standing tree. Measurements were made on 333 black spruce (Picea mariana (Mill.) BSP) trees from the North Shore region, Quebec (Canada) selected across a range of locations and along a chronosequence of elapsed time since the last fire (TSF). Logs were cut from a subsample of 39 trees, and sawn into 77 pieces of 38 mm × 89 mm cross-section before undergoing mechanical testing according to ASTM standard D-4761. A linear regression model was developed to predict the static modulus of elasticity of lumber using tree acoustic velocity and stem diameter at 1.3 m above ground level (R2 = 0.41). Results suggest that, at a regional level, 92% of the black spruce trees meet the requirements of MSR grade 1650Fb-1.5E, whilst 64% and 34% meet the 2100Fb-1.8E and 2400Fb-2.0E, respectively. Mature stands with a TSF < 150 years had 11 and 18% more boards in the latter two categories, respectively, and therefore represented the best supply source for MSR lumber