Software management tools: Lessons learned from use

Experience in inserting software project planning tools into more than 100 projects producing mission critical software are discussed. The problems the software project manager faces are listed along with methods and tools available to handle them. Experience is reported with the Project Manager's Workstation (PMW) and the SoftCost-R cost estimating package. Finally, the results of a survey, which looked at what could be done in the future to overcome the problems experienced and build a set of truly useful tools, are presented

An experimental evaluation of error seeding as a program validation technique

A previously reported experiment in error seeding as a program validation technique is summarized. The experiment was designed to test the validity of three assumptions on which the alleged effectiveness of error seeding is based. Errors were seeded into 17 functionally identical but independently programmed Pascal programs in such a way as to produce 408 programs, each with one seeded error. Using mean time to failure as a metric, results indicated that it is possible to generate seeded errors that are arbitrarily but not equally difficult to locate. Examination of indigenous errors demonstrated that these are also arbitrarily difficult to locate. These two results support the assumption that seeded and indigenous errors are approximately equally difficult to locate. However, the assumption that, for each type of error, all errors are equally difficult to locate was not borne out. Finally, since a seeded error occasionally corrected an indigenous error, the assumption that errors do not interfere with each other was proven wrong. Error seeding can be made useful by taking these results into account in modifying the underlying model

Steady-state distributions for models of bubbles: their existence and econometric implications

The purpose of this paper is to examine the properties of bubbles in the light of steady state results for threshold auto-regressive (TAR) models recently derived by Knight and Satchell (2011). We assert that this will have implications for econometrics. We study the conditions under which we can obtain a steady state distribution of asset prices using our simple model of bubbles based on our particular definition of a bubble. We derive general results and further extend the analysis by considering the steady state distribution in three cases of a (I) a normally distributed error process, (II) a non normally (exponentially) distributed steady-state process and (III) a switching random walk with a fairly general i.i.d error process We then examine the issues related to unit root testing for the presence of bubbles using standard econometric procedures. We illustrate as an example, the market for art, which shows distinctly bubble-like characteristics. Our results shed light on the ubiquitous finding of no bubbles in the econometric literature

Production of Reliable Flight Crucial Software: Validation Methods Research for Fault Tolerant Avionics and Control Systems Sub-Working Group Meeting

The state of the art in the production of crucial software for flight control applications was addressed. The association between reliability metrics and software is considered. Thirteen software development projects are discussed. A short term need for research in the areas of tool development and software fault tolerance was indicated. For the long term, research in format verification or proof methods was recommended. Formal specification and software reliability modeling, were recommended as topics for both short and long term research

Wind tunnel tests on airfoil boundary control using a backward opening slot

This report presents the results of an investigation to determine the effect of boundary layer control on the lift and drag of an airfoil equipped with a backward opening slot. Various slot locations, widths of opening, and pressures, were used. The tests were conducted in the Five-Foot Atmospheric Wind Tunnel of the Langley Memorial Aeronautical Laboratory. The greatest increase in maximum lift was 96 per cent, the greatest decrease in minimum drag was 27 per cent, and the greatest increase in the ratio, maximum lift coefficient/minimum drag coefficient, was 151 per cent

Optical implementability of the two-dimensional Quantum Walk

We propose an optical cavity implementation of the two-dimensional coined quantum walk on the line. The implementation makes use of only classical resources, and is tunable in the sense that a large number of different unitary transformations can be implemented by tuning some parameters of the device.Comment: 9 pages, 3 figure

Study of Nonstationary Random Process Theory

Nonstationary random process theor

PASCAL/48 reference manual

PASCAL/48 is a programming language for the Intel MCS-48 series of microcomputers. In particular, it can be used with the Intel 8748. It is designed to allow the programmer to control most of the instructions being generated and the allocation of storage. The language can be used instead of ASSEMBLY language in most applications while allowing the user the necessary degree of control over hardware resources. Although it is called PASCAL/48, the language differs in many ways from PASCAL. The program structure and statements of the two languages are similar, but the expression mechanism and data types are different. The PASCAL/48 cross-compiler is written in PASCAL and runs on the CDC CYBER NOS system. It generates object code in Intel hexadecimal format that can be used to program the MCS-48 series of microcomputers. This reference manual defines the language, describes the predeclared procedures, lists error messages, illustrates use, and includes language syntax diagrams

Synthesis methods for manual aerospace control systems with applications to SST design

Synthesis methods for manual aerospace control systems using digital programming and man machine performance data with application to supersonic transport desig