SEARCH · Search NASA
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.
The following presentation describes three out of numerous documents that the Safety and Mission Assurance organization utilizes to mitigate possible hazards that can be present in Exploration Ground Systems.
The focus of the NRA contract is to develop a What-if Analysis Tool for planning Departure Management Programs (DMP) at airports. This final report summarizes the work conducted throughout the base year, with a focus on use case specification for the what-if analysis capability and the implementation of the What-if Analysis Tool and its application to traffic and weather scenarios at Charlotte Douglas International Airport (CLT).
The focus of the NRA contract is to develop a What-if Analysis Tool for planning Departure Management Programs (DMP) at airports. This final report summarizes the work conducted throughout the option year, with a focus on use case specification for the what-if analysis capability and the implementation of the What-if Analysis Tool and its application to traffic and weather scenarios at Charlotte Douglas International Airport (CLT).
Correction to: Scientific Reports https://doi.org/10.1038/s41598-018-37304-0, published online 30 January 2019
Correction to: Scientific Reports https://doi.org/10.1038/s41598-018-37304-0, published online 30 January 2019
Upon arrival at Saturn, Cassini will execute numerous low-altitude flybys of Titan and a few targeted icy satellite flybys. At the closest approach altitudes, the spacecraft must use its thrusters in order to overcome the external torques, maintain attitude control, and perform the required science slews.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Requirements specification and analysis is widely applied to ensure the correctness of industrial systems in safety critical domains. Requirements are often initially written in natural language, which is highly ambiguous, and as a second step transformed into a language with rigorous semantics for formal analysis. [Question/problem] In this paper, we report on our experience in requirements creation and analysis, as well as run-time monitor generation using the Formal Requirement Elicitation Tool (FRET), on an industrial case study for a Lift-Plus-Cruise concept aircraft. [Principal ideas/results] We study the creation of requirements directly in the structured language of FRET without a prior definition of the same requirements in natural language. We focus on requirements describing state machines and discuss the challenges that we faced, in terms of creating requirements and generating monitors. We demonstrate how realizability, i.e., checking whether a requirements specification can be implemented, is crucial for understanding temporal interdependencies among requirements. [Contribution] Our study is the first complete attempt at using FRET to create industrial, realizable requirements and generate run-time monitors. Insight from lessons learned was materialized into new features in the FRET and JKind analysis frameworks.
Requirements specification and analysis is widely applied to ensure the correctness of industrial systems in safety critical domains. Requirements are often initially written in natural language, which is highly ambiguous, and as a second step transformed into a language with rigorous semantics for formal analysis. In this paper, we report on our experience in requirements creation and analysis, as well as run-time monitor generation using the Formal Requirement Elicitation Tool (FRET), on an industrial case study for a Lift-Plus-Cruise concept aircraft. We study the creation of requirements directly in the structured language of FRET without a prior definition of the same requirements in natural language. We focus on requirements describing state machines and discuss the challenges that we faced, in terms of creating requirements and generating monitors. We demonstrate how realizability, i.e., checking whether a requirements specification can be implemented, is crucial for understanding temporal interdependencies among requirements. Our study is the first complete attempt at using FRET to create industrial, realizable requirements and generate run-time monitors. Insight from lessons learned was materialized into new features in the FRET and JKind analysis frameworks.
JSC’s Electronic Document System (EDS) was published in 2013 by SMA to store and process Task Performance Sheets (TPS), Discrepancy Reports (DR), Hardware Movement Documents (EZT), etc. The 2013 transition turned a fully paper process into an electronic routing one with document level electronic approvals but maintained an in-line paper process . - Today, all work and buy-offs continue to be captured on paper, walked between buildings, and is susceptible to approval errors, a rapidly slowing processing time, and led to projects requesting waivers to use alternate WAD systems, damaging JSC’s QMS. - NT Data Systems team collaborated with multiple platform providers, test user groups, and stakeholders, to find a solution for this growing need in a way that exceeds JSC’s current process, is adaptable to future innovation, and within our limited resource constraints
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Over the past decade, Chile has experienced a significant rise in both the frequency and intensity of coastal Harmful Algal Blooms (HABs). These bloom events are a growing concern for the Atacama Region especially, with potential impacts on human health, aquaculture, and the environment. HABs are caused by an excess proliferation of microalgae, with certain algae species commonly found in Chilean HABs capable of producing toxins which can poison fish, toxify shellfish, and cause illness or death when ingested by humans. Collaborating with the Ministry of Health of Chile, Centro de Información de Recursos Naturales, the University of Atacama, and the Embassy of Chile’s Agricultural Office, this study identifies potential indicators of HABs in the Coastal Atacama Region using NASA Earth observations. Satellite imagery from the Moderate Resolution Imaging Spectroradiometer (MODIS) instrument onboard NASA’s Aqua satellite was used for the identification of chlorophyll-a which provides direct estimates of the algae pigment’s concentration in water bodies. In addition, the spatiotemporal patterns of several other parameters were examined to identify correlations with occurrences of HABs, including sea surface temperature and normalized fluorescence line height using Aqua MODIS, Normalized Difference Turbidity Index (NDTI) using Landsat 8, and ocean wind speed measurements from the NOAA Joint Polar Satellite System. Analysis of these patterns revealed hotspots of high chlorophyll-a concentrations from the years 2014 to 2022, the most major of which occurring in the coastal zones of Chañaral, Bahía Inglesa, and Huasco. Also, through the use of a similarity search conducted, the seasonal variation of these indicators was mapped to highlight areas with great likelihood of experiencing HABs in the future. The results can guide future efforts for in-situ water sampling, toxin analysis and assessment, and HAB monitoring and prevention.
Abstract not provided.
Report for NDEP