Results for “CONCRETES” — Page 31

NASA NTRS2017

Technology and Tool Development to Support Safety and Mission Assurance

The Assurance Case approach is being adopted in a number of safety-mission-critical application domains in the U.S., e.g., medical devices, defense aviation, automotive systems, and, lately, civil aviation. This paradigm refocuses traditional, process-based approaches to assurance on demonstrating explicitly stated assurance goals, emphasizing the use of structured rationale, and concrete product-based evidence as the means for providing justified confidence that systems and software are fit for purpose in safely achieving mission objectives. NASA has also been embracing assurance cases through the concepts of Risk Informed Safety Cases (RISCs), as documented in the NASA System Safety Handbook, and Objective Hierarchies (OHs) as put forth by the Agency's Office of Safety and Mission Assurance (OSMA). This talk will give an overview of the work being performed by the SGT team located at NASA Ames Research Center, in developing technologies and tools to engineer and apply assurance cases in customer projects pertaining to aviation safety. We elaborate how our Assurance Case Automation Toolset (AdvoCATE) has not only extended the state-of-the-art in assurance case research, but also demonstrated its practical utility. We have successfully developed safety assurance cases for a number of Unmanned Aircraft Systems (UAS) operations, which underwent, and passed, scrutiny both by the aviation regulator, i.e., the FAA, as well as the applicable NASA boards for airworthiness and flight safety, flight readiness, and mission readiness. We discuss our efforts in expanding AdvoCATE capabilities to support RISCs and OHs under a project recently funded by OSMA under its Software Assurance Research Program. Finally, we speculate on the applicability of our innovations beyond aviation safety to such endeavors as robotic, and human spaceflight.

Mission Assuranc↗

NASA NTRS2017

Asteroid Impact Risk: Ground Hazard versus Impactor Size

We utilized a probabilistic asteroid impact risk (PAIR) model to stochastically assess the impact risk due to an ensemble population of Near-Earth Objects (NEOs). Concretely, we present the variation of risk with impactor size. Results suggest that large impactors dominate the average risk, even when only considering the subset of undiscovered NEOs.

Mathias, Donovan↗

NASA NTRS2018

Additive Construction with Mobile Emplacement (ACME) / Automated Construction of Expeditionary Structures (ACES) Materials Delivery System (MDS)

The purpose of the Automated Construction of Expeditionary Structures, Phase 3 (ACES 3) project is to incorporate the Liquid Goods Delivery System (LGDS) into the Dry Goods Delivery System (DGDS) structure to create an integrated and automated Materials Delivery System (MDS) for 3D printing structures with ordinary Portland cement (OPC) concrete. ACES 3 is a prototype for 3-D printing barracks for soldiers in forward bases, here on Earth. The LGDS supports ACES 3 by storing liquid materials, mixing recipe batches of liquid materials, and working with the Dry Goods Feed System (DGFS) previously developed for ACES 2, combining the materials that are eventually extruded out of the print nozzle. Automated Construction of Expeditionary Structures, Phase 3 (ACES 3) is a project led by the US Army Corps of Engineers (USACE) and supported by NASA. The equivalent 3D printing system for construction in space is designated Additive Construction with Mobile Emplacement (ACME) by NASA.

Mueller, R. P.↗

NASA NTRS2016

Agile Multi-Scale Decompositions for Automatic Image Registration

In recent works, the first and third authors developed an automatic image registration algorithm based on a multiscale hybrid image decomposition with anisotropic shearlets and isotropic wavelets. This prototype showed strong performance, improving robustness over registration with wavelets alone. However, this method imposed a strict hierarchy on the order in which shearlet and wavelet features were used in the registration process, and also involved an unintegrated mixture of MATLAB and C code. In this paper, we introduce a more agile model for generating features, in which a flexible and user-guided mix of shearlet and wavelet features are computed. Compared to the previous prototype, this method introduces a flexibility to the order in which shearlet and wavelet features are used in the registration process. Moreover, the present algorithm is now fully coded in C, making it more efficient and portable than the MATLAB and C prototype. We demonstrate the versatility and computational efficiency of this approach by performing registration experiments with the fully-integrated C algorithm. In particular, meaningful timing studies can now be performed, to give a concrete analysis of the computational costs of the flexible feature extraction. Examples of synthetically warped and real multi-modal images are analyzed.

