Search NASA⌕ Search

SEARCH · Search NASA

Results for “Program verification”

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 217 records · Page 12

Enhancing the Human Factors Engineering Role in an Austere Fiscal Environment

An austere fiscal environment in the aerospace community creates pressures to reduce program costs, often minimizing or sometimes even deleting the human interface requirements from the design process. With an assumption that the flight crew can recover real time from a poorly human factored space vehicle design, the classical crew interface requirements have been either not included in the design or not properly funded, though carried as requirements. Cost cuts have also affected quality of retained human factors engineering personnel. In response to this concern, planning is ongoing to correct the acting issues. Herein are techniques for ensuring that human interface requirements are integrated into a flight design, from proposal through verification and launch activation. This includes human factors requirements refinement and consolidation across flight programs; keyword phrases in the proposals; closer ties with systems engineering and other classical disciplines; early planning for crew-interface verification; and an Agency integrated human factors verification program, under the One NASA theme. Importance is given to communication within the aerospace human factors discipline, and utilizing the strengths of all government, industry, and academic human factors organizations in an unified research and engineering approach. A list of recommendations and concerns are provided in closing.

Stokes, Jack W.↗

Progress toward the development of an airfoil icing analysis capability

The NASA-Lewis aircraft icing analysis program is composed of three major sub-programs. These sub-programs are ice accretion simulation, performance degradation evaluation, and ice protection system evaluation. These topics cover all areas of concern related to the simulation of aircraft icing and its consequences. The motivation for these activities is twofold, reduction of time and effort required in experimental programs and the ability to provide reliable information for aircraft certification in icing, over the complete range of environmental conditions. In addition to the analytical activities associated with development of these codes, several experimental programs are underway to provide verification information for existing codes. These experimental programs are also used to investigate the physical processes associated with ice accretion and removal for improvement of present analytical models. The NASA-Lewis icing analysis program is thus striving to provide a full range of analytical tools necessary for evaluation of the consequences of icing and of ice protection systems.

Potapczuk, Mark G.↗

Thermal Management Design for the X-33 Lifting Body

The X-33 Advantage Technology Demonstrator offers a rare and exciting opportunity in Thermal Protection System development. The experimental program incorporates the latest design innovation in re-useable, low life cycle cost, and highly dependable Thermal Protection materials and constructions into both ground based and flight test vehicle validations. The unique attributes of the X-33 demonstrator for design application validation for the full scale Reusable Launch Vehicle, (RLV), are represented by both the configuration of the stand-off aeroshell, and the extreme exposures of sub-orbital hypersonic re-entry simulation. There are several challenges of producing a sub-orbital prototype demonstrator of Single Stage to Orbit/Reusable Launch Vehicle (SSTO/RLV) operations. An aggressive schedule with budgetary constraints precludes the opportunity for an extensive verification and qualification program of vehicle flight hardware. However, taking advantage of off the shelf components with proven technologies reduces some of the requirements for additional testing. The effects of scale on thermal heating rates must also be taken into account during trajectory design and analysis. Described in this document are the unique Thermal Protection System (TPS) design opportunities that are available with the lifting body configuration of the X-33. The two principal objectives for the TPS are to shield the primary airframe structure from excessive thermal loads and to provide an aerodynamic mold line surface. With the relatively benign aeroheating capability of the lifting body, an integrated stand-off aeroshell design with minimal weight and reduced procurement and operational costs is allowed. This paper summarizes the design objectives of the X-33 TPS, the flight test requirements driven configuration, and design benefits. Comparisons are made of the X-33 flight profiles and Space Shuttle Orbiter, and lifting body Reusable Launch Vehicle aerothermal environments. The X-33 TPS is based on a design to cost configuration concept. Only RLV critical technologies are verified to conform to cost and schedule restrictions. The one-off prototype vehicle configuration has evolved to minimize the tooling costs by reducing the number of unique components. Low cost approaches such as a composite/blanket leeward aeroshell and the use of Shuttle technology are implemented where applicable. The success of the X-33 will overcome the ballistic re-entry TPS mindset. The X-33 TPS is tailored to an aircraft type mission while maintaining sufficient operational margins. The flight test program for the X-33 will demonstrate that TPS for the RLV is not simply a surface insulation but rather an integrated aeroshell system.

Bouslog, S.↗

Drive program documentation

The program description and user's guide for the Downlist Requirement Integrated Verification and Evaluation (DRIVE) program is provided. The program is used to compare existing telemetry downlist files with updated downlist requirements.

Graham, S.↗

Integrating Human System Information with the Systems Platform for Aggregating and Relating Capabilities (SPARC)

