Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “ADA”

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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
NASA NTRS2019

Improvements to Ozone Analyses Using Hyperspectral Sounders in the 9.6 μm Band

Previously, hyperspectral sounder brightness temperatures assimilated in the Goddard Earth Observing System Atmospheric Data Assimilation System (GEOS-ADAS) were limited to assimilating temperature and moisture. The ozone sensitive 9.6 m region is sensed by several hyperspectral sounders including AIRS (Atmospheric InfraRed Sounder), IASI (Infrared Atmospheric Sounding Interferometer), and CrIS (Cross-track Infrared Sounder). Direct assimilation of brightness temperatures in the 9.6 m region have been operational at ECMWF for several years (Dragani and McNally, 2013; Eresmaa et al., 2017). With this study, similar improvements using the GEOS-ADAS are presented. Channels were selected from available operational subsets evaluating information content and minimizing inter-channel correlation. Additionally, information such as channel selections made by other studies, and vertical sensitivities of ozone and temperature were considered in developing the study. The analyses produced show improvements verified against ozonesondes taken from SHADOZ (Southern Hemisphere Additional Ozonesondes), and WOUDC (World Ozone and Ultraviolet Data Center). Inclusion of inter-channel correlation error to the selected ozone channels are expected to improve ozone analyses further along with improve analyses overall. It is anticipated that inclusion of these ozone sensitive channels will be used to improve NASA GMAO products in the near future.

GEOS-ADAS↗
DOE OSTI2025

Addressing the impact of Lyman opacity in inference of divertor plasma conditions with 2D spectroscopic camera analysis of Balmer emission during detachment in JET L-mode plasmas

The impact of re-absorption of the deuterium Lyman series emission was addressed in inferring divertor plasma conditions from Balmer series emission with 2D spectroscopic camera analysis during detachment in JET L-mode plasmas. The previously presented methodology was amended by modifying the standard photon emission coefficients and ionization and recombination rate coefficients of the ADAS database to consider the re-population of excited states due to Lyman opacity. This resulted in the estimate for the atomic density near the outer strike point to decrease by up to 75% at the onset of detachment at strike point temperatures of T e,osp ≈ 1.0–3.0 eV with respect to the strongly overestimated previously obtained values, whereas the estimated electron temperature and density were unaffected by the opacity correction within the scatter of the data and only a moderate reduction by up to 20% was observed in the estimate for the molecularly induced fraction of the Balmer emission. No noticeable change was seen in the ionization rate, calculated from the estimated outer strike point conditions, due to the decrease in the atomic density estimate compensating for the increased values of the opacity-corrected ADAS rate coefficients for ionization. In detached conditions at T e,osp ≈ 0.5–1.0 eV, 25%–35% lower recombination rates were provided by the opacity-corrected model. The observed effects on the experimental analysis were supported by a corresponding synthetic analysis based on EDGE2D-EIRENE simulations.

Balmer emission↗
DOE OSTI2023

ROSE LCOM Tools

This project provides a tool to compute LCOM metrics for important Ada abstraction mechanisms (e.g., packages, protected objects). It analyzes data accesses and routine calls to compute an abstract representation of an Ada package (or some other abstraction). Different LCOM metrics (1-5) are computed from the abstract representation. The project also provides support for representing the abstraction graphically (via graphviz). The LCOM tool requires an existing ROSE installation configured with the GNAT 2019 compiler.

Lamar, KennethM↗
DOE OSTI2023

How Time Inefficient and Uncertain are Paratransit Trips Compared to Car Trips

The Americans with Disabilities Act (ADA) stipulates that paratransit mobility be comparable to public transit. However, with just under 5% of the population relying on public transportation, transit is not a representative benchmark. To highlight this inequality, we compare trip times by paratransit to counterfactual car-based travel. Using 2.5 years of demand data from the Denver Regional Transportation District's Access-a-Ride service, we compare paratransit trip times to counterfactual car-based trips for the same origin-destination pairs, controlling for various trip characteristics. Compared to car travel, the findings indicate high variability and uncertainty associated with paratransit trip times. For the same origin-destination pairs, the mean paratransit trip time is almost twice that of the mean car travel time, with a standard deviation for paratransit trip time fourfold that of the standard deviation for car trip time. For perspective, traveling an average of 10 mi during the 7-8 a.m. morning peak can take about 16 min by car with almost no variability, while that same trip can take an average of 25 min by paratransit, with 5% of trips being outside the 95% confidence interval and thus unpredictable. Paratransit trip time inefficiency tends to be particularly worse for females; older adults; those making trips between 9 and 11 a.m.; cash-paying customers; those making shorter trips; and those traveling during inclement weather, including cold temperatures. These findings suggest a need to re-assess using public transit as a benchmark for paratransit supply as regulated by the ADA.

