Engineering topics
Publications and source records attributed to Saito, J..
This viewgraph document reviews the topography of the Itokawa asteroid. It summarizes some of the relevant information about the asteroid, and how using the imaging from Hayabusa and LIDAR data, a topographic image of Itokawa was derived.
Assigning the material species to each asteroid spectral type and finding out the corresponding meteorite category is crucial to make the global material map in the whole asteroid belt and to understand the evolution of the asteroid belt. Recent direct observations by spacecrafts are revealing new intriguing aspects of asteroids which cannot be obtained solely from ground-based observations or meteorite studies. However identification of the real material species constituting asteroids and their corresponding meteorite analogs are still ambiguous. Space weathering makes difficult to identify the true material, and there is still a great gap between the remote sensing data on the global surface and the local microscopic data from meteorites. Sample return from asteroids are inevitable to solve these problems. For this purpose sample return missions to asteroids belonging to various spectral classes are required. The HAYABUSA spacecraft (prelaunch name is MUSESC) launched last year is the first attempt on this concept. This report presents outline of the mission with special stress on its science.
We have been designing the concept of Phobos/Deimos mission using the Japanese H-2 rocket as a first step in asteroid exploration. In planning the mission concept, we focused on development of methods to characterize the materials of Phobos/Deimos. The development of such methods will contribute to both scientific and resource explorations of asteroids. Here we report the preliminary concept of the mission.
The problem of validating and verifying digital flight control system (DFCS) software is addressed in this paper. A new specification language DIVERS is proposed, and is the keystone of the approach. This language consists of keywords where each keyword represents an element in the block diagram of a DFCS. DIVERS has a dictionary which contains all the keywords a DFCS designer might need. Translator programs convert the system specifications into an executable, high-level language program. The features of translators are discussed and are elucidated by examples. This language is used to describe a typical flight software module.
A technique for dynamically testing digital flight-control system software on a module-by-module basis is described. Each test module is repetitively executed faster than real-time with an exhaustive input sequence. Outputs of the test module are compared with outputs generated by an alternate, simpler implementation for the same input data. Discrepancies between the two sets of output indicate the possible presence of a software error. The results of an implementation of this technique in the Digital Flight-Control System Software Verification Laboratory are discussed.
A Digital Flight Control Systems Verification Laboratory (DFCSVL) has been established at NASA Ames Research Center. This report describes the major elements of the laboratory, the research activities that can be supported in the area of verification and validation of digital flight control systems (DFCS), and the operating scenarios within which these activities can be carried out. The DFCSVL consists of a palletized dual-dual flight-control system linked to a dedicated PDP-11/60 processor. Major software support programs are hosted in a remotely located UNIVAC 1100 accessible from the PDP-11/60 through a modem link. Important features of the DFCSVL include extensive hardware and software fault insertion capabilities, a real-time closed loop environment to exercise the DFCS, an integrated set of software verification tools, and a user-oriented interface to all the resources and capabilities.