Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “small buildings”

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 991 records · Page 55

World Ocean Circulation Experiment (WOCE) Young Investigator Workshops

The World Ocean Circulation Experiment (WOCE) Young Investigator Workshops goals and objectives are: a) to familiarize Young Investigators with WOCE models, datasets and estimation procedures; b) to offer intensive hands-on exposure to these models ard methods; c) to build collaborations among junior scientists and more senior WOCE investigators; and finally, d) to generate ideas and projects leading to fundable WOCE synthesis projects. To achieve these goals and objectives, the Workshop will offer a mixture of tutorial lectures on numerical models and estimation procedures, advanced seminars on current WOCE synthesis activities and related projects, and the opportunity to conduct small projects which put into practice the techniques advanced in the lectures.

Austin, Meg↗

Processing of Space Resources to Enable the Vision for Space Exploration

The NASA human exploration program as directed by the Vision for Exploration (G.W. Bush, Jan. 14,2004) includes developing methods to process materials on the Moon and beyond to enable safe and affordable human exploration. Processing space resources was first popularized (O Neill 1976) as a technically viable, economically feasible means to build city sized habitats and multi GWatt solar power satellites in Earth/Moon space. Although NASA studies found the concepts to be technically reasonable in the post Apollo era (AMES 1979), the front end costs the limits of national or corporate investment. In the last decade analysis of space on has shown it to be economically justifiable even on a relatively small mission or commercial scenario basis. The Mars Reference Mission analysis (JSC 1997) demonstrated that production of return propellant on Mars can enable an order of magnitude decrease in the costs of human Mars missions. Analysis (by M. Duke 2003) shows that production of propellant on the Moon for the Earth based satellite industries can be commercially viable after a human lunar base is established. Similar economic analysis (Rapp 2005) also shows large cost benefits for lunar propellant production for Mars missions and for the use of lunar materials for the production of photovoltaic power (Freundlich 2005). Recent technologies could enable much smaller initial costs, to achieve mass, energy, and life support self sufficiency, than were achievable in the 1970s. If the Exploration Vision program is executed with a front end emphasis on space resources, it could provide a path for human self reliance beyond Earth orbit. This path can lead to an open, non-zero-sum, future for humanity with safer human competition with limitless growth potential. This paper discusses extension of the analysis for space resource utilization, to determine the minimum systems necessary for human self sufficiency and growth off Earth. Such a approach can provide a more compelling and comprehensive path to space resource utilization.

Curreri, Peter A.↗

Anthropogenic Air Pollution Observed Near Dust Source Regions in Northwestern China During Springtime 2008

Trace gases and aerosols were measured in Zhangye (39.082degN, 100.276degE, 1460 m a.s. 1.), a rural site near the Gobi deserts in northwestern China during spring 2008. Primary trace gases (CO:265 ppb; SO2:3.4 ppb; NO(*y): 4.2 ppb; hereafter results given as means of hourly data) in the area were lower than in eastern China, but still indicative of marked anthropogenic emissions. Sizable aerosol mass concentration (153 micro-g/cu m) and light scattering (159/Mm at 500 nm) were largely attributable to dust emissions, and aerosol light absorption (10.3/Mm at 500 nm) was dominated by anthropogenic pollution. Distinct diurnal variations in meteorology and pollution were induced by the local valley terrain. Strong daytime northwest valley wind cleaned out pollution and was replaced by southeast mountain wind that allowed pollutants to build up overnight. In the afternoon, aerosols had single scattering albedo (SSA, 500 mn) of 0.95 and were mainly of supermicron particles, presumably dust, while at night smaller particles and SSA of 0.89-0.91 were related to Pollution. The diverse local emission sources were characterized: the CO/SO2, CO/NO(y), NO(y)/SO2 (by moles), and BC/CO (by mass) ratios for small point sources such as factories were 24.6-54.2, 25.8-35.9, 0.79-1.31, and 4.1-6.1 x 10(exp -3), respectively, compared to the corresponding inventory ratios of 43.7-71.9, 23.7-25.7, 1.84-2.79, and 3.4-4.0 x 10(exp -3) for the industrial sector in the area. The mixing between dust and pollution can be ubiquitous in this region. During a dust storm shown as an example, pollutants were observed to mix with dust, causing discernible changes in both SSA and aerosol size distribution. Further interaction between dust and pollutants during transport may modify the properties of dust particles that are critical for their large-scale impact on radiation, clouds, and global biogeochemical cycles.

