Search NASA⌕ Search

SEARCH · Search NASA

Results for “software automation”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
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↗
NASA NTRS1988

Automated software development workstation

A workstation is being developed that provides a computational environment for all NASA engineers across application boundaries, which automates reuse of existing NASA software and designs, and efficiently and effectively allows new programs and/or designs to be developed, catalogued, and reused. The generic workstation is made domain specific by specialization of the user interface, capturing engineering design expertise for the domain, and by constructing/using a library of pertinent information. The incorporation of software reusability principles and expert system technology into this workstation provide the obvious benefits of increased productivity, improved software use and design reliability, and enhanced engineering quality by bringing engineering to higher levels of abstraction based on a well tested and classified library.

Prouty, Dale A.↗
DOE OSTI2022

Pit depth analysis using automated software for three containers with complete imaging

The 3013 surveillance program is tasked with ensuring the long term safety of plutonium storage in 3013-compliant containers. One component of this task is to understand corrosion features found on the interior sidewall of the inner container closure weld region (ICCWR). To this end, three containers were selected to have laser confocal microscope (LCM) 20X imaging of the entire ICCWR. This report describes the analysis of the LCM pit depth data using the automated corrosion analysis software. The analysis included determining maximum pit depths and distributions of pit depths, volumes, and diameters for all pit features identified on the three containers. Results provided insight into possible corrosion mechanisms and were consistent with previous pit growth model predictions.

36 MATERIALS SCIENCE↗
DOE OSTI2016

Development of an Automated Software Reliability Tester for Digital I and C

Existing nuclear facilities are in the process of upgrading analog systems to new, software- based digital components; however, the qualification of these new systems has been a significant hurdle for their implementation in the United States. This paper describes the development of a Software Reliability Tester (SRT) that will provide a means to quantify the reliability and fault tolerance of digital instrumentation and control (I and C) systems used in nuclear facilities. The SRT is comprised of hardware and software that exercise digital equipment inputs and compare the outputs to expected values to quantify system reliability. Incorporation of fault injection techniques enables the SRT to evaluate the robustness of digital I and C in the presence of abnormal conditions. The integration of both quantitative reliability and fault tolerance measures will provide the nuclear industry with an automated and systematic approach to digital I and C qualification. This will enable safer, more reliable, and more cost effective implementations of a broad spectrum of digital I and C equipment in existing and next generation nuclear facilities. This paper includes a description of the design of the SRT, including software modules and the hardware interface. In addition, an example of using the SRT to automate functional testing of a digital timer relay is presented. The SRT described in this paper provides a means to conduct efficient and robust testing for a variety of digital devices. Future plans for the SRT include integrating fault injection testing so that devices can be evaluated in the presence of off-normal conditions. (authors)

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
NASA NTRS2004

Abstraction and Assume-Guarantee Reasoning for Automated Software Verification

Compositional verification and abstraction are the key techniques to address the state explosion problem associated with model checking of concurrent software. A promising compositional approach is to prove properties of a system by checking properties of its components in an assume-guarantee style. This article proposes a framework for performing abstraction and assume-guarantee reasoning of concurrent C code in an incremental and fully automated fashion. The framework uses predicate abstraction to extract and refine finite state models of software and it uses an automata learning algorithm to incrementally construct assumptions for the compositional verification of the abstract models. The framework can be instantiated with different assume-guarantee rules. We have implemented our approach in the COMFORT reasoning framework and we show how COMFORT out-performs several previous software model checking approaches when checking safety properties of non-trivial concurrent programs.

Chaki, S.↗
DOE OSTI2014

Development of Automated Software Program for the Analysis of Alzheimer's Disease Scans: Evaluation of PET imaging with PBR-111 in HV and AD subjects

