Search NASA⌕ Search

SEARCH · Search NASA

Results for “authorization”

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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS2015

Methods of Increasing Terminal Airspace Flexibility and Control Authority

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).

NRA Final Report↗
NASA NTRS2016

Development of Methods of Increasing Terminal Flexibility and Control Authority: Option Year 1 Final Report

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).

Departure Management Programs (DMP)↗
NASA NTRSDate not supplied

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft

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 engineering↗
NASA NTRSDate not supplied

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft

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.

Requirements engineering↗
NASA NTRS2023

Creating a Fully-Electronic GFE Work Authorization Document Process for JSC

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

Nicholas Holaday↗
NASA NTRSDate not supplied

Identifying Indicators of Harmful Algal Blooms in Coastal Atacama Using Satellite Image Processing Techniques to Improve Industry and Authority Response

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.

Cody O'Ferrall↗
NASA NTRS2003

Cardea: Providing Support for Dynamic Resource Access in a Distributed Computing Environment

The environment framing the modem authorization process span domains of administration, relies on many different authentication sources, and manages complex attributes as part of the authorization process. Cardea facilitates dynamic access control within this environment as a central function of an inter-operable authorization framework. The system departs from the traditional authorization model by separating the authentication and authorization processes, distributing the responsibility for authorization data and allowing collaborating domains to retain control over their implementation mechanisms. Critical features of the system architecture and its handling of the authorization process differentiate the system from existing authorization components by addressing common needs not adequately addressed by existing systems. Continuing system research seeks to enhance the implementation of the current authorization model employed in Cardea, increase the robustness of current features, further the framework for establishing trust and promote interoperability with existing security mechanisms.

Lepro, Rebekah↗
NASA NTRS1994

An experiment to assess the cost-benefits of code inspections in large scale software development

This experiment (currently in progress) is designed to measure costs and benefits of different code inspection methods. It is being performed with a real development team writing software for a commercial product. The dependent variables for each code unit's inspection are the elapsed time and the number of defects detected. We manipulate the method of inspection by randomly assigning reviewers, varying the number of reviewers and the number of teams, and, when using more than one team, randomly assigning author repair and non-repair of detected defects between code inspections. After collecting and analyzing the first 17 percent of the data, we have discovered several interesting facts about reviewers, about the defects recorded during reviewer preparation and during the inspection collection meeting, and about the repairs that are eventually made. (1) Only 17 percent of the defects that reviewers record in their preparations are true defects that are later repaired. (2) Defects recorded at the inspection meetings fall into three categories: 18 percent false positives requiring no author repair, 57 percent soft maintenance where the author makes changes only for readability or code standard enforcement, and 25 percent true defects requiring repair. (3) The median elapsed calendar time for code inspections is 10 working days - 8 working days before the collection meeting and 2 after. (4) In the collection meetings, 31 percent of the defects discovered by reviewers during preparation are suppressed. (5) Finally, 33 percent of the true defects recorded are discovered at the collection meetings and not during any reviewer's preparation. The results to date suggest that inspections with two sessions (two different teams) of two reviewers per session (2sX2p) are the most effective. These two-session inspections may be performed with author repair or with no author repair between the two sessions. We are finding that the two-session, two-person with repair (2sX2pR) inspections are the most expensive, taking 15 working days of calendar time from the time the code is ready for review until author repair is complete, whereas two-session, two-person with no repair (2sX2pN) inspections take only 10 working days, but find about 10 percent fewer defects.

Porter, A.↗
NASA NTRS2002

Rayleigh-Taylor Gravity Waves and Quasiperiodic Oscillation Phenomenon in X-ray Binaries

Accretion onto compact objects in X-ray binaries (black hole, neutron star (NS), white dwarf) is characterized by non-uniform flow density profiles. Such an effect of heterogeneity in presence of gravitational forces and pressure gradients exhibits Rayleigh-Taylor gravity waves (RTGW). They should be seen as quasiperiodic wave oscillations (QPO) of the accretion flow in the transition (boundary) layer between the Keplerian disk and the central object. In this paper the author shows that the main QPO frequency, which is very close to the Keplerian frequency, is split into separate frequencies (hybrid and low branch) under the influence of the gravitational forces in the rotational frame of reference. The RTGWs must be present and the related QPOs should be detected in any system where the gravity, buoyancy and Coriolis force effects cannot be excluded (even in the Earth and solar environments). The observed low and high QPO frequencies are an intrinsic signature of the RTGW. The author elaborates the conditions for the density profile when the RTGW oscillations are stable. A comparison of the inferred QPO frequencies with QPO observations is presented. The author finds that hectohertz frequencies detected from NS binaries can be identified as the RTGW low branch frequencies. The author also predicts that an observer can see the double NS spin frequency during the NS long (super) burst events when the pressure gradients and buoyant forces are suppressed. The Coriolis force is the only force which acts in the rotational frame of reference and its presence causes perfect coherent pulsations with a frequency twice of the NS spin. The QPO observations of neutron binaries have established that the high QPO frequencies do not go beyond of the certain upper limit. The author explains this observational effect as a result of the density profile inversions. Also the author demonstrates that a particular problem of the gravity waves in the rotational frame of reference in the approximation of very small pressure gradients is reduced to the problem of the classical oscillator in the rotational frame of reference which was previously introduced and applied for the interpretation of kHZ QPO observation by Osherovich & Titarchuk.

Titarchuk, Lev↗