Li, Can↗

Simplified Methodology to Estimate the Maximum Liquid Helium (LHe) Cryostat Pressure from a Vacuum Jacket Failure

The aircraft-based Stratospheric Observatory for Infrared Astronomy (SOFIA) is a platform for multiple infrared astronomical observation experiments. These experiments carry sensors cooled to liquid helium temperatures. The liquid helium supply is contained in large (i.e., 10 liters or more) vacuum-insulated dewars. Should the dewar vacuum insulation fail, the inrushing air will condense and freeze on the dewar wall, resulting in a large heat flux on the dewar's contents. The heat flux results in a rise in pressure and the actuation of the dewar pressure relief system. A previous NASA Engineering and Safety Center (NESC) assessment provided recommendations for the wall heat flux that would be expected from a loss of vacuum and detailed an appropriate method to use in calculating the maximum pressure that would occur in a loss of vacuum event. This method involved building a detailed supercritical helium compressible flow thermal/fluid model of the vent stack and exercising the model over the appropriate range of parameters. The experimenters designing science instruments for SOFIA are not experts in compressible supercritical flows and do not generally have access to the thermal/fluid modeling packages that are required to build detailed models of the vent stacks. Therefore, the SOFIA Program engaged the NESC to develop a simplified methodology to estimate the maximum pressure in a liquid helium dewar after the loss of vacuum insulation. The method would allow the university-based science instrument development teams to conservatively determine the cryostat's vent neck sizing during preliminary design of new SOFIA Science Instruments. This report details the development of the simplified method, the method itself, and the limits of its applicability. The simplified methodology provides an estimate of the dewar pressure after a loss of vacuum insulation that can be used for the initial design of the liquid helium dewar vent stacks. However, since it is not an exact tool, final verification of the dewar pressure vessel design requires a complete, detailed real fluid compressible flow model of the vent stack. The wall heat flux resulting from a loss of vacuum insulation increases the dewar pressure, which actuates the pressure relief mechanism and results in high-speed flow through the dewar vent stack. At high pressures, the flow can be choked at the vent stack inlet, at the exit, or at an intermediate transition or restriction. During previous SOFIA analyses, it was observed that there was generally a readily identifiable section of the vent stack that would limit the flow – e.g., a small diameter entrance or an orifice. It was also found that when the supercritical helium was approximated as an ideal gas at the dewar condition, the calculated mass flow rate based on choking at the limiting entrance or transition was less than the mass flow rate calculated using the detailed real fluid model2. Using this lower mass flow rate would yield a conservative prediction of the dewar’s wall heat flux capability. The simplified method of the current work was developed by building on this observation.

Ungar, Eugene K.↗

U.S. Industrial and Commercial Motor System Market Assessment Report Volume 1: Characteristics of the Installed Base

