Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “custom”

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 469 records · Page 26
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

DSO+T: Expanded Study Results DSO+T Study: Volume 5

The Distribution System Operator with Transactive (DSO+T) study investigates the engineering and economic performance of a transactive energy retail market coordinating a high penetration of customer-side flexible energy assets. The study seeks to answer whether such an implementation is cost effective for customers, recovers sufficient revenue for DSOs, and is equally applicable and beneficial to a range of flexible asset types, renewable generation scenarios, and market assumptions. This report volume provides a detailed set of results for the DSO+T study extending results presented in Volumes 1, 2, and 4. The engineering and economic performance of the transactive energy scheme is presented for two separate flexible asset deployments: flexible loads (HVAC units and residential water heaters) and behind-the-meter batteries. The results of each transactive case are compared to a business-as-usual case. These cases are subject to two different renewable generation scenarios, a moderate renewable generation scenario, representative of current levels of renewable generation deployment, and a future high renewables scenario, including the increased deployment of rooftop solar photovoltaic and electric vehicles. The transactive coordination scheme is shown to produce effective and stable control and decrease peak loads 9–15%. The resulting annual demand flexibility provides net economic savings of $3.3–5.0B per year for a region the size of Texas. Detailed analysis shows that net benefits were seen for a range of distribution system operator, customer, and flexible asset types. Both participating customer (with transactive flexible assets) and nonparticipating customers (with nonflexible assets) see reductions in annual utility bills and net annual energy expenses in the range of 10–16%.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2023

LA100 Equity Strategies. Chapter 12: Distribution Grid Upgrades for Equitable Resilience and Solar, Storage, and Electric Vehicle Access

The LA100 Equity Strategies project integrates community guidance with robust research, modeling, and analysis to identify strategy options that can increase equitable outcomes in Los Angeles' clean energy transition. As Los Angeles transitions toward clean energy, existing distribution grid infrastructure will need to be updated and expanded to support reliable service during routine operations, enable interconnection with distributed energy resources and electrified loads, and provide access to energy-related services during disasters. This chapter focuses on equity in distribution grid upgrades, reliability, and resilience in Los Angeles. Specifically, NREL performed grid upgrade and resilience analyses using a detailed model of the distribution grid and income-differentiated household load profiles, electric vehicle (EV) adoption patterns, distributed solar adoption, and grid reliability to explore two key questions to inform how the City of Los Angeles can ensure a resilient and reliable distribution grid for all communities during the clean energy transition: Where can distribution system upgrades can be prioritized to enable equitable access to, and adoption of, clean energy technologies and how can Los Angeles provide equitable, resilient access to electricity-related services (e.g., health care, food) during disaster events like earthquakes and flooding? The electric distribution system is the "last mile" of the grid, linking the multistate bulk power system with customers; new loads, including EVs; and distributed energy resources, such as customer and community solar and storage. This analysis focuses on the 4.8-kilovolt (kV) system, including service transformers that represent the utility-side of the grid connection for most residential customers. Chapter 17 looks at the customer-side of the grid connection with a focus on electric panel upgrade needs. The transition toward clean energy can put additional stress on the distribution system from distributed energy resources and electrification - especially EVs and increased use of electricity for heating, cooling, cooking, and hot water. This stress, measured here as the number of equipment overloads and voltage violations, correlates strongly to grid reliability and therefore is used as a proxy for understanding additional upgrades needed and to help ensure equitable access to electrification and distributed energy resources. NREL also conducted community resilience analysis to examine customer-level access to both electricity and a larger range of services, such as hospitals and grocery stores during a disaster. This analysis explicitly considers equity to understand differences in current resilience and resilience strategies to effectively improve critical services access for all Angelenos. Research was guided by input from the community engagement process, and associated equity strategies are presented in alignment with that guidance.

14 SOLAR ENERGY↗
DOE OSTI2023

Recommendations for Minimum Required Error Codes for Electric Vehicle Charging Infrastructure