Science Data Processing↗

NASA NTRS2018

Contingency Management with Human Autonomy Teaming

Automation is playing an increasingly important role in many operations. It is often cheaper faster and more precise than human operators. However, automation is not perfect. There are many situations in which a human operator must step in. We refer to these instances as contingencies and the act of stepping in contingency management. Here we propose coupling Human Autonomy Teaming (HAT) with contingency management. We describe two aspects to HAT, bi-directional communication, and working agreements (or plays). Bi-directional communication like Crew Resource Management in traditional aviation, allows all parties to contribute to a decision. Working agreements specify roles and responsibilities. Importantly working agreements allow for the possibility of roles and responsibilities changing depending on environmental factors (e.g., situations the automation was not designed for, workload, risk, or trust). This allows for the automation to "automatically" become more autonomous as it becomes more trusted and/or it is updated to deal with a more complete set of possible situations. We present a concrete example using a prototype contingency management station one might find in a future airline operations center. Automation proposes reroutes for aircraft that encounter bad weather or are forced to divert for environmental or systems reasons. If specific conditions are met, these recommendations may be autonomously datalinked to the affected aircraft.

dispatch↗

NASA NTRS2016

Agile Multi-Scale Decompositions for Automatic Image Registration

In recent works, the first and third authors developed an automatic image registration algorithm based on a multiscale hybrid image decomposition with anisotropic shearlets and isotropic wavelets. This prototype showed strong performance, improving robustness over registration with wavelets alone. However, this method imposed a strict hierarchy on the order in which shearlet and wavelet features were used in the registration process, and also involved an unintegrated mixture of MATLAB and C code. In this paper, we introduce a more agile model for generating features, in which a flexible and user-guided mix of shearlet and wavelet features are computed. Compared to the previous prototype, this method introduces a flexibility to the order in which shearlet and wavelet features are used in the registration process. Moreover, the present algorithm is now fully coded in C, making it more efficient and portable than the MATLAB and C prototype. We demonstrate the versatility and computational efficiency of this approach by performing registration experiments with the fully-integrated C algorithm. In particular, meaningful timing studies can now be performed, to give a concrete analysis of the computational costs of the flexible feature extraction. Examples of synthetically warped and real multi-modal images are analyzed.

Science Data Processing↗

NASA NTRS2018

Recycling and Sustainable Acquisition Workshop

Recycling Program: Overview; C & D Solid Waste Diversion: Concrete; Composting Process; Composting Program; Program Performance; Recycling Program Initiatives; SSC Landfill Life Expectancy; Outreach: Earth Day 2018; Sustainable Acquisition.

Boone, Chelsea↗

NASA NTRS2018

The Disruptive Technology That is Additive Construction: System Development Lessons Learned for Terrestrial and Planetary Applications

Disruptive technologies are unique in that they spawn other new technologies and applications as they grow. These activities are usually preceded by the question, "What If?" For example, "What if we could use an emerging technology and in-situ materials to promote exploration on the Moon or Mars, and then use that same technology to keep our troops out of harm's way and/or help the worlds' homeless?" This question allows us to flip the mindset of "how can people create more valuable innovation?" to "how can innovation create more valuable people?." This approach allows us to view augmented human labor as an inclusive opportunity, not a threat. The discipline of Additive Construction is growing rapidly due to the flexibility, speed, safety and logistics benefits offered as compared to standard construction techniques. Additive construction is a disruptive technology in that it employs the principles of additive manufacturing on a human habitat structure scale. Developed initially for emergency management and disaster relief applications, additive construction has now grown into military infrastructure and planetary (Moon and Mars) surface infrastructure applications as well. Additive Construction with Mobile Emplacement (ACME) is a NASA technology development project that seeks to demonstrate the feasibility of constructing shelters for human crews, and other surface infrastructure, on the Moon or Mars for a future human presence. The ACME project will allow, for the first time, the 3-dimensional printing of surface structures on planetary bodies using local materials for construction, thereby tremendously reducing launch and transportation mass and logistics. Some examples of infrastructure that could be constructed using robotic additive construction methods are landing pads, rocket engine blast protection berms, roads, dust free zones, equipment shelters, habitats and radiation shelters. Terrestrial applications include the development of surface structures using Earth-based materials for emergency response, disaster relief, general construction, and housing at all economic levels. This paper will describe the progress made by the NASA ACME project with a focus on prototypes and full scale additive construction demonstrations using both Portland cement concrete and other indigenous material mixtures. Rationale for the use of additive construction for both terrestrial and planetary applications will be explored and a thorough state-of-the-art of additive construction techniques will be presented. An evolutionary history of NASA's additive construction development efforts, dating back to 2004, will be included. The paper will then step through a series of trade studies performed to inform key processing and design decisions in the development of the full-scale ACES-3 system developed by NASA and the Jacobs Space Exploration Group for the U.S. Army Corps of Engineers (USACE) Construction Engineers Research Laboratory (CERL) in Champaign, IL. The selection of aggregate and binders, based on in-situ materials, will also be presented and discussed

