Search NASA⌕ Search

SEARCH · Search NASA

Results for “version control”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Markov chains for testing redundant software

A preliminary design for a validation experiment has been developed that addresses several problems unique to assuring the extremely high quality of multiple-version programs in process-control software. The procedure uses Markov chains to model the error states of the multiple version programs. The programs are observed during simulated process-control testing, and estimates are obtained for the transition probabilities between the states of the Markov chain. The experimental Markov chain model is then expanded into a reliability model that takes into account the inertia of the system being controlled. The reliability of the multiple version software is computed from this reliability model at a given confidence level using confidence intervals obtained for the transition probabilities during the experiment. An example demonstrating the method is provided.

White, Allan L.↗
NASA NTRS1993

Improving situation awareness displays for air traffic controllers

Situation awareness displays play a critical role in the performance of air traffic controllers, but present versions are far from ideal. One problem is the use of alphanumeric datablocks for critical information such as altitude and speed. Reading datablocks is cumbersome and time-consuming, and additional cognitive effort is required to retain and use the information obtained. We investigated redundant pictorial display of datablock information. Four experiments tested different schemes for depicting altitude. The performance measure was the time to find a target aircraft whose altitude was within 1000 feet of a cued aircraft. Color-coding of altitude (either discrete bands or continuously varying hues) substantially improved performance. A variety of achromatic pictorial codes for altitude (including size, intensity and micro-texture pattern) produced modest improvement or none at all. Icons that provide an integrated perceptual reprensation of aircraft altitude, altitude change, speed, and projected path are discussed.

Johnston, James C.↗
NASA NTRS1998

Formal Aspects of Human-Automation Interaction

While new versions of automated control systems such as flight guidance systems are introduced at a rapid pace, it is widely recognized that user interaction with these machines is increasingly problematic. One cause for this difficulty that is commonly cited in the literature, is the discrepancy between the machine's behavior and the operator's (e.g., pilot) expectations. This paper discusses a formal approach to the analysis of operator's interaction with complex automated control systems. We focus attention on the issue of interface correctness; that is, on the question whether the display provides adequate information about the machine's configurations (states, modes, and associated parameters) and transitions, so as to enable the operator to successfully perform the specified set of tasks. To perform the analysis several assumptions are made: (1) A complete formal model of the machine's behavior is available (e.g., as a state transition system, or as a hybrid-machine); (2) A specification of operator's tasks is available and can be formally described (e.g., the reliable and predictable transition between activities involved in executing a climb to a new altitude); (3) The pilot is well trained and has a correct 'mental' model of the machine's response-map. By 'comparing' the machine's model with the set of operator's tasks we formally (i.e., mathematically) evaluate two questions: 1) does the machine's output interface (display) enable the operator to determine, unambiguously, what the current configuration (e.g., mode) of the machine is, and 2) does the display enable the operator to determine, unambiguously, what the next configuration of the machine will be, in response to a specified interaction by the operator (e.g., engaging a mode or changing a parameter such as a speed or target altitude). This paper describes a methodology for conducting such an evaluation using examples from automated flight control systems of modem 'glass cockpit' jetliners. Taxonomy of the different types of discrepancies that lead to pilot inability to resolve the current and next configuration of the machine is suggested. Data from incident reports involving 'mode confusion' is used to corroborate these discrepancies. Finally, means for compensating, either by augmenting the display and/or the operator's 'mental model' are briefly mentioned.

Degani, Asaf↗
NASA NTRS1983

Inventory Management

Known as MRO for Maintenance, Repair and Operating supplies, Tropicana Products, Inc.'s automated inventory management system is an adaptation of the Shuttle Inventory Management System (SIMS) developed by NASA to assure adequate supply of every item used in support of the Space Shuttle. The Tropicana version monitors inventory control, purchasing receiving and departmental costs for eight major areas of the company's operation.

Source record↗
NASA NTRS2001

Air Traffic Control Improvement Using Prioritized CSMA