OCPP protocol manages the interaction between the EVSE and its respective back-end communication network. It plays a pivotal role in both error reporting and troubleshooting, carried out primarily through the CSMS. OCPP defines both standard error codes and a flexible framework for creating and communicating custom error codes. The OCPI protocol orchestrates the communication between different backhaul communication networks, incorporating the exchange of error codes. These error codes are instrumental in pinpointing and rectifying issues that can surface prior to, during, or after charging operations, fortifying the reliability and resilience of the EV charging infrastructure. The flexibility offered by the OCPP and OCPI frameworks through the introduction of custom error codes also creates its own set of challenges. While the integration of custom error codes allows for enhanced granularity, it also introduces inconsistencies and fragmentation within the overarching diagnostic reporting system. To address the challenges with custom error codes this report proposes a set of Minimum Required Error Codes (MRECs) for streamlined error reporting, interpretability, and diagnostics. Recommendations in this report are based on independent analysis of custom error codes from multiple stakeholders within the EV charging ecosystem. For better error resolution, this report also assigns one or more entities responsible for the resolution of every mentioned error code. Finally, a functional classification for each mentioned error code is also identified to describe the nature of the error. In summary, the purpose of this document is to simplify the troubleshooting process and increase charging reliability for all EV users. This report serves as a recommendation for industry stakeholders, encouraging a unified methodology to define, transmit, and interpret common error codes.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2024

Income Verification Strategies for Income-Based Solar Programs

The Inflation Reduction Act has created substantial new programs that support adoption of solar power by low-income households, including the $7 billion Solar For All program and the Low-Income Communities Bonus Credit Program, which increases the investment tax credit for certain types of deployment. In addition, a growing number of states are using solar programs to reduce energy burdens and create energy justice opportunities for low-income households and disadvantaged communities. Verifying the income of participating customers is an important component of these programs. Program managers are seeking strategies to verify a large number of subscribing customers in an accurate, timely, and cost-efficient manner. To help inform program managers, Berkeley Lab investigated how a number of energy and non-energy programs manage income verification. The most common approach is to require proof through tax documents, pay stubs, or other formal income documentation, which can pose an impediment to enrolling eligible customers and create a paperwork burden for administrators. In order to reduce the burden for both the applicant and the program manager, some programs use alternative methods. We identify three common alternative verification methods: -Categorical eligibility: Customers enrolled in other, similar income-verified assistance programs are automatically eligible for enrollment in other income-qualified programs. -Geographic eligibility: Eligibility is based on the customer’s location within a specified area, typically a low-income or disadvantaged community or census tract, and; -“Self-attestation”: The participant claims eligibility with or without further documentation. We describe these options, their pros and cons, give examples of how they are used, and explore how some low-income programs address administrative issues, audits, or other quality control measures. Finally, we explore the risk of mistaken verifications (finding a participant eligible when they are not) in the different strategies. While this memo was initiated by a request relating to income-based community solar programs, the methods are applicable to any program with income eligibility requirements in the energy or non-energy sector. Funding was provided for this research by the Solar Energy Technologies Office of the US Department of Energy, through the National Community Solar Partnership.

14 SOLAR ENERGY↗
DOE OSTI2024

Bill Savings vs. Backup Power: Evaluating operational tradeoffs for home solar+storage systems [Slides]

Adoption of residential solar photovoltaic+energy storage systems (PVESS) is driven by both bill savings opportunities and customer demand for backup power. Prior work by this team (Gorman et al., 2022; Gorman et al., 2023) explored PVESS backup power capabilities during long-duration power interruptions (e.g., due to severe weather events), when customers are assumed to be able to anticipate the event and charge their batteries in advance. In many cases, however, power interruptions are unpredictable (and often relatively short); for those types of events, a customer will typically set its battery to maintain some minimum capacity in reserve in case of an interruption, which reduces the capacity available for managing utility bills. This study evaluates this operational tradeoff to help customers and installers configure backup reserve settings, and to inform decision-making more generally about the customer value of backup power services compared to utility bill savings. This study utilizes Berkeley Lab’s PRESTO tool to produce stochastic simulations of (predominantly short-duration) power interruption events, and builds on an earlier case-study demonstrating PVESS backup performance during short-duration interruptions (Baik et al., 2023).