Space Processing↗

NASA NTRS2017

Expanding a Supercomputer Facility Using Modular Data Center Technology

With the expansion of high-end computing resources needed to support NASA's increasing demands for physics-based simulations, the facility housing Pleiades-the agency's largest supercomputer-recently reached its power and cooling capacity. In response, the NASA Advanced Supercomputing Division at Ames Research Center undertook a prototype project that resulted in a new facility based on modular data center technology. The facility, a ~1000 square-foot module on a concrete pad with room for 16-18 compute racks, was completed in fall 2016 and an SGI computer system, named Electra, was deployed there in early 2017. Cooling is performed via an evaporative system built into the module, and preliminary experience shows a Power Usage Effectiveness (PUE) of ~1.03. Electra achieved over a petaflop on the LINPACK benchmark, sufficient to rank number 96 on the November 2016 TOP500 list. The system consists of 1,152 InfiniBand-connected Intel Xeon Broadwell-based nodes. Its users access their files on a facility wide file system shared by all compute assets via Mellanox MetroX InfiniBand extenders, which connect the Electra fabric to Lustre routers InfiniBand fabric over fiber-optic links about 300 meters long. The prototype has exceeded expectations and is serving as a blueprint for future expansions.*†

Facility↗

NASA NTRS2019

Electra: A Modular-Based Expansion of NASA's Supercomputing Capability

NASA has increasingly relied on high-performance computing (HPC) re- sources for computational modeling, simulation, and data analysis to meet the science and engineering goals of its missions in space exploration, aeronautics, and Earth and space science. The NASA Advanced Supercomputing (NAS) Division at Ames Research Center in Silicon Valley, Calif., hosts NASA’s premier supercomputing resources, integral to achieving and enhancing the success of the agency’s missions. NAS provides a balanced environment, funded under the High-End Computing Capability (HECC) project, comprised of world-class supercomputers, including its flagship distributed-memory cluster, Pleiades; high-speed networking; and massive data storage facilities, along with multi-disciplinary support teams for user support, code porting and optimization, and large-scale data analysis and scientific visualization. However, as scientists have increased the fidelity of their simulations and engineers are conducting larger parameter-space studies, the requirements for supercomputing resources have been growing by leaps and bounds. With the facility housing the HECC systems reaching its power and cooling capacity, NAS undertook a prototype project to investigate an alternative approach for housing supercomputers. Modular supercomputing, or container-based computing, is an innovative concept for expanding NASA’s HPC capabilities. With modular supercomputing, additional containers—similar to portable storage pods—can be connected together as needed to accommodate the agency’s ever-increasing demand for computing resources. In addition, taking advantage of the local weather permits the use of cooling technologies that would additionally save energy and reduce annual water usage. The first stage of NASA’s Modular Supercomputing Facility (MSF) prototype, which resulted in a 1,000 square-foot module on a concrete pad with room for 16 compute racks, was completed in Fall 2016 and an SGI (now HPE) computer system, named Electra, was deployed there in early 2017. Cooling is performed via an evaporative system built into the module, and preliminary experience shows a Power Usage Effectiveness (PUE) measurement of 1.03. Electra achieved over a petaflop on the LINPACK benchmark, sufficient to rank number 96 on the November 2016 TOP500 list [14]. The system consists of 1,152 InfiniBand-connected Intel Xeon Broadwell-based nodes. Its users access their files on a facility-wide file system shared by all HECC compute assets via Mellanox MetroX InfiniBand extenders, which connect the Electra fabric to Lustre routers in the primary facility over fiber-optic links about 900 feet long. The MSF prototype has exceeded expectations and is serving as a blueprint for future expansions. In the remainder of this chapter, we detail how modular data center technology can be used to expand an existing compute resource. We begin by describing NASA’s requirements for supercomputing and how resources were provided prior to the integration of the Electra module-based system.

