Independent validation and verification of the TCAS II collisionavoidance subsystem

This paper describes the specification-based testing, analysis tools, and associated processes used to independently validate, verify, and ultimately, provide for certifying safety-critical software developed for the Traffic Alert and Collision Avoidance System (TCAS II) program. These tools and processes comprise an effective and Independent Validation and Verification (IV and V) activity applied to the Collision Avoidance Subsystem (GAS) software development process. A requirements specification language called the Requirements State Machine Language (RSML), originally developed by the University of California, Irvine (UCI), was employed for the specification of GAS. The end result is the next generation of TCAS II collision avoidance logic, referred to as Version 7, that is of a higher quality than its predecessors, meets the certification requirements of DO-178B Level B (Ref. 1), and can be shown to satisfy the new operational requirements it was developed to address     

Electronic technical manual development

In the past, Air Force technical manuals have been stored in libraries containing many volumes of such manuals. This article details the creation and development of an Electronic Technical Manual for the F-16 Analog Test Station Sustainment (FATSS) Project. The manual will allow users to search a single CD-ROM to access data on maintenance, operational procedures, self-test, calibration, schematics, and illustrated parts breakdowns     

Embedded information system re-engineering

Currently fielded embedded information systems face readiness challenges imposed by evolving missions and extended service lifespans. The ability to overcome these challenges is constrained by such factors as shrinking budgets, limited computational capacity and diminished manufacturing sources effects that impact both hardware and software options. Wholesale redevelopment is often cost prohibitive, particularly since large portions of embedded applications continue to fulfil mission requirements. Solutions must preserve prior investments while providing efficient pathways for continued technology refresh. A technology solution for affordable modernization of legacy system software is being development. The Embedded Information System Re-engineering (EISR) project is developing an automation-assisted JOVIAL-to-C re-engineering capability that permits simultaneous modernization of both the structure and source language of legacy embedded applications. Engineers will be able to apply the proven labor-saving visualization and analysis features of modern CASE tools to legacy JOVIAL applications. EISR will thus allow the DoD to recapture previous investments in proven legacy algorithms and mission capabilities while permitting the full exploitation of COTS economies of scale. This paper describes in brief the goals and objectives of the EISR project, and provides the current status of the EISR capability.     

Fast converging adaptive processor or a structured covariance matrix

The use of adaptive linear techniques to solve signal processing problems is needed particularly when the interference environment external to the signal processor (such as for a radar or communication system) is not known a priori. Due to this lack of knowledge of an external environment, adaptive techniques require a certain amount of data to cancel the external interference. The number of statistically independent samples per input sensor required so that the performance of the adaptive processor is close (nominally within 3 dB) to the optimum is called the convergence measure of effectiveness (MOE) of the processor. The minimization of the convergence MOE is important since in many environments the external interference changes rapidly with time. Although there are heuristic techniques in the literature that provide fast convergence for particular problems, there is currently not a general solution for arbitrary interference that is derived via classical theory. A maximum likelihood (ML) solution (under the assumption that the input interference is Gaussian) is derived here for a structured covariance matrix that has the form of the identity matrix plus an unknown positive semi-definite Hermitian (PSDH) matrix. This covariance matrix form is often valid in realistic interference scenarios for radar and communication systems. Using this ML estimate, simulation results are given that show that the convergence is much faster than the often-used sample matrix inversion method. In addition, the ML solution for a structured covariance matrix that has the aforementioned form where the scale factor on the identity matrix is arbitrarily lower-bounded, is derived. Finally, an efficient implementation is presented.     

Parametric models for helicopter identification using ANN

An artificial neural network (ANN) based helicopter identification system is proposed. The feature vectors are based on both the tonal and the broadband spectrum of the helicopter signal, ANN pattern classifiers are trained using various parametric spectral representation techniques. Specifically, linear prediction, reflection coefficients, cepstrum, and line spectral frequencies (LSF) are compared in terms of recognition accuracy and robustness against additive noise. Finally, an 8-helicopter ANN classifier is evaluated. It is also shown that the classifier performance is dramatically improved if it is trained using both clean data and data corrupted with additive noise.     

Pilots for space tourism

This article sheds light on the key player needed for any space tourism adventure: the pilot who flies the spacecraft. The paper addresses the potential benefits of including a pilot at the controls when designing a space tourism spacecraft. It examines the basic qualifications and advanced skills required of space tourism pilots and discusses key training requirements for selected pilots and space pilots' pay and benefits. In addition, the research concludes that, just as the pioneers of passenger transport in aviation entertained and captured the interest of their passengers, the space pilot should have the skills of a tour guide.     

The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology

Abstract

In this paper we propose a spatial ontology for reasoning about holes, rigid objects and a string, taking a classical puzzle as a motivating example. In this ontology the domain is composed of spatial regions whereby a theory about holes is defined over a mereotopological basis. Within this theory we define a data structure, named chain, that facilitates a clear and efficient representation of the puzzle states and its solution.     

Revisiting Perspective-Taking: Can People Maintain Imagined Perspectives?

Abstract

Three experiments were conducted to examine whether people can adopt and maintain imagined perspectives in the absence of target information. The task used entailed providing information about an imagined perspective in advance of target information to examine whether this would facilitate perspective-taking performance and reduce or eliminate alignment effects that are commonly reported in the literature. The three experiments employed different types of spatial environments: an environment learned from navigating a computer screen (Experiment 1), and an immersive environment that was either remote (Experiment 2) or immediate (Experiment 3) at the time of retrieval. Across the three experiments, results showed that information about an imagined perspective can be utilized ahead of target information. Furthermore, they suggested that alignment effects can be reduced as a result of processing information about perspective ahead of target information, but only when reasoning about specific nonimmediate spatial relations (Experiments 1 and 2). Results are discussed in connection with previous findings on spatial updating and the organizational structure of spatial memory.     

In Memoriam: Herbert L. Pick,Jr. (1930–2012)

ABSTRACT

Fictive motion in language (as in “the ridge went north”) is claimed to reflect the attention focus of the observer on the extension and spatial layout of an entity. This paper investigates fictive motion in alpine narratives, which describe the experience of moving in a very specifically structured space. We examine space properties that are highlighted through fictive motion in this specific context and describe how they go beyond spatial extension. We further report the communicative motivation behind the use of fictive motion, ranging from conveying the sense of place to encoding the full spatial footprint of a motion event.