accessible transportation and mobility↗
NASA NTRS1985

An automated methodology development

The design methodology employed in testing the applicability of Ada in large-scale combat simulations is described. Ada was considered as a substitute for FORTRAN to lower life cycle costs and ease the program development efforts. An object-oriented approach was taken, which featured definitions of military targets, the capability of manipulating their condition in real-time, and one-to-one correlation between the object states and real world states. The simulation design process was automated by the problem statement language (PSL)/problem statement analyzer (PSA). The PSL/PSA system accessed the problem data base directly to enhance the code efficiency by, e.g., eliminating non-used subroutines, and provided for automated report generation, besides allowing for functional and interface descriptions. The ways in which the methodology satisfied the responsiveness, reliability, transportability, modifiability, timeliness and efficiency goals are discussed.

Hawley, L. R.↗
NASA NTRS1985

Space Station Software Recommendations

Four panels of invited experts and NASA representatives focused on the following topics: software management, software development environment, languages, and software standards. Each panel deliberated in private, held two open sessions with audience participation, and developed recommendations for the NASA Space Station Program. The major thrusts of the recommendations were as follows: (1) The software management plan should establish policies, responsibilities, and decision points for software acquisition; (2) NASA should furnish a uniform modular software support environment and require its use for all space station software acquired (or developed); (3) The language Ada should be selected for space station software, and NASA should begin to address issues related to the effective use of Ada; and (4) The space station software standards should be selected (based upon existing standards where possible), and an organization should be identified to promulgate and enforce them. These and related recommendations are described in detail in the conference proceedings.

Voigt, S.↗
NASA NTRS1987

TAVERNS and the space station software support environment

The Space Station Information System (SSIS) provides the data processing capability for the Space Station Program (SSP). The Software Support Environment (SSE) System for the SSP is the collection of software, procedures, standards, hardware specification, documentation, policy, and training materials. The Ada programming language was baselined by the Space Station Program Office as the language for development and maintenance of all space station software including the software of the SSE itself. The Test And Validation Environment for Remote Networked Systems (TAVERNS) is a distributed philosophy for development and validation of Ada applications software for the space station and as such is closely related to the SSE. An overview of the system is provided.

Howes, Norman R.↗
NASA NTRS1986

Recent trends related to the use of formal methods in software engineering

An account is given of some recent developments and trends related to the development and use of formal methods in software engineering. Ongoing activities in Europe are focussed on, since there seems to be a notable difference in attitude towards industrial usage of formal methods in Europe and in the U.S. A more detailed account is given of the currently most widespread formal method in Europe: the Vienna Development Method. Finally, the use of Ada is discussed in relation to the application of formal methods, and the potential for constructing Ada-specific tools based on that method is considered.

Prehn, Soren↗
NASA NTRS1986

The impact of common APSE interface set specifications on space station information systems

Certain types of software facilities are needed in a Space Station Information Systems Environment; the Common APSE (Ada Program Support Environment) Interface Set (CAIS) was proposed as a means of satisfying them. The reasonableness of this is discussed by examining the current CAIS, considering the changes due to the latest Requirements and Criteria (RAC) document, and postulating the effects on the CAIS 2.0. Finally, a few additional comments are made on the problems inherent in the Ada language itself, especially on its deficiencies when used for implementing large distributed processing and data base applications.

Diaz-Herrera, Jorge L.↗
NASA NTRS1986

Object-oriented development

Object Oriented Development (OOD) is one of the extremely few software development methods actually designed for modern Ada language, real-time, embedded applications. OOD is a significant improvement over more traditional functional decomposition and modeling methods in that ODD: Better manages the size, complexity, and concurrancy of today's systems; Better addresses important software engineering principles such as abstract data types, levels of abstraction, and information hiding; Produces a better design that more closely matches reality; Produces more maintainable software by better localizing data and thus limiting the impact of requirements changes; and Specifically exploits the power of Ada. OOD is further explored in detail.

Firesmith, Donald G.↗
NASA NTRS1986

A software development environment utilizing PAMELA

Hardware capability and efficiency has increased dramatically since the invention of the computer, while software programmer productivity and efficiency has remained at a relatively low level. A user-friendly, adaptable, integrated software development environment is needed to alleviate this problem. The environment should be designed around the Ada language and a design methodology which takes advantage of the features of the Ada language as the Process Abstraction Method for Embedded Large Applications (PAMELA).