Biswas, Rupak↗

NASA NTRS2018

Human Exploration of Mars: Preliminary Lists of Crew Tasks

This is a preliminary report of ongoing research that has identified 1,125 tasks that are likely to be performed during initial human expeditions to Mars. The purpose of the report is to facilitate immediate access to the task inventory by researchers whose efforts might benefit from concrete examples of the work that will likely be performed by the first human explorers of Mars and the tasks for which crew members must be prepared to perform in response to emergencies. The research that led to the task lists is being conducted under Cooperative Agreement NNX15AW34G / NNX16AQ86G for the Human Factors and Behavioral Performance Element, Human Performance Program, NASA’s Johnson Space Center. The study is ongoing and will conclude with a final report that documents all research activities and presents the results of task and ability analyses and the implications of study results to crew size and composition, personnel selection and training, and design of equipment and procedures. The research addresses the Risk of Inadequate Mission, Process, and Task Design and the Risk of Performance Errors Due to Training Deficiencies by identifying the work that will be performed during an expedition to Mars and the abilities, skills, and knowledge that will be required of crew members. The study began by developing the comprehensive inventory of 1,125 tasks that are likely to be performed during the 12 phases of initial human expeditions to Mars, from launch to landing 30 months later. This full-mission task inventory was generated by a comprehensive review of documentation and concepts of operations with the understanding that plans and tasks might change in response to continuing technological development. Note: This interim report includes no discussion of analyses and has been prepared solely to facilitate dissemination of the task lists to others whose research might benefit from detailed information about the work and other activities that are likely to be performed during the human exploration of Mars.

Stuster, Jack W.↗

NASA NTRS2019

Agile Approach to Assuring the Safety-Critical Embedded Software for NASA's Orion Spacecraft

Human-rated missions like those in NASA's Orion Program continue to grow in complexity. The role of software in achieving ambitious mission objectives has expanded dramatically in the last few decades. Assuring the safety and performance of the embedded flight software is quickly growing beyond the reach of traditional methods and resource levels. The methods used to build these software-dominant systems evolve in an on-going attempt to keep pace with the scope of our ambitions. Agile software development is now commonplace. The long timelines and large batches of work associated with traditional methods are being replaced by rapid delivery of small increments _ as system capabilities are realized in waves. Assurance of these critical software capabilities must therefore conquer an ever-expanding frontier of challenges, and do so with an approach matched to the evolving development methods. This paper recounts the journey of the Orion Independent Verification and Validation (IV&V) team as we addressed this dynamic environment. Widening our aperture to encompass a dramatically larger mission scope, while adjusting our cadence to synchronize with the rapid pace of agile software development, a new approach to IV&V is emerging. This approach is characterized by a sharper focus on mission capabilities, matched with a method to dynamically _follow the risk' as the IV&V team delivers more compelling assurance data in waves. Traditional methods prevalent in IV&V tend to scope the work using artifacts of the development process as they evolve from preliminary to final versions, and the pace of delivery was synchronized with the development timelines prevalent in the waterfall lifecycle. That more static approach is out of phase with the demands of the new environment. Scoping work according to the critical capabilities of the system (rather than artifacts of development) and synchronizing with the rapid pace of agile development, we are moving toward more effective parity with the demands of the environment. We explain the concrete steps we took, the principles that motivated our choices, and the results we have achieved to date.

Capability based assurance↗

NASA NTRS2014

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops

Symbolic execution is a program analysis technique that is used for many purposes, one of which is test-case generation. For loop-free programs, this generates a test-set that achieves path coverage. Program loops, however, imply exponential growth of the number of paths in the best case and non-termination in the worst case. In practice, the number of loop unwindings needs to be bounded for analysis. We consider symbolic execution in the context of the tool Symbolic Pathfinder. This tool extends the model-checker Java Pathfinder and relies on its bounded state-space exploration for termination. We present an implementation of k-bounded loop unwinding, which increases the amount of user-control over the symbolic execution of loops. Bounded unwinding can be viewed as a naive way to prune paths through loops. When using symbolic execution for test-case generation, naively pruning paths is likely at the cost of coverage. In order to improve coverage of branches within a loop body, we present a technique that semi-automatically concretizes variables used in a loop. The basic technique is limited and we therefore present annotations to manually steer symbolic execution towards certain branches, as well as ideas on how the technique can be extended to be more widely applicable.

Programs With Loops↗

NASA NTRS2016

MONTE's Client-Based Trajectory Propagation Architecture

The Mission Analysis, Operations, and Navigation Toolkit Environment (MONTE) is JPL's (Jet Propulsion Laboratory's) signature astrodynamic computing platform. It supports all phases of space mission development, from early stage mission design and analysis through flight navigation services. MONTE employs a client-based trajectory propagation architecture where accelerations are calculated in the main MONTE library and the integrator exists on the periphery as a client. This paper outlines this approach to a trajectory propagation system and provides a concrete set of examples showing its utility.

Smith, Jonathan↗

NASA NTRS2019

Smart Handoffs: Preserving User Context Between Tools and Services Related to NASA's EOSDIS Data Archive

NASA's Earth Observing System Data and Information System (EOSDIS) is tasked with archiving and distributing Earth Observation data across a range of disciplines, including atmospheric science, oceanography, land processes, natural hazards, solar radiance and even socioeconomic aspects relating to the environment. Given the breadth of disciplines and depth of data that EOSDIS provides, the efficient and intuitive discovery and usage of data by a scientist is of paramount importance. An effective data gathering workflow may involve switching from general use discovery tools to a more bespoke services designed specifically for the scientist's discipline. Providing concrete interoperability between such tools could vastly improve the efficiency of a scientist's workflow.

Analytics↗

NASA NTRS2019

Learning from GES DISC's MLS and OMI Data Users: Metrics Matter

It has been over 15 years since Aura research satellite launched in 2004 to observe the Earth's ozone layer, air quality, and climate from four different instruments - the High Resolution Dynamics Limb Sounder (HIRDLS), the Microwave Limb Sounder (MLS), the Ozone Monitoring Instrument (OMI), and the Tropospheric Emission Spectrometer (TES). Observations from the Aura mission have established a concrete understanding of the changing chemistry of our atmosphere.The NASA Goddard Earth Sciences Data and Information Services Center (GES DISC) is the official archive and distribution center for the HIRDLS, MLS, and OMI instruments. This presentation will report metrics of data usage and services on these instruments. Key to GES DISC's mission to provide better data support is gaining a better understanding of our users' needs and behaviors as they discover, access and utilize these data. We will summarize the users' needs from these instruments based on user inquiry information collected over the Aura mission lifetime and present findings from this ensemble metrics.

Metrics↗

NASA NTRS2019

NASA Centennial Challenge: 3D Printed Habitat, Phase 3 Final Results