Motor systems are an integral part of our industrial and commercial facilities. They provide the motive force behind the fans, pumps, compressors, chillers, and conveyors in these facilities. Given their centrality to any facility’s operations, they are a critical energy end use to understand, particularly when developing technologies and policies to meet sustainability goals, improve productivity, and enhance resilience. In the late 1990s, the U.S. Department of Energy (DOE) conducted two seminal studies to better understand the installed stock and energy savings opportunities of industrial and commercial motor systems. In the industrial sector, The United States Industrial Electric Motor Systems Market Opportunities Assessment used primary data collected through onsite assessments and led to a greater understanding of the installed base of motor systems, their characteristics, and the opportunities for energy savings (U.S. Department of Energy, 2002). Notable findings included the following: Industrial motor systems consumed 679 billion kilowatt-hours (kWh) in 1994, representing 23 percent of U.S. electricity consumption. Cost-effective energy efficiency measures could result in 62-104 billion kWh of energy savings annually. Sixty-two percent of the energy savings potential was from fan, pump, and compressor end use equipment. Nearly half of motor system electricity consumption was attributable to approximately 3,500 facilities, or 1.5 percent of U.S. manufacturing facilities. Opportunities for Energy Savings in the Residential and Commercial Sectors with High Efficiency Electric Motors provided an evaluation of the installed stock of motor driven equipment in U.S. commercial and residential buildings and opportunities for utilization of high efficiency motors and variable speed technologies (Arthur D. Little, 1999). Notable findings included the following: Commercial motor systems consumed 343 billion kWh in 1995, with refrigeration and space conditioning constituting 93 percent of the total. Cost-effective energy efficiency measures could result in 51 billion kWh of energy savings annually. Due in no small part to these seminal studies, motor system technologies and usage characteristics have changed drastically since the late 1990s. Greater awareness of cost-effective strategies for reducing motor system electricity consumption have been developed and deployed. This includes several software tools, literature, and utility and government programs promoting energy efficiency improvements in motor driven systems. Additionally, several rounds of energy efficiency standards have been enacted, resulting in improved installed motor efficiency. The cost of variable speed drives has dropped substantially, and combined with utility rebate programs, has led to their greater adoption. Further, since these results were published, the U.S. manufacturing sector has undergone a massive transformation. Due to global competition, some sectors have relocated operations overseas. Others have brought operations onshore to avail low cost and abundant natural gas. Additionally, automation and robotics have pervaded the entire sector. Consequently, these two reports likely do not represent the current state of motor driven systems in U.S. industrial and commercial facilities. As cited in recent studies, the lack of current information on motor system electricity consumption and use characteristics limits the ability to conduct analysis on energy savings potential, develop technologies to address energy and productivity gaps, and develop programs to promote energy efficiency practices and technologies for motor systems (International Energy Agency, 2007; UNIDO, 2010; McKane and Hasanbeigi, 2011; Waide and Brunner, 2011). Specifically, the lack of information affects a range of stakeholders: Governments must rely on outdated information when setting research agendas, developing policies, and designing energy efficiency programs and offerings. Utilities and energy efficiency programs cannot identify the current market needs or potential impact when designing rebate and energy efficiency programs. Electric grid planners cannot identify motor system usage characteristics when developing plans to support the resilience of the electric grid. Manufacturers of motors, motor driven equipment, and drives are hampered when developing technologies to meet the needs of their market. Motor system end users are limited in their ability to identify energy saving opportunities within their own facilities because they do not have reliable benchmark information. In response to the lack of current information and analysis on industrial and commercial motor systems, the DOE initiated an update to these two studies. Launched in 2016 and led by Lawrence Berkeley National Laboratory (LBNL), the Motor System Market Assessment (MSMA) provides an updated, more comprehensive assessment of the installed stock of motor systems in both the industrial and commercial sectors, a review of the supply chains supporting motor and drives in the U.S., and the performance improvement opportunity available from using best available technologies and maintenance and operation practices. The outcomes of the MSMA are documented in three U.S. Industrial and Commercial Motor System Market Assessment reports, with this report being the first listed: 1. Volume 1: Characteristics of the Installed Base (this report) documents the findings on the installed base of motor systems in the U.S. industrial and commercial sectors. Quantification of energy savings potential is not documented in this report but in Volume 3. 2. Volume 2: Motors and Drives Supply Chain Review reviews the state of supply chains for motors and drives installed in U.S. industrial and commercial facilities, focusing on advanced motor and drive technologies and their constituent materials. 3. Volume 3: Energy Savings Opportunity analyzes the energy performance improvement opportunity for the installed base of U.S. industrial and commercial motor systems. This report has been prepared as a reference for motor system stakeholders. It provides factual information as could be best determined by the assessment results and avoids speculating on any findings.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Development of In-Situ Chlorine Generator for Metal Purification (End of Contract Report)

It has been demonstrated that rare-earth and actinide metals can be purified via conversion to chlorides and heating to volatilize impurities. To this end, BYU has been working towards designing, building, and testing a system that incorporates the chlorine gas generation method into the chloride volatility process. The efforts made towards the project tasks listed in the Statement of Work are addressed in the following sections. Finally, a report on information related to this project that has been published or presented is addressed. By the end of the contract period, small-scale tests using LaCl 3 -CaCl 2 to generate Cl 2 had been conducted, the produced Cl 2 was successfully reacted with Ce foil to create CeCl 3 , initial designs for the large-scale apparatus were completed, and manufacturing for the large-scale apparatus had begun.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Social and Economic Impact of Solar Electricity at Schuchuli Village