Within Human Health and Performance, there exists a wealth of human system information that’s used a regular basis in support of NASA human exploration objectives, but the challenge is that all of this information was stored in multiple different locations and organized for specific uses, limiting its effectiveness and straining communication across multiple groups. To address this challenge, our project, the Systems Platform for Aggregating and Relating Capabilities (SPARC) was tasked with developing a new NASA internal web application that aggregates and relates multiple programs’ human system products, such as technical standards, program requirements and verifications, human system risks, research and evidence, and exploration capabilities, into one centralized platform that addresses the needs of human health and performance from multiple different perspectives. Using agile development methodologies, user-experience (UX) driven design principles, data visualization, and a strong emphasis on continuous improvement though consistent stakeholder engagement, the SPARC project released a beta version in less than 4 months, broadly launched version 1.0.0 Agency-wide three months after the beta, and has over 180 users in the first year of development. Our second year of development will see us moving from our initial capabilities to increasingly robust and complex integrations and visualizations, including Directed Acyclical Graphs (DAGs), natural language processing (NLP) for dynamic generation of relationships between the sources of truth, and an expansion into hierarchical levels of system design in support of the human exploration programs.

Data science↗

The evaluation of OSTA's APT and ASVT programs

The results of an evaluation of NASA's Applications Pilot Test (APT) and Applications System Verification and Transfer (AVST) Programs are presented. These programs sponsor cooperative projects between NASA and potential users of remote sensing (primarily LANDSAT) technology from federal and state government and the private sector. Fifteen specific projects, seven APT's and eight ASVT's, are examined as mechanisms for technology development, test, and transfer by comparing their results against stated objectives. Interviews with project managers from NASA field centers and user agency representatives provide the basis for project evaluation from NASA and user perspectives.

Source record↗

Model Checker for Java Programs

Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features. JPF is an explicit-state model checker, because it enumerates all visited states and, therefore, suffers from the state-explosion problem inherent in analyzing large programs. It is suited to analyzing programs less than 10kLOC, but has been successfully applied to finding errors in concurrent programs up to 100kLOC. When an error is found, a trace from the initial state to the error is produced to guide the debugging. JPF works at the bytecode level, meaning that all of Java can be model-checked. By default, the software checks for all runtime errors (uncaught exceptions), assertions violations (supports Java s assert), and deadlocks. JPF uses garbage collection and symmetry reductions of the heap during model checking to reduce state-explosion, as well as dynamic partial order reductions to lower the number of interleavings analyzed. JPF is capable of symbolic execution of Java programs, including symbolic execution of complex data such as linked lists and trees. JPF is extensible as it allows for the creation of listeners that can subscribe to events during searches. The creation of dedicated code to be executed in place of regular classes is supported and allows users to easily handle native calls and to improve the efficiency of the analysis.

Visser, Willem↗

Approaches to the verification of rule-based expert systems

Expert systems are a highly useful spinoff of artificial intelligence research. One major stumbling block to extended use of expert systems is the lack of well-defined verification and validation (V and V) methodologies. Since expert systems are computer programs, the definitions of verification and validation from conventional software are applicable. The primary difficulty with expert systems is the use of development methodologies which do not support effective V and V. If proper techniques are used to document requirements, V and V of rule-based expert systems is possible, and may be easier than with conventional code. For NASA applications, the flight technique panels used in previous programs should provide an excellent way to verify the rules used in expert systems. There are, however, some inherent differences in expert systems that will affect V and V considerations.

Culbert, Chris↗

Assurance of Fault Management: Risk-Significant Adverse Condition Awareness

Fault Management (FM) systems are ranked high in risk-based assessment of criticality within flight software, emphasizing the importance of establishing highly competent domain expertise to provide assurance for NASA projects, especially as spaceflight systems continue to increase in complexity. Insight into specific characteristics of FM architectures seen embedded within safety- and mission-critical software systems analyzed by the NASA Independent Verification Validation (IVV) Program has been enhanced with an FM Technical Reference (TR) suite. Benefits are aimed beyond the IVV community to those that seek ways to efficiently and effectively provide software assurance to reduce the FM risk posture of NASA and other space missions. The identification of particular FM architectures, visibility, and associated IVV techniques provides a TR suite that enables greater assurance that critical software systems will adequately protect against faults and respond to adverse conditions. The role FM has with regard to overall asset protection of flight software systems is being addressed with the development of an adverse condition (AC) database encompassing flight software vulnerabilities.Identification of potential off-nominal conditions and analysis to determine how a system responds to these conditions are important aspects of hazard analysis and fault management. Understanding what ACs the mission may face, and ensuring they are prevented or addressed is the responsibility of the assurance team, which necessarily should have insight into ACs beyond those defined by the project itself. Research efforts sponsored by NASAs Office of Safety and Mission Assurance defined terminology, categorized data fields, and designed a baseline repository that centralizes and compiles a comprehensive listing of ACs and correlated data relevant across many NASA missions. This prototype tool helps projects improve analysis by tracking ACs, and allowing queries based on project, mission type, domain component, causal fault, and other key characteristics. The repository has a firm structure, initial collection of data, and an interface established for informational queries, with plans for integration within the Enterprise Architecture at NASA IVV, enabling support and accessibility across the Agency. The development of an improved workflow process for adaptive, risk-informed FM assurance is currently underway.

