Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “software tools”

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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS2018

Managing Variability: A Cognitive Ethnography of the Work of Airline Dispatchers

Airline dispatchers' workflow is often described in broad terms like 'flight planning' and 'flight following'. Such high-level descriptions fail to recognize the number and complexity of tasks involved in these activities. An ethnographic study was conducted at three US airlines to understand the cognitive workload involved in flight planning. Fuel planning was identified as one of five key flight planning tasks. Fuel planning was conducted concurrently with other planning and monitoring tasks which often led to interruptions. Planning fuel was dynamic, with recalculations required whenever other factors varied (e.g., payload, route, alternates). This rework increased workload and opportunities for error while reducing efficiency. Four main factors contributed variability to fuel planning: contingency planning, load planning, pilots, and station operations. Strategies for managing variability included pattern identification, use of buffers, rounding up, and leveraging software tools. Software design often added to workload by forcing dispatchers to attend to low level tasks.

dispatcher↗
NASA NTRS1985

AUTOSIM: An automated repetitive software testing tool

AUTOSIM is a software tool which automates the repetitive run testing of software. This tool executes programming tasks previously performed by a programmer with one year of programming experience. Use of the AUTOSIM tool requires a knowledge base containing information about known faults, code fixes, and the fault diagnosis-correction process. AUTOSIM can be considered as an expert system which replaces a low level of programming expertise. Reference information about the design and implementation of the AUTOSIM software test tool provides flowcharts to assist in maintaining the software code and a description of how to use the tool.

Dunham, J. R.↗
NASA NTRS1990

An expert system based software sizing tool, phase 2

A software tool was developed for predicting the size of a future computer program at an early stage in its development. The system is intended to enable a user who is not expert in Software Engineering to estimate software size in lines of source code with an accuracy similar to that of an expert, based on the program's functional specifications. The project was planned as a knowledge based system with a field prototype as the goal of Phase 2 and a commercial system planned for Phase 3. The researchers used techniques from Artificial Intelligence and knowledge from human experts and existing software from NASA's COSMIC database. They devised a classification scheme for the software specifications, and a small set of generic software components that represent complexity and apply to large classes of programs. The specifications are converted to generic components by a set of rules and the generic components are input to a nonlinear sizing function which makes the final prediction. The system developed for this project predicted code sizes from the database with a bias factor of 1.06 and a fluctuation factor of 1.77, an accuracy similar to that of human experts but without their significant optimistic bias.

Friedlander, David↗
NASA NTRS2013

Software Engineering Tools for Scientific Models

Software tools were constructed to address issues the NASA Fortran development community faces, and they were tested on real models currently in use at NASA. These proof-of-concept tools address the High-End Computing Program and the Modeling, Analysis, and Prediction Program. Two examples are the NASA Goddard Earth Observing System Model, Version 5 (GEOS-5) atmospheric model in Cell Fortran on the Cell Broadband Engine, and the Goddard Institute for Space Studies (GISS) coupled atmosphere- ocean model called ModelE, written in fixed format Fortran.

Abrams, Marc↗
DOE OSTI2022

Software Verification Toolkit (SVT): Survey on Available Software Verification Tools and Future Direction

Writing software is difficult. However, writing complex, well tested and designed, and functionally correct software is incredibly difficult. An entire field of study is devoted to the validation and verification of software to address this problem, and in this paper we analyze the landscape of currently available third party software. We have divided our analyses into three separate subsections with regards to software validation: formal methods, static analysis, and test generation. Formal verification is the most complex method in which to validate software correctness, but also the most thorough as it truly validates the mathematical validity of the source code. Static analysis generally is relegated to abstract syntax tree traversal techniques to find errors related to faulty software such as memory leaks or stack overflow issues. Automatic test generation is similar in implementation to static analysis, but pushes a bit further in verifying the boundedness of function inputs and outputs with regards to annotated or parsed criteria. The crux of this report is to analyze and describe the software tools that implement these techniques to validate and verify software. Pros and cons related to installation, utilization, and capabilities of the frameworks are described, and reproducible examples are provided with a focus on usability. The initial survey concluded that the most interesting tools of note are Z3, Isabelle/HOL, and TLA+ with regards to formal verification; and Infer, Frama-C, and SonarQube with regards to static analysis. With these tools in mind, a final conjecture is provided that describes future avenues of utilizing these tools for developing a verification framework to assist in validating existing software at Sandia National Laboratories.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2019

Software for Simulating the Surface Wear of Tools

Software for recording machining tracks in abrasive lapping is described. The software permits prediction of the shape and magnitude of the tool’s surface wear at the stage of process design, on the basis of the dimensions of the workpiece and the lap, their relative velocity, and the machining trajectory.

36 MATERIALS SCIENCE↗
DOE OSTI2023

MEASUR Up: Identifying opportunities in a facility

The commercial and industrial sectors account for nearly half of the total U.S. energy consumption. To help these sectors reduce their energy intensity, the U.S. Department of Energy (DOE) designed the Better Buildings, Better Plants Initiative. Through this initiative, more than 900 industrial, commercial, public and residential organizations commit to long-term sustainability goals and share their proven energy efficiency strategies, which inspire others to tap into the continued potential for energy efficiency. Collectively, these organizations have saved 2.5 quadrillion BTUs of energy, equivalent to US$15.3 billion, and 155 million metric tons of carbon dioxide. Within the initiative, the Better Plants side of the program focuses specifically on the industrial sector. More than 270 industrial partners have taken advantage of the unique selection of resources offered including workforce development programs, information sharing, peer-to-peer networking, diagnostic tool loans and software tools. One of the most powerful tools off ered is a revitalization of the legacy DOE software tools used by industry for decades. These have been transformed into a new, free, opensource software tool suite: MEASUR (Manufacturing Energy Assessment Software for Utility Reduction)

