Search NASA⌕ Search

SEARCH · Search NASA

Results for “automated monitoring”

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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
NASA NTRS2022

Integrating FRET with Copilot: Automated Translation of Natural Language Requirements to Runtime Monitors

Runtime verification (RV) enables monitoring systems at runtime, to detect property violations early and limit their potential consequences. To provide the level of assurance required for ultra-critical systems, monitor specifications must faithfully reflect the original mission requirements, which are often written in ambiguous natural language. This paper presents an end-to-end framework to capture requirements in structured natural language and generate monitors that capture their semantics faithfully. We leverage NASA’s Formal Requirement Elicitation Tool (FRET), and the RV system Copilot. We extend FRET with mechanisms to capture additional information needed to generate monitors, and introduce OGMA, a new tool to bridge the gap between FRET and Copilot. With this framework, users can write requirements in an intuitive format and obtain real-time C monitors suitable for use in embedded systems. Our tool chain is available as open source.

FRET↗
NASA NTRS2001

Examination of Automation-Induced Complacency and Individual Difference Variates

Automation-induced complacency has been documented as a cause or contributing factor in many airplane accidents throughout the last two decades. It is surmised that the condition results when a crew is working in highly reliable automated environments in which they serve as supervisory controllers monitoring system states for occasional automation failures. Although many reports have discussed the dangers of complacency, little empirical research has been produced to substantiate its harmful effects on performance as well as what factors produce complacency. There have been some suggestions, however, that individual characteristics could serve as possible predictors of performance in automated systems. The present study examined relationship between the individual differences of complacency potential, boredom proneness, and cognitive failure, automation-induced complacency. Workload and boredom scores were also collected and analyzed in relation to the three individual differences. The results of the study demonstrated that there are personality individual differences that are related to whether an individual will succumb to automation-induced complacency. Theoretical and practical implications are discussed.

Prinzel, Lawrence J., III↗
NASA NTRS2009

Airborne Tactical Intent-Based Conflict Resolution Capability

Trajectory-based operations with self-separation involve the aircraft taking the primary role in the management of its own trajectory in the presence of other traffic. In this role, the flight crew assumes the responsibility for ensuring that the aircraft remains separated from all other aircraft by at least a minimum separation standard. These operations are enabled by cooperative airborne surveillance and by airborne automation systems that provide essential monitoring and decision support functions for the flight crew. An airborne automation system developed and used by NASA for research investigations of required functionality is the Autonomous Operations Planner. It supports the flight crew in managing their trajectory when responsible for self-separation by providing monitoring and decision support functions for both strategic and tactical flight modes. The paper focuses on the latter of these modes by describing a capability for tactical intent-based conflict resolution and its role in a comprehensive suite of automation functions supporting trajectory-based operations with self-separation.

Wing, David J.↗
NASA NTRS1971

Assessment of the Impact of the California Water Project in Southern California

As the California State Water Project progresses and enters operation, it is suggested that changes in land use which may be monitored and anlayzed by remote sensing techniques will follow suite. Progress in each of these areas of research and automated mapping techniques to monitor these changes is presented for two specific regions: (1) the Perris Valley surrounding the future Lake Perris; and (2) the Sheep Creek Fan-Mirage Basin area of the Mojave Desert.

Bowden, L. W.↗
NASA NTRS1986

Satellite battery testing status

Because of the large numbers of satellite cells currently being tested and anticipated at the Naval Weapons Support Center (NAVWPNSUPPCEN) Crane, Indiana, satellite cell testing is being integrated into the Battery Test Automation Project (BTAP). The BTAP, designed to meet the growing needs for battery testing at the NAVWPNSUPPCEN Crane, will consist of several Automated Test Stations (ATSs) which monitor batteries under test. Each ATS will interface with an Automation Network Controller (ANC) which will collect test data for reduction.

Haag, R.↗
NASA NTRS1981

ATC contingency operations in the en-route flight regime

Air traffic control (ATC) operations were examined to learn what factors of controller performance should be given consideration in the design and development of future automation systems enhancing ATC. Contingencies were of two types: those constraining airspace usage or traffic flow (i.e., weather); and those related to system and equipment usage (i.e., radar/radio status). Examination of controller response to contingencies and workload pressures showed differing effects on controller allocations of effort among the three primary function of planning, monitoring, and informaton transfer. Automation advancements oriented towards aiding the controller in performing monitoring tasks may offer the most substantial safety benefit.