14 SOLAR ENERGY↗
DOE OSTI2025

Electricity Rate Designs for Large Loads: Evolving Practices and Opportunities

Electricity demand from large load customers such as data centers is projected to grow significantly in the near term. While data centers play an important role in advancing technology innovation and economic growth in the United States, data center energy needs present challenges and opportunities for electricity supply and infrastructure. This technical brief serves as a foundation for the discussion of issues and sharing of perspectives among utilities, regulators, large load customers, and other stakeholders. As utilities and regulators explore rate structures to address growing data center electricity demand, several issues have emerged: -Fair allocation of electricity system costs to large-load customers without unfair shifting of costs to other customers -Appropriate mitigation of the financial risks associated with stranded assets from underutilized utility system investments -Mitigation of operational and resource adequacy risks if electricity demand exceeds supply -Appropriate risk-sharing in commercializing newer electricity technologies such as advanced geothermal, small modular reactors, and long duration energy storage -Accommodating the diverse needs of large-load customers, such as having the option to match electricity consumption with output from carbon-free resources or using onsite generation to provide system capacity The technical brief also identifies key design elements that aim to address these issues and uses leading examples from pending and approved rate structures, agreements, and special contracts to ground the elements in practice.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2026

ICE Calculator 2: Final Report for Phase 1 and 2 of the National Initiative to Update the Interruption Cost Estimate (ICE) Calculator

ICE 2.0 Phase 2 Final Report In 2021, Berkeley Lab and Resource Innovations, Inc. launched the “ICE Calculator 2 Initiative” – a national study to refresh the underlying data and enhance the functionality of the ICE Calculator. The Initiative involves Berkeley Lab contracting with sponsoring utilities to administer identical, updated and comprehensive interruption cost surveys to statistically representative samples of each utility’s customers. Berkeley Lab and Resource Innovations then pool the survey results across the utilities and use them to update the analytical engines that drive the ICE Calculator. The ICE Calculator 2 Initiative is being conducted in phases. Each phase involves the administration of interruption cost surveys to the customers of sponsoring utilities, followed by an update to the ICE Calculator based on analysis of the pooled survey results. This report describes the activities and findings from Phase 1 and 2 of the ICE Calculator 2 Initiative. Phase 1 was sponsored by eight utilities: American Electric Power, Commonwealth Edison, Dominion Energy, Duke Energy, DTE Electric, Exelon, National Grid, and Puget Sound Energy. Phase 2 was sponsored by six utilities: Empire District Electric Company, Evergy Missouri, Pacific Gas & Electric, San Diego Gas & Electric, Southern California Edison, and Union Electric. Phase 1 and 2 involved 15 customer interruption cost survey activities representing a total of 30 electricity distribution service territories. ICE Calculator Version 2.0 and 2.2 Comparison This memorandum describes–at a high-level–the improvements in interruption cost estimates for the version 2.2 of the ICE Calculator (released February 2026) compared to version 2.0 (released in April 2025). Version 2.2 of the ICE Calculator corresponds to Phase 2 of the initiative, while version 2.0 corresponds to Phase 1. The improvements in version 2.2 result from both a significant increase in the number of customer responses that have been collected and the identification of seven additional factors that help estimate customer interruption costs.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2026

California Price Response Potential Study