Armstrong, Kristina↗
NASA NTRS2008

MRO DKF Post-Processing Tool

This software tool saves time and reduces risk by automating two labor-intensive and error-prone post-processing steps required for every DKF [DSN (Deep Space Network) Keyword File] that MRO (Mars Reconnaissance Orbiter) produces, and is being extended to post-process the corresponding TSOE (Text Sequence Of Events) as well. The need for this post-processing step stems from limitations in the seq-gen modeling resulting in incorrect DKF generation that is then cleaned up in post-processing.

Ayap, Shanti↗
NASA NTRS2018

Post-Flight Data Analysis Tool

A software tool that facilitates the retrieval and analysis of post-flight data. This allows our team and other teams to effectively and efficiently analyze and evaluate post-flight data in order to certify commercial providers.

George, Marina↗
NASA NTRS1996

Dataflow Design Tool: User's Manual

The Dataflow Design Tool is a software tool for selecting a multiprocessor scheduling solution for a class of computational problems. The problems of interest are those that can be described with a dataflow graph and are intended to be executed repetitively on a set of identical processors. Typical applications include signal processing and control law problems. The software tool implements graph-search algorithms and analysis techniques based on the dataflow paradigm. Dataflow analyses provided by the software are introduced and shown to effectively determine performance bounds, scheduling constraints, and resource requirements. The software tool provides performance optimization through the inclusion of artificial precedence constraints among the schedulable tasks. The user interface and tool capabilities are described. Examples are provided to demonstrate the analysis, scheduling, and optimization functions facilitated by the tool.

Jones, Robert L., III↗
NASA NTRS1977

MUST - An integrated system of support tools for research flight software engineering

The objectives of NASA's MUST (Multipurpose User-oriented Software Technology) program at Langley Research Center are to cut the cost of producing software which effectively utilizes digital systems for flight research. These objectives will be accomplished by providing an integrated system of support software tools for use throughout the research flight software development process. A description of the overall MUST program and its progress toward the release of a first MUST system will be presented. This release includes: a special interactive user interface, a library of subroutines, assemblers, a compiler, automatic documentation tools, and a test and simulation system.

Straeter, T. A.↗
NASA NTRS1985

Automatically-Programed Machine Tools

Software produces cutter location files for numerically-controlled machine tools. APT, acronym for Automatically Programed Tools, is among most widely used software systems for computerized machine tools. APT developed for explicit purpose of providing effective software system for programing NC machine tools. APT system includes specification of APT programing language and language processor, which executes APT statements and generates NC machine-tool motions specified by APT statements.

Purves, L.↗
NASA NTRS1997

Automated Software Test Tool

The objective of the Graduate project described below is to indtroduce the development of a software tool which will be use to automate the testing process of a JPL-specific set of software programs.

Software Test Tool↗
DOE OSTI2016

Operationally-Relevant Cyber Situational Awareness Tool Development.

Research was undertaken to gain an understanding of the interplay between cyber security professionals and the software tools utilized in performing their jobs. Substantial investments are devoted to purchasing and developing software tools targeting cyber security operations. However, development is largely based on anecdotal knowledge concerning the work processes, cognitive demands, and the needs and requirements of cyber security analysts. The current study first characterized the workflow of a Cyber Security Incidence Response (CSIRT) team, including their use of software tools, and instantiated this workflow within a simulation model. Next, data was collected during cyber security training exercises reflecting the use of software tools. It was discovered that while cyber security professionals rely heavily on specialized software tools, their jobs require that they effectively integrate the use of specialized software tools with the use of general- purpose software tools.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1980

Software development tools: A bibliography, appendix C.

A bibliography containing approximately 200 citations on tools which help software developers perform some development task (such as text manipulation, testing, etc.), and which would not necessarily be found as part of a computing facility is given. The bibliography comes from a relatively random sampling of the literature and is not complete. But it is indicative of the nature and range of tools currently being prepared or currently available.

Riddle, W. E.↗
NASA NTRS2021

Online NASA Software Estimating Tools (ONSET): A Suite of Web-Based Cost Analysis Tools

This paper provides an overview of ONSET theOnline NASA Software Estimating Tools suite of web-basedcosts analysis tools. ONSET is comprised of the AnalogySoftware Cost Tool (ASCoT) [1], and the CubeSat Or MicrosatProbabilistic and Analogies Cost Tool (COMPACT) [2]. TheOnline NASA Space Estimation Tool (ONSET) has beendeveloped to provide a standardized platform for hosting webbasedNASA cost estimation tools on NASA ONCE (OneNASA Cost Engineering). It evolved from the BETA version ofASCoT (The NASA Analogy Software Cost Tool) which wasreleased in 2017 and was presented at the 2017 IEEEAerospace Conference. This first release of ONSET contains anew version of ASCoT as well as the first official release ofCOMPACT (CubeSat Or Microsat Probabilistic + AnalogiesCost Tool). In this paper we will provide an overview ofONSET, all its features and a high-level summary of bothASCoT and COMPACT. The heart of both tools arealgorithms for analogy-based estimation based on system levelinputs.

Johnson, James↗