Lyman, E. G.↗
NASA NTRS2016

Autonomous Operations System: Development and Application

Autonomous control systems provides the ability of self-governance beyond the conventional control system. As the complexity of mechanical and electrical systems increases, there develops a natural drive for developing robust control systems to manage complicated operations. By closing the bridge between conventional automated systems to knowledge based self-awareness systems, nominal control of operations can evolve into relying on safe critical mitigation processes to support any off-nominal behavior. Current research and development efforts lead by the Autonomous Propellant Loading (APL) group at NASA Kennedy Space Center aims to improve cryogenic propellant transfer operations by developing an automated control and health monitoring system. As an integrated systems, the center aims to produce an Autonomous Operations System (AOS) capable of integrating health management operations with automated control to produce a fully autonomous system.

Autonomous Control Systems↗
NASA NTRS1999

Monitoring and Modeling Astronaut Occupational Radiation Exposures in Space: Recent Advances

In 1982 astronauts were declared to be radiation workers by OSHA, and as such were subject to the rules and regulations applied to that group. NASA was already aware that space radiation was a hazard to crewmembers and had been studying and monitoring astronaut doses since 1962 at the Johnson Space Center. It was quickly realized NASA would not be able to accomplish all of its goals if the astronauts were subject to the ground based radiation worker limits, and thus received a waiver from OSHA to establish independent limits. As part of the stipulation attached to setting new limits, OSHA included a requirement to perform preflight dose projections for each crew and inform them of the associated risks. Additional requirements included measuring doses from various sources during the flight, making every effort to prevent a crewmember from exceeding the new limits, and keeping all exposures As Low As Reasonably Achievable (a.k.a. ALARA - a common health physics principle). The assembly of the International Space Station (ISS) and its initial manned operations will coincide with the 4-5 year period of high space weather activity at the next maximum in the solar cycle. For the first time in NASA's manned program, US astronauts will be in orbit continuously throughout a solar maximum period. During this period, crews are at risk of significantly increased radiation exposures due to solar particle events and trapped electron belt enhancements following geomagnetic storms. The problem of protecting crews is compounded by the difficulty of providing continuous real-time monitoring over a period of a decade in an era of tightly constrained budgets. In order to prepare for ISS radiological support needs, the NASA Space Radiation Analysis Group and the NOAA Space Environment Center have undertaken a multiyear effort to improve and automate ground-based space weather monitoring systems and real-time radiation analysis tools. These improvements include a coupled, automated space weather monitoring and alarm system--SPE exposure analysis system, an advanced space weather data distribution and display system, and a high-fidelity space weather simulation system. In addition, significant new real-time space weather data sets, which will enhance the forecasting and now-casting of near-Earth space environment conditions, are being made available through unique NASA-NOAA-USAF collaborations. These new data sets include coronal mass ejection monitoring by the Solar and Heliospheric Observatory (SOHO) and in-situ plasma and particle monitoring at the L1 libration point by the Solar Wind Monitor (SWIM) and Advanced Composition Explorer (ACE) spacecraft. Advanced real-time radiation monitoring data from charged particle telescopes and tissue equivalent proportional counters will also be available to assist crew and flight controllers in monitoring the external and intravehicular radiation environment.

Weyland, Mark↗
NASA NTRS1994

Application of Self Nulling Eddy Current Probe Technique to the Detection of Fatigue Crack Initiation and Control of Test Procedures

A major part of fracture mechanics is concerned with studying the initiation and propagation of fatigue cracks. This typically requires constant monitoring of crack growth during fatigue cycles and the knowledge of the precise location of the crack tip at any given time. One technique currently available for measuring fatigue crack length is the Potential Drop method. The method, however, may be inaccurate if the direction of crack growth deviates considerably from what was assumed initially or the curvature of the crack becomes significant. Another popular approach is to optically view the crack using a high magnification microscope, but this entails a person constantly monitoring it. The present proposed technique uses an automated scheme, in order to eliminate the need for a person to constantly monitor the experiment. Another technique under development elsewhere is to digitize an optical image of the test specimen surface and then apply a pattern recognition algorithm to locate the crack tip. A previous publication showed that the self nulling eddy current probe successfully tracked a simulated crack in an aluminum sample. This was the impetus to develop an online real time crack monitoring system. An automated system has been developed which includes a two axis scanner mounted on the tensile testing machine, the probe and its instrumentation and a personal computer (PC) to communicate and control all the parameters. The system software controls the testing parameters as well as monitoring the fatigue crack as it propagates. This paper will discuss the experimental setup in detail and demonstrate its capabilities. A three dimensional finite element model is utilized to model the magnetic field distribution due to the probe and how the probe voltage changes as it scans the crack. Experimental data of the probe for different samples under zero load, static load and high cycle fatigue load will be discussed. The final section summarizes the major accomplishments of the present work, the elements of the future R&D needs and the advantages and disadvantages of using this system in the laboratory and field.