California's energy landscape is undergoing a significant transformation, driven by the increasing integration of renewable energy sources, the increased adoption of distributed energy resources, the electrification of end-use loads, and the growing need for grid efficiency. To address these challenges, recent revisions to the State’s Load Management Standards (LMS) require all of California’s large utilities and community choice aggregators (CCAs) to offer dynamic electricity pricing options to customers by 2027. Dynamic pricing, which involves varying electricity rates based on real-time supply and demand conditions, offers a promising solution for optimizing grid operations, reducing costs, and incentivizing efficient use of grid capacity. Effective implementation of dynamic pricing requires understanding the potential impacts on customer bills, system load, and the cost-effectiveness of automation technologies. This study aims to evaluate the load response of various end-use devices to hourly dynamic prices. The end-uses studied here are space cooling, space heating, water heating, crop irrigation, pool and spa pumps, and electric vehicle (EV) charging, all for both residential and commercial applications, except for crop irrigation. In 2030, these end uses are forecasted to account for 18% of annual electricity demand in the state, but 40% of demand in the peak net load hour. By modeling possible price-responsive load dispatch algorithms and assessing the resulting impacts on both individual bills and the overall grid, we seek to inform policymakers and utilities about the potential benefits and challenges associated with dynamic pricing, and considerations for the design of dynamic pricing tariffs. Additionally, we will explore the cost effectiveness of adopting automation technologies to enable devices to respond more effectively to real-time price signals. This study considers a range of price profiles, accounting for differences across utilities and customer classes, and presents scenarios for dynamic price design via variation in the percentage of total customer electric costs that are allocated dynamically (versus constituting a fixed portion of the hourly volumetric price). We present results focused primarily on 2030, forecasting electricity prices under both low and high-cost scenarios, to inform longer-term tariff design considerations. We design tariffs by starting with 2019 prices that were calculated according to CalFUSE guidance (CPUC, 2022) and that have been used in recent studies; these prices are all-in volumetric rates that vary by utility and are revenue-neutral to each customer class. They are developed by considering six electricity cost components that are allocated hourly based on system load indicators (gross and net load, and wholesale prices). These prices are forecasted to 2030 for low and high cost scenarios, considering recent trends in total electricity costs with and without years of substantial wildfire mitigation investments. These tariffs, which allocate all costs on an hourly basis, are considered our “Full” dynamic tariff design scenario, while two additional scenarios explore allocating a portion of costs as a flat volumetric charge: the “Medium” scenario allocates 50% of revenue dynamically (and keeps 50% flat), while the “Mild” scenario allocates 20% of revenue dynamically. The 20% dynamic allocation on the Mild scenario aims to represent a case where only the marginal operating costs of the grid are included in the dynamic price.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2026

Product Defect Detection System: SYSM- 5620 Final Project

Retail sales is a growing market estimated to up to seven percent year over year. With this growing market there is also a trend in growing rate of retail returns, estimated just last year at $\$$850 billion. Retail stores must ensure that products available for purchase remain safe, undamaged, and acceptable to customers throughout their time in the store. This job exists regardless of the specific solution used because stores are always responsible for preventing damaged or defective products from reaching customers and when they fail to this is categorized under operation inefficiencies which accounts for an estimated $\$$12 billion in returns. When defective items remain on the sales floor, stores may experience increased returns, reduced customer satisfaction, loss of customer trust, and potential safety concerns depending on the product type. As a result, the core job to be done is to identify defective products quickly, remove them from the sales floor before they are purchased, and preserve useful information about the defect so that the store can improve its handling, stocking, and supplier coordination over time. The need for a more reliable process is especially important in high volume retail environments where employees manage large numbers of products across many aisles, shelves, and storage areas. In these settings, manual inspection alone can be inconsistent and difficult to sustain at the individual item level. At the same time, broader retail trends continue to emphasize operational efficiency, product visibility, and improved customer experience, creating an opportunity for more automated and data driven defect detection methods.

42 ENGINEERING↗
NASA NTRS1993

Preparing the DSN operations concepts

Operations concepts are prepared to support a specific application and can, therefore, be classified accordingly. Studies of NASA and military operations concepts suggest three major types: data services, customer services, and systems oriented. Data services concepts concentrate on data types (e.g., telemetry and command) and how these data are processed and delivered to the user. Such concepts are normally used by data-processing centers to describe data-coding schemes and data formats. Customer services concepts concentrate on the customers' requirements and describe how these requirements are met using the systems available to the operation. Project centers use such concepts to describe the various types of data as they flow from the source (e.g., a spacecraft) to the end user (i.e., the customer). Systems oriented concepts concentrate on the use of systems for processing and delivering customer data. This paper examines the latter type and the 'concepts' that are inherent within them.