Schuchuli, a small remote village on the Papago Indian Reservation in southwest Arizona, is 27 kilometers (17 miles) from the nearest available utility power. Its lack of conventional power is due to the prohibitive cost of supplying a small electrical load with a long-distance distribution line. Furthermore, alternate energy sources are expensive and place a burden on the resources of the villagers. On December 16, 1978, as part of a federally funded project, a solar cell power system was put into operation at Schuchuli. The system powers the village water pump, lighting for homes and other village buildings, family refrigerators and a communal washing machine and sewing machine.

Bifano, W. J.↗

User interface enhancement report

The existing user interfaces to TEMPUS, Plaid, and other systems in the OSDS are fundamentally based on only two modes of communication: alphanumeric commands or data input and grapical interaction. The latter are especially suited to the types of interaction necessary for creating workstation objects with BUILD and with performing body positioning in TEMPUS. Looking toward the future application of TEMPUS, however, the long-term goals of OSDS will include the analysis of extensive tasks in space involving one or more individuals working in concert over a period of time. In this context, the TEMPUS body positioning capability, though extremely useful in creating and validating a small number of particular body positions, will become somewhat tedious to use. The macro facility helps somewhat, since frequently used positions may be easily applied by executing a stored macro. The difference between body positioning and task execution, though subtle, is important. In the case of task execution, the important information at the user's level is what actions are to be performed rather than how the actions are performed. Viewed slightly differently, the what is constant over a set of individuals though the how may vary.

Badler, N. I.↗

Aircraft Electric Propulsion Systems Applied Research at NASA

Researchers at NASA are investigating the potential for electric propulsion systems to revolutionize the design of aircraft from the small-scale general aviation sector to commuter and transport-class vehicles. Electric propulsion provides new degrees of design freedom that may enable opportunities for tightly coupled design and optimization of the propulsion system with the aircraft structure and control systems. This could lead to extraordinary reductions in ownership and operating costs, greenhouse gas emissions, and noise annoyance levels. We are building testbeds, high-fidelity aircraft simulations, and the first highly distributed electric inhabited flight test vehicle to begin to explore these opportunities.

Clarke, Sean↗

Aircraft Electric Propulsion Systems Applied Research at NASA

Researchers at NASA are investigating the potential for electric propulsion systems to revolutionize the design of aircraft from the small-scale general aviation sector to commuter and transport-class vehicles. Electric propulsion provides new degrees of design freedom that may enable opportunities for tightly coupled design and optimization of the propulsion system with the aircraft structure and control systems. This could lead to extraordinary reductions in ownership and operating costs, greenhouse gas emissions, and noise annoyance levels. We are building testbeds, high-fidelity aircraft simulations, and the first highly distributed electric inhabited flight test vehicle to begin to explore these opportunities.

Clarke, Sean↗

Automated Fiber Placement of Composite Wind Tunnel Blades: Process Planning and Manufacturing

The ability to accurately manufacture large complex shapes in a consistent and repeatable manner has led to Automated Fiber Placement (AFP) being the predominant mode of manufacturing for large composite aerospace structures today. Currently, AFP is being considered for medium- and small-scale parts. Composite wind tunnel blades have traditionally been fabricated by hand layup for pre-impregnated or dry fabrics with resin infusion. Though well proven, the traditional fabrication method is laborious and tedious, and hence expensive. The project described in this paper used the Integral Structural Assembly of Advanced Composites (ISAAC) facility at the NASA Langley Research Center to build a manufacturing demonstration unit (MDU) with a shape representative of a wind tunnel blade. This MDU is used to discuss tooling, process planning, and fabrication. Additionally, details of the generic manufacturing workflow are presented.

Harik, Ramy↗

SLS Integrated Modal Test Uncertainty Quantification using the Hybrid Parametric Variation Method