Study goal: A Phase 1 evaluation of the kinetics, clearance and cerebral distribution of one novel peripheral benzodiazepine receptors(PBR)positron emission tomography (PET) imaging agent, 18F-PBR-111 following intravenous administration in healthy volunteers and Alzheimer's disease (AD) patients. Short title: Evaluation of PET imaging with PBR-111 in HV and AD subjects Proof of Mechanism. Primary Objective: To evaluate the cerebral distribution of PBR-111 positron emission tomography (PET) for detection/exclusion of microglial activation in patients with Alzheimer's disease subjects compared to healthy volunteers. Secondary objectives: - To assess the dynamic uptake and washout of [18F]PBR-111, a potential imaging bio-marker for inflammatory changes in brain, using positron emission tomography in subjects with Alzheimer's disease (AD) and healthy volunteers (HV). - To perform blood metabolite characterization of [18F]PBR-111 in subjects with AD and HV to determine the nature of metabolites in assessment of [18F]-PBR-111 as a PET brain imaging agent. Name of radioactive drug substance: PBR-111 Dose(s): The applied PBR-111 radioactive dose will be up to 5.0 mCi, diluted in a maximum of 10 ml of saline. The radioligand will be administered as a slow intravenous bolus injection (i.e., 6 sec/ml) into a large vein (e.g., antecubital vein). Route of administration: Intravenous injection Duration of treatment: Single administration of a diagnostic agent Indication: PBR-111 positron emission tomography (PET) imaging has the potential to detect microglial activation. In the presence of PBR-111 uptake (representative of microglial activation), inflammation in the brain can be detected. Diagnosis and main criteria for inclusion: Study participants will be HVs and patients diagnosed with probable AD. HVs must be 18 years of age (at least four subjects 50 years of age) and have no evidence of cognitive impairment or other neurologic disease by medical history. The lack of cognitive impairment will also be based on a Clinical Dementia Rating (CDR) of 0. Patients with probable AD must be 50 years of age and must fulfill the National Institute of Neurological and Communicative Disorders and Stroke, Alzheimer's Disease and Related Disorders Association [NINCDS-ADRDA] criteria for probable AD. The CDR score must be 1.0 and 2.0 and have a modified Hachinski of 4. All HVs and all patients with probable AD must be able to comply with all study procedures. Study design: This is a Phase 1, open-label, single-center, non-randomized single dose study to assess the kinetics, clearance and cerebral distribution of PBR-111 PET imaging in detecting microglial activation in the brain in patients with probable AD compared to HVs. All aspects related to image acquisition, processing, and visual as well as quantitative evaluation will be developed, optimized, and validated (where required). Each subject will be required to visit the study center during the screening phase and on the PBR-111 PET imaging day (baseline). A telephone follow-up visit will be performed 7 days (± 3 days) after PBR-111 PET administration. At the screening visit, each subject (or caregiver in the case of AD subjects) will be asked to provide written informed consent or assent. During the screening phase (maximum duration of 60 days) subject medical, neurological, and surgical history, clinical assessments, and a neuro-psychiatric evaluation will be performed on all eligible subjects. Subjects will be allowed to leave the center after all evaluations have been completed. During this period an MRI of the brain will be performed during the screening period. If an MRI of the brain has been performed within six months of the imaging visit using the methods described in the protocol, and there has been no medically significant events in the interim, the previous MRI may be used. During the PBR-111 PET imaging day, all subjects will receive a single intravenous injection of PBR-111 and scanning will be performed over a 3.5 hour period. Each subject will have a telephone follow-up 7 days (± 3 days) thereafter to assess for adverse events. Methodology: - Assessments to provide clinical characterization of the AD subjects will be performed. - After administration of PBR-111, images will be generated with state-of-the-art PET imaging. Images will be assessed quantitatively for the presence of microglial activation by a nuclear physician blinded to clinical data. - Total radioactivity and estimation of the fraction of radioactivity associated to the un-metabolized tracer will be determined. In addition, the metabolite patterns of PBR-111 are determined in venous plasma and arterial samples based on high-performance liquid chromatography (HPLC) analyses. - Arterial sampling will be acquired in the initial two AD and two HV subjects and modeling will be assessed to determine if additional arterial sampling is necessary.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1975

Banning design automation software implementation

The research is reported for developing a system of computer programs to aid engineering in the design, fabrication, and testing of large scale integrated circuits, hybrid circuits, and printed circuit boards. The automatic layout programs, analysis programs, and interface programs are discussed.

Kuehlthau, R. L.↗
NASA NTRS1989

Applications of artificial intelligence to space station and automated software techniques: High level robot command language

The objective is to develop a system that will allow a person not necessarily skilled in the art of programming robots to quickly and naturally create the necessary data and commands to enable a robot to perform a desired task. The system will use a menu driven graphical user interface. This interface will allow the user to input data to select objects to be moved. There will be an imbedded expert system to process the knowledge about objects and the robot to determine how they are to be moved. There will be automatic path planning to avoid obstacles in the work space and to create a near optimum path. The system will contain the software to generate the required robot instructions.

Mckee, James W.↗
NASA NTRS1990

Automation software for a materials testing laboratory

The software environment in use at the NASA-Lewis Research Center's High Temperature Fatigue and Structures Laboratory is reviewed. This software environment is aimed at supporting the tasks involved in performing materials behavior research. The features and capabilities of the approach to specifying a materials test include static and dynamic control mode switching, enabling multimode test control; dynamic alteration of the control waveform based upon events occurring in the response variables; precise control over the nature of both command waveform generation and data acquisition; and the nesting of waveform/data acquisition strategies so that material history dependencies may be explored. To eliminate repetitive tasks in the coventional research process, a communications network software system is established which provides file interchange and remote console capabilities.

Mcgaw, Michael A.↗
NASA NTRS1990

Methodology for automating software systems

Applying ITS technology to the shuttle diagnostics would not require the rigor of the Petri Net representation, however it is important in providing the animated simulated portion of the interface and the demands placed on the system to support the training aspects to have a homogeneous and consistent underlying knowledge representation. By keeping the diagnostic rule base, the hardware description, the software description, user profiles, desired behavioral knowledge, and the user interface in the same notation, it is possible to reason about the all of the properties of petri nets, on any selected portion of the simulation. This reasoning provides foundation for utilization of intelligent tutoring systems technology.

Moseley, Warren↗
NASA NTRS1992

Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design

The goal of this workshop is to identify different architectural approaches to building domain-specific software design systems and to explore issues unique to domain-specific (vs. general-purpose) software design. Some general issues that cut across the particular software design domain include: (1) knowledge representation, acquisition, and maintenance; (2) specialized software design techniques; and (3) user interaction and user interface.

Keller, Richard M.↗