Version 7 simulations of the industry-standard network simulation software "OPNET" are presented of two applications of the Aeronautical Telecommunications Network (ATN), Controller Pilot Data Link Communications (CPDLC) and Automatic Dependent Surveillance-Broadcast mode (ADS-B), over VHF Data Link mode 2 (VDL-2). Communication is modeled for air traffic between just three cities. All aircraft are assumed to have the same equipage. The simulation involves Air Traffic Control (ATC) ground stations and 105 aircraft taking off, flying realistic free-flight trajectories, and landing in a 24-hr period. All communication is modeled as unreliable. Collision-less, prioritized carrier sense multiple access (CSMA) is successfully tested. The statistics presented include latency, queue length, and packet loss. This research may show that a communications system simpler than the currently accepted standard envisioned may not only suffice, but also surpass performance of the standard at a lower cost of deployment.

Robinson, Daryl C.↗
NASA NTRS1987

Development of N-version software samples for an experiment in software fault tolerance

The report documents the task planning and software development phases of an effort to obtain twenty versions of code independently designed and developed from a common specification. These versions were created for use in future experiments in software fault tolerance, in continuation of the experimental series underway at the Systems Validation Methods Branch (SVMB) at NASA Langley Research Center. The 20 versions were developed under controlled conditions at four U.S. universities, by 20 teams of two researchers each. The versions process raw data from a modified Redundant Strapped Down Inertial Measurement Unit (RSDIMU). The specifications, and over 200 questions submitted by the developers concerning the specifications, are included as appendices to this report. Design documents, and design and code walkthrough reports for each version, were also obtained in this task for use in future studies.

Lauterbach, L.↗
NASA NTRS1983

IPACS Attitude Control Technology Considerations

Larger facilities or the Space Station and its evolutionary versions are considered for the control bandwidth which will evolve to lower values, probably in the 0.01 to 0.1 hertz range. An integrated power attitude control systems (IPACS) unit that incorporates conventional mechanical bearings to have a bandwidth of 4-10 hertz is expected. If the IPACS unit incorporates the advanced technology magnetic bearing, a bandwidth of 1.2 hertz is expected. It is found that for the Space Station or even the Space Platform, either of the above IPACS concepts are adequate.

Brandon, L.↗
NASA NTRS1982

IAC control system analysis development

The MultiOptimal Differential Equation Language (MODEL) is described. It provides a means for generating numerical solutions to systems of differential equations using a digital computer. The notation of this language is similar to that usually used in describing physical systems by differential equations. Thus, the learning process is simplified, programming becomes easier, and debugging is more readily accomplished. Programs written in the MultiOptimal Differential Equation Language are machine translated into FORTRAN 4 code which is optimal in several respects. The interactive version of MODEL makes use of interactive system routines so that the user may observe the solution as it is being generated and interact with the program in a manner similar to that associated with analog simulation. The DISCOS-Control version of the MODEL simulation language is used to describe the control system for a plant which is modelled by the DISCOS program. DISCOS plant variables may be referenced in the control system description and all the sensor signals, coupling torques, momentum devices and external loads are automatically linked to the DISCOS plant model.

Frisch, H. P.↗
NASA NTRS1986

Adaptive control robustness in flexible aircraft application

This paper presents the application of a model reference adaptive control (MRAC) algorithm to flexible aircraft flight control. The algorithm is an adaptive version of the Command Generator Tracking (CGT) control technique. This technique forces a dynamic system to follow a reduced-order model, allowing it to cope with the problem of unmodeled dynamics. The studies were made via simulation, using for the plant an aircraft dynamic model similar to the B1 bomber. This model is of a large aircraft with a reasonable amount of structural flexibility. In particular, flight configurations were analyzed where the influence of the flexible modes make it difficult to control the aircraft. The results indicate that the algorithm has good robustness properties vis-a-vis unmodeled dynamics and can force the flexible aircraft to follow rigid body responses.

Sanchez, E. N.↗
NASA NTRS2019

Wind Tunnel Testing of Active Flow Control on High-Lift Common Research Model

