Engineering topics

Woodham, Kurt

Publications and source records attributed to Woodham, Kurt.

3 records

NASA NTRS2016

Overcoming the Adoption Barrier to Electric Flight

Electrically-powered aircraft can enable dramatic increases in efficiency and reliability, reduced emissions, and reduced noise as compared to today's combustion-powered aircraft. This paper describes a novel flight demonstration concept that will enable the benefits of electric propulsion, while keeping the extraordinary convenience and utility of common fuels available at today's airports. A critical gap in airborne electric propulsion research is addressed by accommodating adoption at the integrated aircraft-airport systems level, using a confluence of innovative but proven concepts and technologies in power generation and electricity storage that need to reside only on the airframe. Technical discriminators of this demonstrator concept include (1) a novel, high-efficiency power system that utilizes advanced solid oxide fuel cells originally developed for ultra-long-endurance aircraft, coupled with (2) a high-efficiency, high-power electric propulsion system selected from mature products to reduce technical risk, assembled into (3) a modern, high-performance demonstration platform to provide useful and compelling data, both for the targeted early adopters and the eventual commercial market.

Borer, Nicholas K.↗

NASA NTRS2008

Assessing Requirements Quality through Requirements Coverage

In model-based development, the development effort is centered around a formal description of the proposed software system the model. This model is derived from some high-level requirements describing the expected behavior of the software. For validation and verification purposes, this model can then be subjected to various types of analysis, for example, completeness and consistency analysis [6], model checking [3], theorem proving [1], and test-case generation [4, 7]. This development paradigm is making rapid inroads in certain industries, e.g., automotive, avionics, space applications, and medical technology. This shift towards model-based development naturally leads to changes in the verification and validation (V&V) process. The model validation problem determining that the model accurately captures the customer's high-level requirements has received little attention and the sufficiency of the validation activities has been largely determined through ad-hoc methods. Since the model serves as the central artifact, its correctness with respect to the users needs is absolutely crucial. In our investigation, we attempt to answer the following two questions with respect to validation (1) Are the requirements sufficiently defined for the system? and (2) How well does the model implement the behaviors specified by the requirements? The second question can be addressed using formal verification. Nevertheless, the size and complexity of many industrial systems make formal verification infeasible even if we have a formal model and formalized requirements. Thus, presently, there is no objective way of answering these two questions. To this end, we propose an approach based on testing that, when given a set of formal requirements, explores the relationship between requirements-based structural test-adequacy coverage and model-based structural test-adequacy coverage. The proposed technique uses requirements coverage metrics defined in [9] on formal high-level software requirements and existing model coverage metrics such as the Modified Condition and Decision Coverage (MC/DC) used when testing highly critical software in the avionics industry [8]. Our work is related to Chockler et al. [2], but we base our work on traditional testing techniques as opposed to verification techniques.

Rajan, Ajitha↗

NASA NTRS1997

Solar and Magnetic Attitude Determination for Small Spacecraft

During the Phase B development of the NASA New Millennium Program (NMP) Earth Orbiter-1 (EO-1) spacecraft, detailed analyses were performed for on-board attitude determination using the Sun and the Earth's magnetic field. This work utilized the TRMM 'Contingency Mode' as a starting point but concentrated on implementation for a small spacecraft without a high performance mechanical gyro package. The analyses and simulations performed demonstrate a geographic dependence due to diurnal variations in the Earth magnetic field with respect to the Sun synchronous, nearly polar orbit. Sensitivity to uncompensated residual magnetic fields of the spacecraft and field modeling errors is shown to be the most significant obstacle for maximizing performance. Performance has been evaluated with a number of inertial reference units and various mounting orientations for the two-axis Fine Sun Sensors. Attitude determination accuracy using the six state Kalman Filter executing at 2 Hz is approximately 0.2 deg, 3-sigma, per axis. Although EO-1 was subsequently driven to a stellar-based attitude determination system as a result of tighter pointing requirements, solar/magnetic attitude determination is demonstrated to be applicable to a range of small spacecraft with medium precision pointing requirements.

Woodham, Kurt↗