Salazar, A. J.↗
NASA NTRS1994

Method for optimizing resource allocation in a government organization

The managers in Federal agencies are challenged to control the extensive activities in government and still provide high-quality products and services to the American taxpayers. Considering today's complex social and economic environment and the $3.8 billion daily cost of operating the Federal Government, it is evident that there is a need to develop decision-making tools for accurate resource allocation and total quality management. The goal of this thesis is to provide a methodical process that will aid managers in Federal Government to make budgetary decisions based on the cost of services, the agency's objectives, and the customers' perception of the agency's product. A general resource allocation procedure was developed in this study that can be applied to any government organization. A government organization, hereafter the 'organization,' is assumed to be a multidivision enterprise. This procedure was applied to a small organization for the proof of the concept. This organization is the Technical Services Directorate (TSD) at the NASA Lewis Research Center in Cleveland, Ohio. As part of the procedure, a nonlinear programming model was developed to account for the resources of the organization, the outputs produced by the organization, the decision-maker's views, and the customers' satisfaction with the organization. The information on the resources of the organization was acquired from current budget levels of the organization and the human resources assigned to the divisions. The outputs of the organization were defined and measured by identifying metrics that assess the outputs, the most challenging task in this study. The decision-maker's views are represented in the model as weights assigned to the various outputs and were quantified by using the analytic hierarchy process. The customer's opinions regarding the outputs of the organization were collected through questionnaires that were designed for each division individually. Following the philosophy of total quality management, information on customers' satisfaction is presented in the model as the quality of output. The model is a nonlinear one whose objective is to maximize customers' satisfaction such that the total cost of operation does not exceed the organization's budget. This model represents a structured approach or policy mechanism, at the agency level, to make capital investment decisions based on the priorities of the agency and the quality of outputs. This procedure applied to TSD resulted in a resources allocation scheme that was reasonable and acceptable to the decision-makers and, as expected, dependent on the assumptions and accuracy of the data used in the model.

Afarin, James↗
NASA NTRS1994

Automated protein crystal growth facility

A customer for the protein crystal growth facility fills the specially designed chamber with the correct solutions, fills the syringes with their quenching solutions, and submits the data needed for the proper growth of their crystal. To make sure that the chambers and syringes are filled correctly, a NASA representative may assist the customer. The data needed is the approximate growth time, the growth temperature, and the desired crystal size, but this data can be changed anytime from the ground, if needed. The chambers are gathered and placed into numbered slots in special drawers. Then, data is entered into a computer for each of the chambers. Technicians map out when each chamber's growth should be activated so that all of the chambers have enough time to grow. All of this data is up-linked to the space station when the previous growth session is over. Anti-vibrational containers need to be constructed for the high forces encountered during the lift off and the landing of the space shuttle, and though our team has not designed these containers, we do not feel that there is any reason why a suitable one could not be made. When the shuttle reaches the space station, an astronaut removes a drawer of quenched chambers from the growth facility and inserts a drawer of new chambers. All twelve of the drawers can be replaced in this fashion. The optical disks can also be removed this way. The old drawers are stored for the trip back to earth. Once inside the growth facility, a chamber is removed by the robot and placed in one of 144 active sites at a time previously picked by a technician. Growth begins when the chamber is inserted into an active site. Then, the sensing system starts to determine the size of the protein crystal. All during the crystal's growth, the customer can view the crystal and read all of the crystal's data, such as growth rate and crystal size. When the sensing system determines that the crystal has reached the predetermined size, the robot is told to pick up a syringe filled with the correct quenchant solution and inject it into the chamber to stop the crystal growth. The chamber is then removed from the active site and placed into its original storage slot. Another chamber is then placed into the active site and the process is repeated in all of the active sites until all of the chambers have complted their growth. After ninety days (the scheduled time between shuttle visits), the crystal growth is completed, and the old drawers are replaced with new ones. Once the customer extracts the crystals, the chambers are retrieved for future customers.