A 10%-scale high-lift version of the Common Research Model (CRM-HL) and an Active Flow Control (AFC) version of the model equipped with a simple-hinged flap (CRM-SHLAFC) were successfully tested. The tests were performed in the 14- by 22-Foot Subsonic Tunnel (14x22) at the NASA Langley Research Center (LaRC). The CRM-HL has a set of 37° inboard and outboard single-element Fowler flaps. The CRM-SHL-AFC has a set of 50° inboard and 55° outboard simple-hinged flaps equipped with integrated modular AFC cartridges on the flap shoulder. Both high-lift configurations share the same 30° slats and engine nacelle. Three new types of AFC devices were examined: the Double-Row Sweeping Jets (DRSWJ), the Alternating Pulsed Jets (APJ), and the High Efficiency Low Power (HELP) actuators. The DRSWJ and the APJ actuators used two rows of unsteady jets, whereas the HELP actuators used a combination of unsteady and steady jets, to overcome strong adverse pressure gradients while minimizing the mass flow usage. Nozzle pressure ratio, mass flow consumption and the power coefficient, which takes account of both supply air pressure and mass flow usage for the actuators, were used for judging the performance efficiency of the AFC devices. A prestall lift performance degradation for the CRM-HL configuration was resolved with a properly placed nacelle chine. The configuration with nacelle chine was chosen as the representative reference conventional high-lift case for comparison with the CRMSHL- AFC. The AFC-induced lift coefficient increment (DCL) was maintained for the entire lift curve over the CRM-SHL-AFC case with no AFC for almost all flow-control cases examined. The lift curve of the reference CRM-HL have a slightly steeper slope compared to those of the CRM-SHL-AFC configurations. The HELP actuation concept was extremely effective in controlling flow separation in the “linear region” of the curves comparing lift coefficient to mass flow rate. The HELP actuation achieved a targeted DCL of 0.50 using a moderate amount of mass flow and supply air pressure. The CRM-SHL-AFC configuration equipped with HELP actuation was able to match or exceed the lift performance of the reference conventional high-lift configuration (i.e., CRM-HL equipped with a nacelle chine), thus meeting the NASA Advanced Air Transport Technology (AATT) project goal.

Lin, John C.↗
NASA NTRS1989

New multivariable capabilities of the INCA program

The INteractive Controls Analysis (INCA) program was developed at NASA's Goddard Space Flight Center to provide a user friendly, efficient environment for the design and analysis of control systems, specifically spacecraft control systems. Since its inception, INCA has found extensive use in the design, development, and analysis of control systems for spacecraft, instruments, robotics, and pointing systems. The (INCA) program was initially developed as a comprehensive classical design analysis tool for small and large order control systems. The latest version of INCA, expected to be released in February of 1990, was expanded to include the capability to perform multivariable controls analysis and design.

Bauer, Frank H.↗
NASA NTRS1977

Ergonomics technology

Major areas of research and development in ergonomics technology for space environments are discussed. Attention is given to possible applications of the technology developed by NASA in industrial settings. A group of mass spectrometers for gas analysis capable of fully automatic operation has been developed for atmosphere control on spacecraft; a version for industrial use has been constructed. Advances have been made in personal cooling technology, remote monitoring of medical information, and aerosol particle control. Experience gained by NASA during the design and development of portable life support units has recently been applied to improve breathing equipment used by fire fighters.

Jones, W. L.↗
NASA NTRS1988

Automatically generated acceptance test: A software reliability experiment

This study presents results of a software reliability experiment investigating the feasibility of a new error detection method. The method can be used as an acceptance test and is solely based on empirical data about the behavior of internal states of a program. The experimental design uses the existing environment of a multi-version experiment previously conducted at the NASA Langley Research Center, in which the launch interceptor problem is used as a model. This allows the controlled experimental investigation of versions with well-known single and multiple faults, and the availability of an oracle permits the determination of the error detection performance of the test. Fault interaction phenomena are observed that have an amplifying effect on the number of error occurrences. Preliminary results indicate that all faults examined so far are detected by the acceptance test. This shows promise for further investigations, and for the employment of this test method on other applications.

Protzel, Peter W.↗
NASA NTRS2009

Complementary Paired G4FETs as Voltage-Controlled NDR Device