Flick, R. L.↗
NASA NTRS1986

Verifying performance requirements

Today, it is impossible to verify performance requirements on Ada software, except in a very approximate sense. There are several reasons for this difficulty, of which the main reason is the lack of use of information on the mapping of the program onto the target machine. An approach to a partial solution to the verification of performance requirements on Ada software is proposed, called the rule based verification approach. This approach is suitable when the target machine is well defined and when additional effort and expense are justified in order to guarantee that the performance requirements will be met by the final system.

Cross, Joseph↗
NASA NTRS1990

Software For Clear-Air Doppler-Radar Display

System of software developed to present plan-position-indicator scans of clear-air Doppler radar station on color graphical cathode-ray-tube display. Designed to incorporate latest accepted standards for equipment, computer programs, and meteorological data bases. Includes use of Ada programming language, of "Graphical-Kernel-System-like" graphics interface, and of Common Doppler Radar Exchange Format. Features include portability and maintainability. Use of Ada software packages produced number of software modules reused on other related projects.

Johnston, Bruce W.↗
NASA NTRS1989

Reuse research plans at Langley Research Center

The reuse activities at Langley have centered on the development of the Eli System by SPS. The development of a computer systems design environment at Langley was described as a target application for the future Eli system. This environment combines software development tools with an architecture design and analysis tool. Specifically, a Computer-Aided Software Engineering (CASE) system, under development at Charles Stark Draper Laboratory for Langley, is being used to generate Ada code for use in architecture functional simulations using the Architecture Design and Assessment System (ADAS). The Eli system will be included in this tool set and will be used to organize and promote reuse of the functional simulation code modules.

Voigt, Susan J.↗
NASA NTRS1988

Object Oriented Programming Systems (OOPS) and frame representations: An investigation of programming paradigms

The project was initiated to research Object Oriented Programming Systems (OOPS) and frame representation systems, their significance and applicability, and their implementation in or relationship to Ada. Object orientated is currently a very popular conceptual adjective. Object oriented programming, in particular, is promoted as a particularly productive approach to programming; an approach which maximizes opportunities for code reuse and lends itself to the definition of convenient and well-developed units. Such units are thus expected to be usable in a variety of situations, beyond the typical highly specific unit development of other approaches. Frame represenation systems share a common heritage and similar conceptual foundations. Together they represent a quickly emerging alternative approach to programming. The approach is to first define the terms, starting with relevant concepts and using these to put bounds on what is meant by OOPS and Frames. From this the possibilities were pursued to merge OOPS with Ada which will further elucidate the significant characteristics which make up this programming approach. Finally, some of the merits and demerits of OOPS were briefly considered as a way of addressing the applicability of OOPS to various programming tasks.

Auty, David↗
NASA NTRS1989

Collected software engineering papers, volume 7

A collection is presented of selected technical papers produced by participants in the Software Engineering Laboratory (SEL) during the period Dec. 1988 to Oct. 1989. The purpose of the document is to make available, in one reference, some results of SEL research that originally appeared in a number of different forums. For the convenience of this presentation, the seven papers contained here are grouped into three major categories: (1) Software Measurement and Technology Studies; (2) Measurement Environment Studies; and (3) Ada Technology Studies. The first category presents experimental research and evaluation of software measurement and technology; the second presents studies on software environments pertaining to measurement. The last category represents Ada technology and includes research, development, and measurement studies.

Source record↗
NASA NTRS1988

Collected software engineering papers, volume 6

A collection is presented of technical papers produced by participants in the Software Engineering Laboratory (SEL) during the period 1 Jun. 1987 to 1 Jan. 1989. The purpose of the document is to make available, in one reference, some results of SEL research that originally appeared in a number of different forums. For the convenience of this presentation, the twelve papers contained here are grouped into three major categories: (1) Software Measurement and Technology Studies; (2) Measurement Environment Studies; and (3) Ada Technology Studies. The first category presents experimental research and evaluation of software measurement and technology; the second presents studies on software environments pertaining to measurement. The last category represents Ada technology and includes research, development, and measurement studies.

Source record↗
NASA NTRS1989

Modeling and analysis of multiprocessor architectures

Some technologies developed for system level modeling and analysis of algorithms/architectures using an architecture design and development system are reviewed. Modeling and analysis is described with attention given to modeling constraints and analysis using constrained software graphs. An example is presented of an ADAS graph and its associated attributes, such as firing delay, token consume rate, token produce rate, firing threshold, firing condition, arc queue lengths, associated C or Ada functional model, and stochastic behavior.

Yalamanchili, S.↗