Software Verification & Validation↗

An overview of the applications systems verification test on snowcover mapping

The capability of the LANDSAT and NOAA satellites to accurately measure snowcovered area on various size watersheds was demonstrated. Recent research has shown a highly significant statistical relationship between satellite-derived snowcovered area at the beginning of the snowmelt period and seasonal runoff. The decision was made to test the results of several satellite snowcovered area studies in an Applications Systems Verification Test (ASVT) Program where quasi-operational evaluations of total technical capability are performed. The objective of these ASVT's is to provide all the information necessary for a potential user to make effective decisions concerning the implementation of the new remote sensing technology in an operational applications system.

Rango, A.↗

MOSS, an evaluation of software engineering techniques

An evaluation of the software engineering techniques used for the development of a Modular Operating System (MOSS) was described. MOSS is a general purpose real time operating system which was developed for the Concept Verification Test (CVT) program. Each of the software engineering techniques was described and evaluated based on the experience of the MOSS project. Recommendations for the use of these techniques on future software projects were also given.

Bounds, J. R.↗

Operational Applications of Satellite Snowcover Observations Project

The ongoing Operational Applications of Satellite Snowcover Observations (OASSO) Project of NASA's Applications Systems Verification Test (ASVT) Program is discussed. The general objectives, organization, and study-area activities of the OASSO program are outlined. It is noted that this part of the ASVT Program is designed to evaluate under operational conditions the overall utility of satellite snowcover observations for stream flow forecasts and will be carried out in four regions centered in Arizona, California, Colorado, and Oregon.

Rango, A.↗

Production readiness verification testing

A Production Readiness Verification Testing (PRVT) program has been established to determine if structures fabricated from advanced composites can be committed on a production basis to commercial airline service. The program utilizes subcomponents which reflect the variabilities in structure that can realistically be expected from current production and quality control technology to estimate the production qualities, variation in static strength, and durability of advanced composite structures. The results of the static tests and a durability assessment after one year of continuous load/environment testing of twenty two duplicates of each of two structural components (a segment of the front spar and cover of a vertical stabilizer box structure) are discussed.

James, A. M.↗

Galileo attitude and articulation control subsystem closed loop testing

In order to ensure the reliable operation of the Attitude and Articulation Control Subsystem (AACS) which will guide the Galileo spacecraft on its two and one-half year journey to Jupiter, the AACS is being rigorously tested. The primary objectives of the test program are the verification of the AACS's form, fit, and function, especially with regard to subsystem external interfaces and the functional operation of the flight software. Attention is presently given to the Galileo Closed Loop Test System, which simulates the dynamic and 'visual' flight environment for AACS components in the laboratory.

Lembeck, M. F.↗

Space shuttle electrical power generation and reactant supply system

The design philosophy and development experience of fuel cell power generation and cryogenic reactant supply systems are reviewed, beginning with the state of technology at the conclusion of the Apollo Program. Technology advancements span a period of 10 years from initial definition phase to the most recent space transportation system (STS) flights. The development program encompassed prototype, verification, and qualification hardware, as well as post-STS-1 design improvements. Focus is on the problems encountered, the scientific and engineering approaches employed to meet the technological challenges, and the results obtained. Major technology barriers are discussed, and the evolving technology development paths are traced from their conceptual beginnings to the fully man-rated systems which are now an integral part of the shuttle vehicle.

Simon, W. E.↗

NASTRAN GPWG tables for combined substructures

A method for computing the mass and center of gravity for basic and combined substructures stored in the NASTRAN Substructure Operating File (SOF) is described. The three step method recovers SOF data blocks for the relevant substructure, processes these data blocks using a specially developed FORTRAN routine, and generates the NASTRAN gridpoint weight generator (GPWG) table for the substructure in a PHASE2 SOF execution using a Direct Matrix Abstraction Program (DMAP) sequence. Verification data for the process is also provided.

Allen, Tom↗