It is possible to synthesize a voltage-controlled negative-differential-resistance (NDR) device or circuit by use of a pair of complementary G4FETs (four-gate field-effect transistors). [For more information about G4FETs, please see the immediately preceding article]. As shown in Figure 1, the present voltage-controlled NDR device or circuit is an updated version of a prior NDR device or circuit, known as a lambda diode, that contains a pair of complementary junction field-effect transistors (JFETs). (The lambda diode is so named because its current-versus- voltage plot bears some resemblance to an upper-case lambda.) The present version can be derived from the prior version by substituting G4FETs for the JFETs and connecting both JFET gates of each G4FET together. The front gate terminals of the G4FETs constitute additional terminals (that is, terminals not available in the older JFET version) to which one can apply control voltages VN and VP. Circuits in which NDR devices have been used include (1) Schmitt triggers and (2) oscillators containing inductance/ capacitance (LC) resonant circuits. Figure 2 depicts such circuits containing G4FET NDR devices like that of Figure 1. In the Schmitt trigger shown here, the G4FET NDR is loaded with an ordinary inversion-mode, p-channel, metal oxide/semiconductor field-effect transistor (inversion-mode PMOSFET), the VN terminal of the G4FET NDR device is used as an input terminal, and the input terminals of the PMOSFET and the G4FET NDR device are connected. VP can be used as an extra control voltage (that is, a control voltage not available in a typical prior Schmitt trigger) for adjusting the pinch-off voltage of the p-channel G4FET and thereby adjusting the trigger-voltage window. In the oscillator, a G4FET NDR device is loaded with a conventional LC tank circuit. As in other LC NDR oscillators, oscillation occurs because the NDR counteracts the resistance in the tank circuit. The advantage of this G4FET-NDR LC oscillator over a conventional LC NDR oscillator is that one can apply a time-varying signal to one of the extra control input terminals (VN or VP) to modulate the conductance of the NDR device and thereby amplitude-modulate the output signal.

Mojarradi, Mohammad↗
NASA NTRS1989

Improved Flow-Controlling Vortex Generator

Symmetrical tangential streams control flow of radial primary streams. Vortex generator uses small secondary stream of fluid to control normally-larger primary stream. Improved version of vortex generator described in "Variable Control Port for Fluidic Control Device," (NPO-16603). Secondary, or control, flows entering tangentially through diametrically opposite ports set up swirling motion restraining primary flow. Pressure of secondary fluid in relation to primary fluid controlling factor. Like valve, vortex generator varies rate of flow of primary fluid from maximum value down to zero. When properly designed, requires low pressure differential between primary and secondary streams and expends relatively small amount of secondary fluid.

Collins, Earl R., Jr.↗
NASA NTRS2015

Towards a Generic and Adaptive System-On-Chip Controller for Space Exploration Instrumentation

This paper introduces one of the first efforts conducted at NASA’s Jet Propulsion Laboratory (JPL) to develop a generic System-on-Chip (SoC) platform to control science instruments that are proposed for future NASA missions. The SoC platform is named APEX-SoC, where APEX stands for Advanced Processor for space Exploration, and is based on a hybrid Xilinx Zynq that combines an FPGA and an ARM Cortex-A9 dual-core processor on a single chip. The Zynq implements a generic and customizable on-chip infrastructure that can be reused with a variety of instruments, and it has been coupled with a set of off-chip components that are necessary to deal with the different instruments. We have taken JPL’s Compositional InfraRed Imaging Spectrometer (CIRIS), which is proposed for NASA icy moons missions, as a use-case scenario to demonstrate that the entire data processing, control and interface of an instrument can be implemented on a single device using the on-chip infrastructure described in this paper. We show that the performance results achieved in this preliminary version of the instrumentation controller are sufficient to fulfill the science requirements demanded to the CIRIS instrument in future NASA missions, such as Europa.

embedded system↗
NASA NTRS1993

Robust controller design for flexible structures using normalized coprime factor plant descriptions

Stabilization is a fundamental requirement in the design of feedback compensators for flexible structures. The search for the largest neighborhood around a given design plant for which a single controller produces closed-loop stability can be formulated as an H(sub infinity) control problem. The use of normalized coprime factor plant descriptions, in which the plant perturbations are defined as additive modifications to the coprime factors, leads to a closed-form expression for the maximum neighborhood boundary allowing optimal and suboptimal H(sub infinity) compensators to be computed directly without the usual gamma iteration. A summary of the theory on robust stabilization using normalized coprime factor plant descriptions is presented, and the application of the theory to the computation of robustly stable compensators for the phase version of the Control-Structures Interaction (CSI) Evolutionary Model is described. Results from the application indicate that the suboptimal version of the theory has the potential of providing the bases for the computation of low-authority compensators that are robustly stable to expected variations in design model parameters and additive unmodeled dynamics.

Armstrong, Ernest S.↗