NASA's Centennial Challenges program uses prize competitions with the goal of accelerating innovation in the aerospace industry. Competitions in the Centennial Challenges portfolio have previously focused on advancements in space robotics, regolith excavation, bio-printing, astronaut suit design, small satellites, and solar-powered vehicles. NASA's Three Dimensional (3D) Printed Habitat Centennial Challenge represents a partnership between NASA and the non-profit partner: Bradley University, with co-sponsors Caterpillar, Bechtel, Brick and Mortar Ventures, the American Concrete Institute, and the United States Army Corps of Engineers (USACE) Engineer Research and Development Center (ERDC) to spur development in automated additive construction technologies. The challenge asks teams to design and construct a scaled and simulated Martian habitat using indigenous materials and large scale 3D automated printing systems. Phase 1 of the competition, held in 2015, was an architectural design competition for habitat concepts that could be 3D printed. Phase 2, completed in 2017, asked teams to develop feedstocks from indigenous materials and hydrocarbon polymer recyclables, and demonstrate automated printing systems to manufacture these feedstocks into test specimens to assess mechanical strength. This paper will discuss the Phase 3 competition, focusing on technology outcomes that can potentially be infused into both terrestrial and planetary construction applications. The Phase 3 competition was divided into two sub-competitions: 1) virtual construction, where teams created a high fidelity building information model (BIM) of their 3D-printed habitat design and 2) the construction competition, which required teams to 3D print a structural foundation and subject materials samples to freeze/thaw testing and impact testing (level 1), produce a habitat element and complete a hydrostatic test (level 2), and additively manufacture a 1:3 scale habitat onsite in a head to head competition at Caterpillar, inc.'s Edwards Demonstration & Learning Center near Peoria, Illinois over the course of three days (level 3). While the Phase 2 competition focused primarily on the development of novel feedstocks and robotic printing systems, Phase 3 emphasized the scale-up of these systems and autonomous operation (demonstrating the capability to operate systems on precursor missions prior to the arrival of crew, or terrestrially in field operation settings where human tending of a manufacturing system may be limited). The Phase 3 virtual construction levels yielded a number of novel habitat designs, including both modular habitats and vertically-oriented habitat concepts. The Phase 3 construction competition also challenged teams to autonomously place penetrations and interfacing elements in additively manufactured structures. The paper will emphasize potential applications for the new materials and technologies developed under the umbrella of the competition within NASA's portfolio and in Earth-based applications such as disaster response and infrastructure improvement.

Construction↗

NASA NTRS2019

Nasa Centennial Challenge: Three Dimensional (3d) Printed Habitat, Phase 3

NASA's Centennial Challenges program uses prize competitions with the goal of accelerating innovation in the aerospace industry. Competitions in the Centennial Challenges portfolio have previously focused on advancements in space robotics, regolith excavation, bio-printing, astronaut suit design, small satellites, and solar-powered vehicles. NASA's Three Dimensional (3D) Printed Habitat Centennial Challenge represents a partnership between NASA and the non-profit partner: Bradley University, with co-sponsors Caterpillar, Bechtel, Brick and Mortar Ventures, the American Concrete Institute, and the United States Army Corps of Engineers (USACE) Engineer Research and Development Center (ERDC) to spur development in automated additive construction technologies. The challenge asks teams to design and construct a scaled and simulated Martian habitat using indigenous materials and large scale 3D automated printing systems. Phase 1 of the competition, held in 2015, was an architectural design competition for habitat concepts that could be 3D printed. Phase 2, completed in 2017, asked teams to develop feedstocks from indigenous materials and hydrocarbon polymer recyclables, and demonstrate automated printing systems to manufacture these feedstocks into test specimens to assess mechanical strength. This paper will discuss the Phase 3 competition, focusing on technology outcomes that can potentially be infused into both terrestrial and planetary construction applications. The Phase 3 competition was divided into two sub-competitions: 1) virtual construction, where teams created a high fidelity building information model (BIM) of their 3D-printed habitat design and 2) the construction competition, which required teams to 3D print a structural foundation and subject materials samples to freeze/thaw testing and impact testing (level 1), produce a habitat element and complete a hydrostatic test (level 2), and additively manufacture a 1:3 scale habitat onsite in a head to head competition at Caterpillar, inc.'s Edwards Demonstration & Learning Center near Peoria, Illinois over the course of three days (level 3). While the Phase 2 competition focused primarily on the development of novel feedstocks and robotic printing systems, Phase 3 emphasized the scale-up of these systems and autonomous operation (demonstrating the capability to operate systems on precursor missions prior to the arrival of crew, or terrestrially in field operation settings where human tending of a manufacturing system may be limited). The Phase 3 virtual construction levels yielded a number of novel habitat designs, including both modular habitats and vertically-oriented habitat concepts. The Phase 3 construction competition also challenged teams to autonomously place penetrations and interfacing elements in additively manufactured structures. The paper will emphasize potential applications for the new materials and technologies developed under the umbrella of the competition within NASA's portfolio and in Earth-based applications such as disaster response and infrastructure improvement.

Centennial challenge↗