Donald, Stacey↗
NASA NTRS1994

Dual-use technologies for the mining, processing, and energy industries

Over the years, NASA has utilized several approaches towards transferring space technologies into the private sectors. Some of these approaches have been successful, others have had mixed results. The conventional approach usually involves identifying advanced NASA technologies and then searching for applications. Some approaches involve joint sponsorship, but mostly focus on technologies for space. The greatest success has occurred when market forces are used to determine technology initiatives. This paper describes an unconventional approach that was structured to drive out customer requirements for advanced technologies where NASA is also a customer on par with others. The approach used herein is best described as entrepreneurial deal-making. This approach is new and is working very well so far, but it is still too early, and the process is too immature, for quantitative evaluation of success. However, it is appropriate to share these experiences at this time in order to obtain feedback and improve our chances for success. In the needs identification stage, NASA is one of many users (customers), and in the subsequent development stage, NASA is one of many suppliers along with industry, academia, and other government organizations. This specific characteristic of the approach was a primary goal that was incorporated from inception. It was the viewpoint of the instigators (the authors) that if the activity was customer focused, it would: (1) have a higher probability for success since it will be driven by those who will reap the benefits; (2) be able to advocate and promote action if necessary, since it would be founded outside the federal government; (3) not be self-perpetuating; that is, if no common need could be found that had a reasonable return on investment, it would self-destruct; and (4) have increased stability from a broader base of support and not be dependent on NASA being the principal funding source. To date, the workshop activities have identified a collection of potential customers in NASA, other federal government, private industry, and academia who have common needs for advanced technologies.

Roberts, Barney B.↗
NASA NTRS2001

The Integration of COTS/GOTS within NASA's HST Command and Control System

NASA's mission critical Hubble Space Telescope (HST) command and control system has been re-engineered with COTS/GOTS and minimal custom code. This paper focuses on the design of this new HST Control Center System (CCS) and the lessons learned throughout its development. CCS currently utilizes 31 COTS/GOTS products with an additional 12 million lines of custom glueware code; the new CCS exceeds the capabilities of the original system while significantly reducing the lines of custom code by more than 50%. The lifecycle of COTS/GOTS products will be examined including the pack-age selection process, evaluation process, and integration process. The advantages, disadvantages, issues, concerns, and lessons teamed for integrating COTS/GOTS into the NASA's mission critical HST CCS will be examined in detail. Command and control systems designed with traditional custom code development efforts will be compared with command and control systems designed with new development techniques relying heavily on COTS/COTS integration. This paper will reveal the many hidden costs of COTS/GOTS solutions when compared to traditional custom code development efforts; this paper will show the high cost of COTS/GOTS solutions including training expenses, consulting fees, and long-term maintenance expenses.

Pfarr, Thomas↗
NASA NTRS2002

Extreme Programming in a Research Environment

This article explores the applicability of Extreme Programming in a scientific research context. The cultural environment at a government research center differs from the customer-centric business view. The chief theoretical difficulty lies in defining the customer to developer relationship. Specifically, can Extreme Programming be utilized when the developer and customer are the same person? Eight of Extreme Programming's 12 practices are perceived to be incompatible with the existing research culture. Further, six of the nine 'environments that I know don't do well with XP' apply. A pilot project explores the use of Extreme Programming in scientific research. The applicability issues are addressed and it is concluded that Extreme Programming can function successfully in situations for which it appears to be ill-suited. A strong discipline for mentally separating the customer and developer roles is found to be key for applying Extreme Programming in a field that lacks a clear distinction between the customer and the developer.

Wood, William A.↗
NASA NTRS2003

Enhanced Product Generation at NASA Data Centers Through Grid Technology

