Verification of new avionics technologies for interplanetary space missions
Explore the source record for details and available documents.
verification validation avionics↗
SEARCH · Engineering Papers
Results for “verification and validation”
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.
Test oracle automation for V&V of an autonomous spacecraft's planner
We built automation to assist the software testing efforts associated with the Remote Agent experiment. In particular, our focus was upon introducing test oracles into the testing of the planning and scheduling system component. This summary is intended to provide an overview of the work.
testing test oracles verification validation analy↗
Leveraging Automation in the Testing of Autonomous Spacecraft Systems
Explore the source record for details and available documents.
testing planning verification validation autonomy↗
A Physics/Engineering of Failure Based Analysis and Tool for Quantifying Residual Risks in Spaceflight Hardware
NASA is supporting efforts to improve the verification and validation process and the risk management process for spaceflight projects.
Risk Evaluation physics engineering of failure↗
Analytic Verification of Flight Software
In the realm of space exploration, the biggest obstacle to widespread application of autonomy in flight software is not technical feasibility; it is doubt about its trustworthiness as a replacement for human-in-the-loop decision-making.
model↗
Risk/Requirements Trade-Off Guidelines for Faster, Better, Cheaper Missions
From Preface: This document is a compendium of Risk/Requirements Tradeoff Guidelines for Faster, Better, Cheaper missions. It summarizes the reduced-cost approach for the design, verification, and validation of flight equipment for assuring mission success of microspacecraft.
risk risk management faster better cheaper product↗
IV and V Issues in Achieving High Reliability and Safety in Critical Control System Software
Risk analysis and integrated verification and validation are two important elements in a plan for ensuring the safety of critical software systems. We describe an approach we are currently developing for integrating risk analysis, and metrics analysis, and propose a fault predictor that would integrate the results of these activities. Practical difficulties associated with our approach are also discussed, as are limitations of the proposed predictor. We conclude with a discussion of what as been learned to date, and with suggestions for future work.
validation software reliability software risk asse↗
Risk/Requirements Trade-Off Guidelines for Faster, Better, Cheaper Missions
From preface: This document is a compendium of Risk/Requirements Tradeoff Guidelines for Faster, Better, Cheaper Missions. It summarizes the reduced-cost approach for the design, verification, and validation of flight equipment for assuring mission success of microspacecraft.
faster better cheaper risk risk tradeoffs↗
Assessing the Value-Added by the Environmental Testing Process with the Aide of Physics/Engineering of Failure Evaluations
NASA's Code QT Test Effectiveness Program is funding a series of applied research activities focused on utilizing the principles of physics and engineering of failure and those of engineering economics to assess and improve the value-added by the various validation and verification activities to organizations.
metrics screening↗
Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) Protocol
This document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.
software security↗
On-board fault-tolerant SAR processor for spaceborne imaging radar systems
A real-time high-performance and fault-tolerant FPGA-based hardware architecture for the processing of synthetic aperture radar (SAR) images has been developed for advanced spaceborne radar imaging systems. In this paper, we present the integrated design approach, from top-level algorithm specifications, system architectures, design methodology, functional verification, performance validation, down to hardware design and implementation.
imaging Radar↗
Space Environment (Natural and Induced)
Considerable effort and improvement have been made in the study of ionizing radiation exposure occurring in various regions of space. Satellites and spacecrafts equipped with innovative instruments are continually refining particle data and providing more accurate information on the ionizing radiation environment. The major problem in accurate spectral definition of ionizing radiation appears to be the detailed energy spectra, especially at high energies, which is important parameter for accurate radiation risk assessment. Magnitude of risks posed by exposure to radiation in future space missions is subject to the accuracies of predictive forecast of event size of SPE, GCR environment, geomagnetic fields, and atmospheric radiation environment. Although heavy ion fragmentations and interactions are adequately resolved through laboratory study and model development, improvements in fragmentation cross sections for the light nuclei produced from HZE nuclei and their laboratory validation are still required to achieve the principal goal of planetary GCR simulation at a critical exposure site. More accurate prediction procedure for ionizing radiation environment can be made with a better understanding of the solar and space physics, fulfillment of required measurements for nuclear/atomic processes, and their validation and verification with spaceflights and heavy ion accelerators experiments. It is certainly true that the continued advancements in solar and space physics combining with physical measurements will strengthen the confidence of future manned exploration of solar system. Advancements in radiobiology will surely give the meaningful radiation hazard assessments for short and long term effects, by which appropriate and effective mitigation measures can be placed to ensure that humans safely live and work in the space, anywhere, anytime.
Kim, Myung-Hee Y.↗
Community Coordinated Modeling Center Support of Operations: Real-Time Simulations and V & V.
In support of Operations Community Coordinated Modeling Center (CCMC) performing validation and verification of space weather models. To identify suitable metrics the CCMC focus on parameters most useful to operations that CCMC resident models can provide. The real time simulations carried out at CCMC are an essential tool to test model performance and stability by using input conditions that may occur in nature at any time. Since 2001, the magnetospheric MHD model BATSRUS has been run in real time using ACE real time data. CCMC staff developed an experimental real-time system that controls uploading of the real-time ACE data, monitors continuous model execution, initiates automatic recovery procedure in case of data gaps or hardware failures, synchronizes BATSRUS and FRC runs, and periodically runs IDL based visualization software.
Kuznetsova, M.↗
A Predictive Approach to Eliminating Errors in Software Code
NASA s Metrics Data Program Data Repository is a database that stores problem, product, and metrics data. The primary goal of this data repository is to provide project data to the software community. In doing so, the Metrics Data Program collects artifacts from a large NASA dataset, generates metrics on the artifacts, and then generates reports that are made available to the public at no cost. The data that are made available to general users have been sanitized and authorized for publication through the Metrics Data Program Web site by officials representing the projects from which the data originated. The data repository is operated by NASA s Independent Verification and Validation (IV&V) Facility, which is located in Fairmont, West Virginia, a high-tech hub for emerging innovation in the Mountain State. The IV&V Facility was founded in 1993, under the NASA Office of Safety and Mission Assurance, as a direct result of recommendations made by the National Research Council and the Report of the Presidential Commission on the Space Shuttle Challenger Accident. Today, under the direction of Goddard Space Flight Center, the IV&V Facility continues its mission to provide the highest achievable levels of safety and cost-effectiveness for mission-critical software. By extending its data to public users, the facility has helped improve the safety, reliability, and quality of complex software systems throughout private industry and other government agencies. Integrated Software Metrics, Inc., is one of the organizations that has benefited from studying the metrics data. As a result, the company has evolved into a leading developer of innovative software-error prediction tools that help organizations deliver better software, on time and on budget.
Source record↗
Advancing the practice of systems engineering at JPL
In FY 2004, JPL launched an initiative to improve the way it practices systems engineering. The Lab's senior management formed the Systems Engineering Advancement (SEA) Project in order to "significantly advance the practice and organizational capabilities of systems engineering at JPL on flight projects and ground support tasks." The scope of the SEA Project includes the systems engineering work performed in all three dimensions of a program, project, or task: 1. the full life-cycle, i.e., concept through end of operations 2. the full depth, i.e., Program, Project, System, Subsystem, Element (SE Levels 1 to 5) 3. the full technical scope, e.g., the flight, ground and launch systems, avionics, power, propulsion, telecommunications, thermal, etc. The initial focus of their efforts defined the following basic systems engineering functions at JPL: systems architecture, requirements management, interface definition, technical resource management, system design and analysis, system verification and validation, risk management, technical peer reviews, design process management and systems engineering task management, They also developed a list of highly valued personal behaviors of systems engineers, and are working to inculcate those behaviors into members of their systems engineering community. The SEA Project is developing products, services, and training to support managers and practitioners throughout the entire system lifecycle. As these are developed, each one needs to be systematically deployed. Hence, the SEA Project developed a deployment process that includes four aspects: infrastructure and operations, communication and outreach, education and training, and consulting support. In addition, the SEA Project has taken a proactive approach to organizational change management and customer relationship management - both concepts and approaches not usually invoked in an engineering environment. This paper'3 describes JPL's approach to advancing the practice of systems engineering at the Lab. It describes the general approach used and how they addressed the three key aspects of change: people, process and technology. It highlights a list of highly valued personal behaviors of systems engineers, discusses the various products, services and training that were developed, describes the deployment approach used, and concludes with several lessons learned.
process improvement↗
Modeling of Compressible Flow with Friction and Heat Transfer Using the Generalized Fluid System Simulation Program (GFSSP)
The present paper describes the verification and validation of a quasi one-dimensional pressure based finite volume algorithm, implemented in Generalized Fluid System Simulation Program (GFSSP), for predicting compressible flow with friction, heat transfer and area change. The numerical predictions were compared with two classical solutions of compressible flow, i.e. Fanno and Rayleigh flow. Fanno flow provides an analytical solution of compressible flow in a long slender pipe where incoming subsonic flow can be choked due to friction. On the other hand, Raleigh flow provides analytical solution of frictionless compressible flow with heat transfer where incoming subsonic flow can be choked at the outlet boundary with heat addition to the control volume. Nonuniform grid distribution improves the accuracy of numerical prediction. A benchmark numerical solution of compressible flow in a converging-diverging nozzle with friction and heat transfer has been developed to verify GFSSP's numerical predictions. The numerical predictions compare favorably in all cases.
Bandyopadhyay, Alak↗
Threads of Mission Success
This viewgraph presentation reviews the many parts of the JPL mission planning process that the project manager has to work with. Some of them are: NASA & JPL's institutional requirements, the mission systems design requirements, the science interactions, the technical interactions, financial requirements, verification and validation, safety and mission assurance, and independent assessment, review and reporting.
Industry Day↗
Implementation of a Blowing Boundary Condition in the LAURA Code
Preliminary steps toward modeling a coupled ablation problem using a finite-volume Navier-Stokes code (LAURA) are presented in this paper. Implementation of a surface boundary condition with mass transfer (blowing) is described followed by verification and validation through comparisons with analytic results and experimental data. Application of the code to a carbon-nosetip ablation problem is demonstrated and the results are compared with previously published data. It is concluded that the code and coupled procedure are suitable to support further ablation analyses and studies.
Thompson, Richard a.↗