Generating requirements for complex embedded systems using State Analysis

It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are the conventional approaches to systems and software engineering based on subsystem-level functional decomposition, which fail to scale in the tangled web of interactions typically encountered in complex spacecraft designs. Furthermore, there is a fundamental gap between the requirements on software specified by systems engineers and the implementation of these requirements by software engineers. Software engineers must perform the translation of requirements into software code, hoping to accurately capture the systems engineer's understanding of the system behavior, which is not always explicitly specified. This gap opens up the possibility for misinterpretation of the systems engineer's intent, potentially leading to software errors. This problem is addressed by a systems engineering methodology called State Analysis, which provides a process for capturing system and software requirements in the form of explicit models. This paper describes how requirements for complex aerospace systems can be developed using State Analysis, using representative spacecraft examples.     

An Ideal Digital Frequency Translator

Many digital techniques are available for providing a desired shift in frequency of a given carrier signal, but the resulting output usually contains spurious harmonic content due to the digital means employed. This correspondence discusses a digital device which provides a variable shift in frequency of a given carrier signal, with the feature that no spurious harmonic content exists in the output.     

An Experimental Radar Facility

A coherent CW superheterodyne radar system operating at frequencies of 9, 17, 35, and 70 GHz is described. The radars are installed on a free-flight range to study backscattering from wakes of hypersonic-velocity projectiles. Each radar is equipped with a focused-lens antenna oriented at an angle of approximately 45° to the flight axis. Amplitude and phase of the received signal are recorded separately. Some typical results are given to demonstrate the capabilities of the equipment.     

Time-Optimal Control of a Bounded Phase-Coordinate Process II: High-Order Systems with Multiple Control Inputs

This paper considers the problem arising from the design of an autopilot for a large booster. The motion-controlling actuators of the booster have both position and rate limits. The problem is formulated as a bounded phase-coordinate problem and analyzed by the ``backing out of the target' procedure. A method of constructing the optimal control is presented. An example of an oscillatory system with two control inputs is given, and the optimal control is expressed as an explicit time function.     

Estimated Flight Time for Optimum Trajectories

Various methods are presented for estimating the flight time for vehicles which fly an optimum trajectory. A realistic example is considered in order to display the inherent accuracy of each of these methods. Numerical integration methods are found to be the most accurate. Simple formulas are derived for the case where a less accurate estimate is acceptable. All of these methods require less computation than would be required in order to solve the overall optimization problem. Thus any one of these methods can be applied to an onboard guidance scheme or control system which requires a real time estimate of the time-to-go.     

Comments on the Communication and Data Problems Associated with a Mars Trip During a Conjunction Phase

The analysis and comments presented in this paper are meant to establish the general communication parameters associated with Martian flyby probes and with lander and manned vehicles. Fundamental data transfer problems are reviewed to define comparisons and trends of tradeoffs for future studies. Selected focal points are based upon the long propagation path length, with inherent time delays, and the high noise produced by the sun. These problems are magnified because large quantities of data must be obtained to satisfy the needs of the scientific community and the curiosity of an interested public. A comparison of two communication systems is provided: the microwave spectrum and the optical spectrum, as represented by the microwaves at 2.3 GHz and the laser at 6328 ?. A method of cost effectiveness or value received from space missions (a criterion of power input for data quantity received) is also presented.     

Checkout: A Changing Technology

On-board/in-flight checkout of future aerospace systems will necessitate a fundamental departure from today's design and checkout activities. The interrelationship of checkout, incorporated into prime vehicular functions, man as a subsystem, and standardization Of hardware/software must be considered as a functional and integral entity if the efforts of today's long-range planning are to become tomorrow's reality. This paper will describe future systems checkout, maintenance and support considerations, and actions and tentative measures necessary for implementation. The realization of the implementation of these concepts into functional elements will depend, accurately and economically, upon the degree of government perceptiveness and the extent of industrial support.     

Advanced Development of ESG Strapdown Navigation Systems

The fundamental problem of inertial navigation, double integration of acceleration to obtain position, is defined and discussed. Mechanizations of both space-stable and local-vertical platform systems are exhibited. The synthesis problem for an electrically suspended gyro (ESG) strapdown system is defined and discussed: readout, readout errors due to vehicle motion, synchronization of readout with system computer, alignment, correction and calibration for mass unbalance drift, and digital mechanization. Alignment, calibration, and acceleration measurement are also discussed. Sources of error involved in the electronic gimbaling including those peculiar to strapdown configuration are discussed and compared to mechanically gimbaled systems. Advanced developments required in the component and systems areas are listed, and it is shown that such development will lead to reduced complexity, higher accuracy, and increased reliability and utility for inertial systems.     

Recent developments in micrometeoroid simulation

In the first part the state of the art of the most advanced micrometeoroid simulation techniques is reviewed. Then a new accelerator is described, which was developed jointly by the Technische Universität München and the N.A.S.A. George C. Marshall Space Flight Center. Finally the use of this new technique is indicated for basic research in fields other than astronautics.