Namkung, M.↗
NASA NTRS2011

Optical Sensors for Monitoring Gamma and Neutron Radiation

For safety and efficiency, nuclear reactors must be carefully monitored to provide feedback that enables the fission rate to be held at a constant target level via adjustments in the position of neutron-absorbing rods and moderating coolant flow rates. For automated reactor control, the monitoring system should provide calibrated analog or digital output. The sensors must survive and produce reliable output with minimal drift for at least one to two years, for replacement only during refueling. Small sensor size is preferred to enable more sensors to be placed in the core for more detailed characterization of the local fission rate and fuel consumption, since local deviations from the norm tend to amplify themselves. Currently, reactors are monitored by local power range meters (LPRMs) based on the neutron flux or gamma thermometers based on the gamma flux. LPRMs tend to be bulky, while gamma thermometers are subject to unwanted drift. Both electronic reactor sensors are plagued by electrical noise induced by ionizing radiation near the reactor core. A fiber optic sensor system was developed that is capable of tracking thermal neutron fluence and gamma flux in order to monitor nuclear reactor fission rates. The system provides near-real-time feedback from small- profile probes that are not sensitive to electromagnetic noise. The key novel feature is the practical design of fiber optic radiation sensors. The use of an actinoid element to monitor neutron flux in fiber optic EFPI (extrinsic Fabry-Perot interferometric) sensors is a new use of material. The materials and structure used in the sensor construction can be adjusted to result in a sensor that is sensitive to just thermal, gamma, or neutron stimulus, or any combination of the three. The tested design showed low sensitivity to thermal and gamma stimuli and high sensitivity to neutrons, with a fast response time.

Boyd, Clark D.↗
NASA NTRS2001

Cockpit Adaptive Automation and Pilot Performance

The introduction of high-level automated systems in the aircraft cockpit has provided several benefits, e.g., new capabilities, enhanced operational efficiency, and reduced crew workload. At the same time, conventional 'static' automation has sometimes degraded human operator monitoring performance, increased workload, and reduced situation awareness. Adaptive automation represents an alternative to static automation. In this approach, task allocation between human operators and computer systems is flexible and context-dependent rather than static. Adaptive automation, or adaptive task allocation, is thought to provide for regulation of operator workload and performance, while preserving the benefits of static automation. In previous research we have reported beneficial effects of adaptive automation on the performance of both pilots and non-pilots of flight-related tasks. For adaptive systems to be viable, however, such benefits need to be examined jointly in the context of a single set of tasks. The studies carried out under this project evaluated a systematic method for combining different forms of adaptive automation. A model for effective combination of different forms of adaptive automation, based on matching adaptation to operator workload was proposed and tested. The model was evaluated in studies using IFR-rated pilots flying a general-aviation simulator. Performance, subjective, and physiological (heart rate variability, eye scan-paths) measures of workload were recorded. The studies compared workload-based adaptation to to non-adaptive control conditions and found evidence for systematic benefits of adaptive automation. The research provides an empirical basis for evaluating the effectiveness of adaptive automation in the cockpit. The results contribute to the development of design principles and guidelines for the implementation of adaptive automation in the cockpit, particularly in general aviation, and in other human-machine systems. Project goals were met or exceeded. The results of the research extended knowledge of automation-related performance decrements in pilots and demonstrated the positive effects of adaptive task allocation. In addition, several practical implications for cockpit automation design were drawn from the research conducted. A total of 12 articles deriving from the project were published.

Parasuraman, Raja↗
NASA NTRS1998

Automated pH Control of Nutrient Solution in a Hydroponic Plant Growth System