This paper describes how grid technology can support the ability of NASA data centers to provide customized data products. A combination of grid technology and commodity processors are proposed to provide the bandwidth necessary to perform customized processing of data, with customized data subsetting providing the initial example. This customized subsetting engine can be used to support a new type of subsetting, called phenomena-based subsetting, where data is subsetted based on its association with some phenomena, such as mesoscale convective systems or hurricanes. This concept is expanded to allow the phenomena to be detected in one type of data, with the subsetting requirements transmitted to the subsetting engine to subset a different type of data. The subsetting requirements are generated by a data mining system and transmitted to the subsetter in the form of an XML feature index that describes the spatial and temporal extent of the phenomena. For this work, a grid-based mining system called the Grid Miner is used to identify the phenomena and generate the feature index. This paper discusses the value of grid technology in facilitating the development of a high performance customized product processing and the coupling of a grid mining system to support phenomena-based subsetting.

Barkstrom, Bruce R.↗
NASA NTRS2005

A Tool for Requirements-Based Programming

Absent a general method for mathematically sound, automated transformation of customer requirements into a formal model of the desired system, developers must resort to either manual application of formal methods or to system testing (either manual or automated). While formal methods have afforded numerous successes, they present serious issues, e.g., costs to gear up to apply them (time, expensive staff), and scalability and reproducibility when standards in the field are not settled. The testing path cannot be walked to the ultimate goal, because exhaustive testing is infeasible for all but trivial systems. So system verification remains problematic. System or requirements validation is similarly problematic. The alternatives available today depend on either having a formal model or pursuing enough testing to enable the customer to be certain that system behavior meets requirements. The testing alternative for non-trivial systems always have some system behaviors unconfirmed and therefore is not the answer. To ensure that a formal model is equivalent to the customer s requirements necessitates that the customer somehow fully understands the formal model, which is not realistic. The predominant view that provably correct system development depends on having a formal model of the system leads to a desire for a mathematically sound method to automate the transformation of customer requirements into a formal model. Such a method, an augmentation of requirements-based programming, will be briefly described in this paper, and a prototype tool to support it will be described. The method and tool enable both requirements validation and system verification for the class of systems whose behavior can be described as scenarios. An application of the tool to a prototype automated ground control system for NASA mission is presented.

Rash, James L.↗
NASA NTRS2006

Sensor to User - NASA/EOS Data for Coastal Zone Management Applications Developed from Integrated Analyses: Verification, Validation and Benchmark Report

The NASA Applied Sciences Program seeks to transfer NASA data, models, and knowledge into the hands of end-users by forming links with partner agencies and associated decision support tools (DSTs). Through the NASA REASoN (Research, Education and Applications Solutions Network) Cooperative Agreement, the Oceanography Division of the Naval Research Laboratory (NRLSSC) is developing new products through the integration of data from NASA Earth-Sun System assets with coastal ocean forecast models and other available data to enhance coastal management in the Gulf of Mexico. The recipient federal agency for this research effort is the National Oceanic and Atmospheric Administration (NOAA). The contents of this report detail the effort to further the goals of the NASA Applied Sciences Program by demonstrating the use of NASA satellite products combined with data-assimilating ocean models to provide near real-time information to maritime users and coastal managers of the Gulf of Mexico. This effort provides new and improved capabilities for monitoring, assessing, and predicting the coastal environment. Coastal managers can exploit these capabilities through enhanced DSTs at federal, state and local agencies. The project addresses three major issues facing coastal managers: 1) Harmful Algal Blooms (HABs); 2) hypoxia; and 3) freshwater fluxes to the coastal ocean. A suite of ocean products capable of describing Ocean Weather is assembled on a daily basis as the foundation for this semi-operational multiyear effort. This continuous realtime capability brings decision makers a new ability to monitor both normal and anomalous coastal ocean conditions with a steady flow of satellite and ocean model conditions. Furthermore, as the baseline data sets are used more extensively and the customer list increased, customer feedback is obtained and additional customized products are developed and provided to decision makers. Continual customer feedback and response with new improved products are required between the researcher and customer. This document details the methods by which these coastal ocean products are produced including the data flow, distribution, and verification. Product applications and the degree to which these products are used successfully within NOAA and coordinated with the Mississippi Department of Marine Resources (MDMR) is benchmarked.

Hall, Callie↗