Hardening DOE R&D Software Tools for Web-Based Visualization SBIR Phase II
Explore the source record for details and available documents.
Geveci, Berk↗
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.
Proceedings of the Seventh Annual Software Engineering Workshop
The Software Engineering Laboratory, software tools, software errors and cost estimation are addressed.
Source record↗
Annotated bibliography of software engineering laboratory literature
An annotated bibliography of technical papers, documents, and memorandums produced by or related to the Software Engineering Laboratory is given. More than 100 publications are summarized. These publications cover many areas of software engineering and range from research reports to software documentation. This document has been updated and reorganized substantially since the original version (SEL-82-006, November 1982). All materials have been grouped into eight general subject areas for easy reference: the Software Engineering Laboratory; the Software Engineering Laboratory-software development documents; software tools; software models; software measurement; technology evaluations; Ada technology; and data collection. Subject and author indexes further classify these documents by specific topic and individual author.
Groves, Paula↗
Computing Large-Angle Transients In Structures
LATDYN is computer code for calculating large-angle transient dynamics of flexible articulating structures and mechanisms including joints about which members rotate through large angles. Extends and brings together some of aspects of finite-element analysis of structures, dynamics of multiple bodies, and analysis of control systems. Combines significant portions of their distinct capabilities into one analysis software tool. Software consists of three FORTRAN computer programs: LATDYN program, Preprocessor, and Postprocessor. Written in FORTRAN 77.
Housner, Jerrold M.↗
Annotated bibliography of Software Engineering Laboratory literature
An annotated bibliography of technical papers, documents, and memorandums produced by or related to the Software Engineering Laboratory is given. More than 100 publications are summarized. These publications cover many areas of software engineering and range from research reports to software documentation. All materials have been grouped into eight general subject areas for easy reference: The Software Engineering Laboratory; The Software Engineering Laboratory: Software Development Documents; Software Tools; Software Models; Software Measurement; Technology Evaluations; Ada Technology; and Data Collection. Subject and author indexes further classify these documents by specific topic and individual author.
Morusiewicz, Linda↗
Annotated bibliography of Software Engineering Laboratory literature
This document is an annotated bibliography of technical papers, documents, and memorandums produced by or related to the Software Engineering Laboratory. Nearly 200 publications are summarized. These publications cover many areas of software engineering and range from research reports to software documentation. This document has been updated and reorganized substantially since the original version (SEL-82-006, November 1982). All materials have been grouped into eight general subject areas for easy reference: the Software Engineering Laboratory; the Software Engineering Laboratory: software development documents; software tools; software models; software measurement; technology evaluations; Ada technology; and data collection. This document contains an index of these publications classified by individual author.
Morusiewicz, Linda↗
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↗
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.↗
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↗
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↗
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↗
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↗
Establishing a Framework and Testbed for Evaluating and Infusing Software Assurance Tools
No abstract available
tool evaluation↗
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↗
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↗
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↗
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↗
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.↗