Over, the years, NASA has played an important role in providing to and the development of automated nutrient delivery and monitoring, systems for growing crops hydroponically for long term space missions. One example are the systems used in the Biomass Production Chamber (BPC) at Kennedy Space Center (KSC). The current KSC monitoring system is based on an engineering workstation using standard analog/digital input/output hardware and custom written software. The monitoring system uses completely separate sensors to provide a check of control sensor accuracy and has the ability to graphically display and store data form past experiment so that they are available for data analysis [Fortson, 1992]. In many cases, growing systems have not been fitted with the kind of automated control systems as used at KSC. The Center for Food and Environmental Systems for Human Exploration of Space (CFESH) located on the campus of Tuskegee University, has effectively grown sweetpotatoes and peanuts hydroponically for the past five years. However they have adjusted the pH electrical conductivity and volume of the hydroponic nutrient solution only manually at times when the solution was to be replenished or changed out according to its protocol (e.g. one-week, two-week, or two-day cycle). But the pH of the nutrient solution flowing through the channel is neither known nor controlled between the update, change out, or replenishment period. Thus, the pH of the nutrient solution is not held at an optimum level over the span of the plant's growth cycle. To solve this dilemma, an automated system for the control and data logging of pH data relative to sweetpotato production using the nutrient film technique (NFT) has been developed, This paper discusses a microprocessor-based system, which was designed to monitor, control, and record the pH of a nutrient solution used for growing sweetpotatoes using NFT.

Smith, B.↗
NASA NTRS1998

Feasibility Investigation on the Development of a Structural Damage Diagnostic and Monitoring System for Rocket Engines

The research activity for this project is mainly to investigate the necessity and feasibility to develop a structural health monitoring system for rocket engines, and to carry out a research plan for further development of the system. More than one hundred technical papers have been searched and reviewed during the period. We concluded after this investigation that adding a new module in NASA's existing automated diagnostic system to monitor the healthy condition of rocket engine structures is a crucial task, and it's possible to develop such a system based upon the vibrational-based nondestructive damage assessment techniques. A number of such techniques have been introduced. Their advantages and disadvantages are also discussed. A global research plan has been figured out. As the first step of the overall research plan, a proposal for the next fiscal year has been submitted.

Shen, Ji Y.↗
NASA NTRS2008

Automated Power Assessment for Helicopter Turboshaft Engines

An accurate indication of available power is required for helicopter mission planning purposes. Available power is currently estimated on U.S. Army Blackhawk helicopters by performing a Maximum Power Check (MPC), a manual procedure performed by maintenance pilots on a periodic basis. The MPC establishes Engine Torque Factor (ETF), an indication of available power. It is desirable to replace the current manual MPC procedure with an automated approach that will enable continuous real-time assessment of available power utilizing normal mission data. This report presents an automated power assessment approach which processes data currently collected within helicopter Health and Usage Monitoring System (HUMS) units. The overall approach consists of: 1) a steady-state data filter which identifies and extracts steady-state operating points within HUMS data sets; 2) engine performance curve trend monitoring and updating; and 3) automated ETF calculation. The algorithm is coded in MATLAB (The MathWorks, Inc.) and currently runs on a PC. Results from the application of this technique to HUMS mission data collected from UH-60L aircraft equipped with T700-GE-701C engines are presented and compared to manually calculated ETF values. Potential future enhancements are discussed.

Simon, Donald L.↗
NASA NTRS2012

Optimized Temporal Monitors for SystemC

SystemC is a modeling language built as an extension of C++. Its growing popularity and the increasing complexity of designs have motivated research efforts aimed at the verification of SystemC models using assertion-based verification (ABV), where the designer asserts properties that capture the design intent in a formal language such as PSL or SVA. The model then can be verified against the properties using runtime or formal verification techniques. In this paper we focus on automated generation of runtime monitors from temporal properties. Our focus is on minimizing runtime overhead, rather than monitor size or monitor-generation time. We identify four issues in monitor generation: state minimization, alphabet representation, alphabet minimization, and monitor encoding. We conduct extensive experimentation and identify a combination of settings that offers the best performance in terms of runtime overhead.

Tabakov, Deian↗
NASA NTRS2019

Cost Controls in the Cloud

The pay-as-you-go model used by most Cloud Service Providers shifts ownership of resource procurement from finance and management teams to IT, engineering, development and other stakeholders. This requires individual contributors to adopt a more "cost conscious" approach to development, and for projects to invest time into the creation of automated cost controls and cost-focused monitoring. This talk will presents some patterns and examples of cost controls based on our experience managing a multi-tenant cloud environment.

circuit breaker↗