Uncertainty in structural loading during launch is a significant concern in the development of spacecraft and launch vehicles. Small variations in launch vehicle and payload mode shapes and their interaction can result in significant variation in system loads. In many cases involving large aerospace systems it is difficult, not economical, or impossible to perform a system modal test. However, it is still vital to obtain test results that can be compared with analytical predictions to validate models. Instead, the “Building Block Approach” is used in which system components are tested individually. Component models are correlated and updated to agree as best they can with test results. The Space Launch System consists of a number of components that are assembled into a launch vehicle. Finite element models of the components are developed, reduced to Hurty/Craig-Bampton models and assembled to represent different phases of flight. The only opportunity to obtain modal test data from an assembled Space Launch System will be during the Integrated Modal Test. There is always uncertainty in every model, which flows into uncertainty in predicted system results. Uncertainty Quantification is used to determine statistical bounds on prediction accuracy based on model uncertainty. For the Space Launch System, model uncertainty is at the Hurty/Craig-Bampton component level. Uncertainty in the Hurty/Craig-Bampton components is quantified using the hybrid parametric variation approach that combines parametric and nonparametric uncertainty. Uncertainty in model form is one of the biggest contributors to uncertainty in complex built-up structures. This type of uncertainty cannot be represented by variations infinite element model input parameters and thus cannot be included in a parametric approach. However, model-form uncertainty can be modeled using a nonparametric approach based on random matrix theory. The hybrid parametric variation method requires the selection of dispersion values for the Hurty/Craig-Bampton fixed-interface eigenvalues, and the Hurty/Craig-Bampton stiffness matrices. Component test/analysis frequency error is used to identify the fixed-interface eigenvalue dispersions, while test/analysis cross-orthogonality is used to identify stiffness dispersion values. The hybrid parametric variation uncertainty quantification approach is applied to the Space Launch System Integrated Modal Test configuration. Monte Carlo analysis is performed, and statistics are determined for modal correlation metrics, frequency response from Integrated Modal Test shakers to selected accelerometers, as well as other metrics for determining how well target modes are excited and identified. If the predicted uncertainty envelopes future Integrated Modal Test results, then there will be increased confidence in the utility of the component-based hybrid parametric variation uncertainty quantification approach.

Uncertainty Quantification↗

Statistical Learning for Nonlinear Model Reduction from Local Simulations of Stochastic and Particle- and Agent-Based Systems

Stochastic physical systems across the sciences that have very high-dimensional state spaces, with a large number of fast degrees of freedom that force direct simulators to proceed by integration steps that are orders of magnitude smaller than events of interests (e.g., particle collisions). Examples range from molecular motion to dynamics of large populations of cells. A grand challenge in the simulation and understanding of such systems is the systematic construction of accurate, interpretable, reduced models, enabling faster simulations, revealing fundamental properties of the dynamics, and predicting phenomena of interest that the original simulator could not reached with sufficient accuracy or within a given computational budget. In this projected we developed novel statistical estimation/machine learning techniques for analyzing and building empirical reduced models for important families of high-dimensional stochastic systems, in particular: - we developed techniques for estimating interaction kernels in interacting particle- and agent-based systems, which are ubiquitous in Physics, Biology and many other sciences, given observed trajectories of the system; - we developed techniques for nonlinear model reduction for high-dimensional stochastic systems that have a small number of unknown, nonlinear slow variables, and a large number of fast modes, that are possibly of large magnitude, given observed short trajectories of the system in the form of bursts of trajectories from different initial conditions; - we developed novel techniques for estimating linear dynamical systems on graphs when both the dynamics and the underlying graph are unknown, and we have a sparse set of space-time observations; - we considered the problem of estimating an unknown nonlinear observation function of a standard process (e.g. Brownian motion), so that we can recognized if an observed dynamics is "just" a nonlinear version of a known dynamics; we also developed benchmarks for learning algorithms aimed at learning and classifying diffusion processes.

97 MATHEMATICS AND COMPUTING↗

Stabilization of gaze during circular locomotion in light. I. Compensatory head and eye nystagmus in the running monkey

1. A rhesus and cynomolgus monkey were trained to run around the perimeter of a circular platform in light. We call this "circular locomotion" because forward motion had an angular component. Head and body velocity in space were recorded with angular rate sensors and eye movements with electrooculography (EOG). From these measurements we derived signals related to the angular velocity of the eyes in the head (Eh), of the head on the body (Hb), of gaze on the body (Gb), of the body in space (Bs), of gaze in space (Gs), and of the gain of gaze (Gb/Bs). 2. The monkeys had continuous compensatory nystagmus of the head and eyes while running, which stabilized Gs during the slow phases. The eyes established and maintained compensatory gaze velocities at the beginning and end of the slow phases. The head contributed to gaze velocity during the middle of the slow phases. Slow phase Gb was as high as 250 degrees/s, and targets were fixed for gaze angles as large as 90-140 degrees. 3. Properties of the visual surround affected both the gain and strategy of gaze compensation in the one monkey tested. Gains of Eh ranged from 0.3 to 1.1 during compensatory gaze nystagmus. Gains of Hb varied around 0.3 (0.2-0.7), building to a maximum as Eh dropped while running past sectors of interest. Consistent with predictions, gaze gains varied from below to above unity, when translational and angular body movements with regard to the target were in opposite or the same directions, respectively. 4. Gaze moved in saccadic shifts in the direction of running during quick phases. Most head quick phases were small, and at times the head only paused during an eye quick phase. Eye quick phases were larger, ranging up to 60 degrees. This is larger than quick phases during passive rotation or saccades made with the head fixed. 5. These data indicate that head and eye nystagmus are natural phenomena that support gaze compensation during locomotion. Despite differential utilization of the head and eyes in various conditions, Gb compensated for Bs. There are various frames of reference in which an estimate of angular velocity that drives the head and eyes could be based. We infer that body in space velocity (Bs) is likely to be represented centrally to provide this signal.

Non-NASA Center↗

Microwave Sinterator Freeform Additive Construction System (MS-FACS)

The harmful properties of lunar dust, such as small size, glass composition, abnormal surface area, and coatings of imbedded nanophase iron, lead to a unique coupling of the dust with microwave radiation. This coupling can be exploited for rapid sintering of lunar soil for use as a construction material that can be formed to take on an infinite number of shapes and sizes. This work describes a system concept for building structures on the lunar surface using lunar regolith (soil). This system uses the ATHLETE (All-Terrain Hex- Limbed Extra-Terrestrial Explorer) mobility system as a positioning system with a microwave print head (similar to that of a smaller-scale 3D printer). A processing system delivers the lunar regolith to the microwave print head, where the microwave print head/chamber lays down a layer of melted regolith. An arm on the ATHLETE system positions the layer depending on the desired structure.

Howe, Alan S.↗

A High-Throughput, Adaptive FFT Architecture for FPGA-Based Space-Borne Data Processors

Historically, computationally-intensive data processing for space-borne instruments has heavily relied on ground-based computing resources. But with recent advances in functional densities of Field-Programmable Gate-Arrays (FPGAs), there has been an increasing desire to shift more processing on-board; therefore relaxing the downlink data bandwidth requirements. Fast Fourier Transforms (FFTs) are commonly used building blocks for data processing applications, with a growing need to increase the FFT block size. Many existing FFT architectures have mainly emphasized on low power consumption or resource usage; but as the block size of the FFT grows, the throughput is often compromised first. In addition to power and resource constraints, space-borne digital systems are also limited to a small set of space-qualified memory elements, which typically lag behind the commercially available counterparts in capacity and bandwidth. The bandwidth limitation of the external memory creates a bottleneck for a large, high-throughput FFT design with large block size. In this paper, we present the Multi-Pass Wide Kernel FFT (MPWK-FFT) architecture for a moderately large block size (32K) with considerations to power consumption and resource usage, as well as throughput. We will also show that the architecture can be easily adapted for different FFT block sizes with different throughput and power requirements. The result is completely contained within an FPGA without relying on external memories. Implementation results are summarized.

Nguyen, Kayla↗

ICAROUS: Integrated Configurable Architecture for Unmanned Systems

NASA's Unmanned Aerial System (UAS) Traffic Management (UTM) project aims at enabling near-term, safe operations of small UAS vehicles in uncontrolled airspace, i.e., Class G airspace. A far-term goal of UTM research and development is to accommodate the expected rise in small UAS traffic density throughout the National Airspace System (NAS) at low altitudes for beyond visual line-of-sight operations. This video describes a new capability referred to as ICAROUS (Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems), which is being developed under the auspices of the UTM project. ICAROUS is a software architecture comprised of highly assured algorithms for building safety-centric, autonomous, unmanned aircraft applications. Central to the development of the ICAROUS algorithms is the use of well-established formal methods to guarantee higher levels of safety assurance by monitoring and bounding the behavior of autonomous systems. The core autonomy-enabling capabilities in ICAROUS include constraint conformance monitoring and autonomous detect and avoid functions. ICAROUS also provides a highly configurable user interface that enables the modular integration of mission-specific software components.

Consiglio, Maria C.↗