SEARCH · Engineering Papers

Results for “lifecycle”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 433 records · Page 24

All sources NASA NTRS DOE OSTI

NASA NTRS2017

Synergies Between the Kepler, K2 and TESS Missions with the PLATO Mission (Revised)

Two transit survey missions will have been flown by NASA prior to the launch of ESA's PLATO Mission in 2026, laying the groundwork for exoplanet discovery via the transit method. The Kepler Mission, which launched in 2009, collected data on its 100+ square degree field of view for four years before failure of a reaction wheel ended its primary mission. The results from Kepler include 2300+ confirmed or validated exoplanets, 2200+ planetary candidates, 2100+ eclipsing binaries. Kepler also revolutionized the field of asteroseismology by measuring the pressure mode oscillations of over 15000 solar-like stars spanning the lifecycle of such stars from hydrogen-burning dwarfs to helium-burning red giants. The re-purposed Kepler Mission, dubbed K2, continues to observe fields of view in and near the ecliptic plane for 80 days each, significantly broadening the scope of the astrophysical investigations as well as discovering an additional 156 exoplanets to date. The TESS mission will launch in 2017 to conduct an all-sky survey for small exoplanets orbiting stars 10X closer and 100X brighter than Kepler exoplanet host stars, allowing for far greater follow-up and characterization of their masses as well as their sizes for at least 50 small planets. Future assets such as James Webb Space Telescope, and ground-based assets such as ESOs Very Large Telescope (VLT) array, the Exremely Large Telescope (ELT), and the Thirty Meter Telescope (TMT) will be able to characterize the atmospheric composition and properties of these small planets. TESS will observe each 24 X 96 field of view for 30 days and thereby cover first the southern and then the northern hemisphere over 13 pointings during each year of the primary mission. The pole-most camera will observe the James Webb continuous viewing zone for one year in each hemisphere, permitting much longer period planets to be detected in this region. The PLATO mission will seek to detect habitable Earth-like planets with an instrument composed of 26 small telescopes in several 2232 square deg FOVs with a range of observation durations over a mission lifetime of up to eight years. This paper summarizes the findings of the KeplerK2 missions, previews the likely results from the TESS mission, and explores the lessons learned and to be learned from these prior missions that can be incorporated into the observation and data reduction strategy for the PLATO Mission so as to maximize the science return.

exoplanet detection↗

NASA NTRS2016

In-Situ and Remotely-Sensed Observations of Biomass Burning Aerosols at Doi Ang Khang, Thailand During 7-SEAS BASELInE 2015

The spring 2015 deployment of a suite of instrumentation at Doi Ang Khang (DAK) in northwestern Thailand enabled the characterization of air masses containing smoke aerosols from burning predominantly in Myanmar. Aerosol Robotic Network (AERONET) Sun photometer data were used to validate Moderate Resolution Imaging Spectroradiometer (MODIS) Collection 6 "Deep Blue" aerosol optical depth (AOD) retrievals; MODIS Terra and Aqua provided results of similar quality, with correlation coefficients of 0.93-0.94 and similar agreement within expected uncertainties to global-average performance. Scattering and absorption measurements were used to compare surface and total column aerosol single scatter albedo (SSA); while the two were well-correlated, and showed consistent positive relationships with moisture (increasing SSA through the season as surface relative humidity and total columnar water vapor increased), in situ surface-level SSA was nevertheless significantly lower by 0.12-0.17. This could be related to vertical heterogeneity and/or instrumental issues. DAK is at approximately 1,500 meters above sea level in heterogeneous terrain, and the resulting strong diurnal variability in planetary boundary layer depth above the site leads to high temporal variability in both surface and column measurements, and acts as a controlling factor to the ratio between surface particulate matter (PM) levels and column AOD. In contrast, while some hygroscopic effects were observed relating to aerosol particle size and Angstrom exponent, relative humidity variations appear to be less important for this ratio here. As part of the Seven South-East Asian Studies (7-SEAS) project, the Biomass-burning Aerosols & Stratocumulus Environment: Lifecycles and Interactions Experiment (BASELInE) was intended to probe physicochemical processes, interactions, and feedbacks related to biomass burning aerosols and clouds during the spring burning season (February-April) in southeast Asia (SEA).

biomass burning↗

NASA NTRS2018

Investigation of Bolt Preload Relaxation for JWST Thermal Heat Strap Assembly Joints with Aluminum-1100 and Indium Gaskets

Accurately predicting fastener preload relaxation in the James Webb Space Telescope (JWST) heat strap assemblies is essential to insure adequate thermal performance during its mission lifecycle. The mechanisms for preload relaxation in the strap joints include Al-1100 material creep, indium gasket flow-out, and embedment of the joint faying surfaces. This report documents the results from a bolted joint relaxation test, including analysis and curve fitting of the test data for predicting preloads five years after initial torque application. The report also includes the derivation of a preload uncertainty factor enveloping both torque/preload application scatter and expected preload relaxation at the end of mission life.

Joint↗

NASA NTRS2018

Investigation of Bolt Preload Relaxation for JWST Thermal Heat Strap Assembly Joints with Aluminum-1100 and Indium Gaskets

Preload↗

NASA NTRS2018

Climatespark: an In-Memory Distributed Computing Framework for Big Climate Data Analytics

The unprecedented growth of climate data creates new opportunities for climate studies, and yet big climate data pose a grand challenge to climatologists to efficiently manage and analyze big data. The complexity of climate data content and analytical algorithms increases the difficulty of implementing algorithms on high performance computing systems. This paper proposes an in-memory, distributed computing framework, ClimateSpark, to facilitate complex big data analytics and time-consuming computational tasks. Chunking data structure improves parallel I/O efficiency, while a spatiotemporal index is built for the chunks to avoid unnecessary data reading and preprocessing. An integrated, multi-dimensional, array-based data model (ClimateRDD) and ETL operations are developed to address big climate data variety by integrating the processing components of the climate data lifecycle. ClimateSpark utilizes Spark SQL and Apache Zeppelin to develop a web portal to facilitate the interaction among climatologists, climate data, analytic operations and computing resources (e.g., using SQL query and Scala/Python notebook). Experimental results show that ClimateSpark conducts different spatiotemporal data queries/analytics with high efficiency and data locality. ClimateSpark is easily adaptable to other big multiple- dimensional, array-based datasets in various geoscience domains.

Hu, Fei↗

NASA NTRS2018

Nasa's Launch Communications Ground Segment for the 21st Century Florida Spaceport

The National Aeronautics and Space Administration (NASA) Near Earth Network (NEN) Project is implementing a new launch communications ground segment to provide services for the next generation of human and robotic space exploration systems. It will deliver unique and advanced capabilities to accelerate the transformation of Kennedy Space Center into a multi-user spaceport in cooperation with the United States Air Force (USAF). The project has leveraged commercial technologies and remote operations concepts matured in NASAs orbiting satellite ground systems to achieve dramatic lifecycle cost efficiencies as compared to the space shuttle-era ground segment. The purpose of this paper is to discuss the development history, capabilities and anticipated use cases of the NEN Launch Communications Segment (NEN LCS).The NASA Kennedy Space Center is co-located with the USAF Eastern Launch Range at Cape Canaveral, Florida. The USAF operates two launch communications ground stations, but they are not designed to transmit voice, commands or other data to the launch vehicle or astronauts. The bi-directional uplink-downlink communications responsibility for human missions has historically resided with the Goddard Space Flight Center in Greenbelt, Maryland. Several market analyses and feasibility studies investigating concepts to provide NASAs next generation launch communications services were performed during the Constellation Program prior to its cancellation in 2009, and as part of the Kennedy Space Centers follow-on efforts to transform itself into a 21st century multi-user spaceport. In 2012, the Kennedy Space Center and the USAF 45th Space Wing jointly led a study to analyze the market needs of current and future launch systems and assess the operational deficiencies of the Eastern Range infrastructure. The study team issued several recommendations, two of which ultimately became driving operational capability requirements for the NEN LCS: increased telemetry data rates of at least 20 Mbps, and S-band uplink capability. Additional capabilities identified in the requirements development process include spread spectrum modulation support, LDPC 12 and 78 error correction codes, support for IRIG-106 and CCSDS data formats, automated best source selection, and Space Link Extension (SLE) services for data distribution. The NEN LCS is comprised of two permanent ground stations, the new Kennedy Uplink Station (KUS) and refurbished Ponce de Leon (PDL) station. Both stations are remotely operated from the Global Monitor and Control Center at Wallops Flight Facility. This core architecture is extensible through host-tenant arrangements with the U.S. Air Force and deployable assets, enabling agile, tailored and robust solutions to meet the needs of civil, commercial or military customers. The NEN LCS has three use cases:1.To provide agile, tailored and robust launch communications solutions to Florida spaceport customers2.To provide orbital communications services to near-earth customers 3.To provide an experimental proving ground for Space Mobile Network concepts and technologies The NEN LCS driving mission is to support the bi-directional link with the Orion crew capsule and two 20 Mbps telemetry links from the Space Launch System core stage on Exploration Mission-1, the first integrated flight of NASAs flagship human exploration systems.

Roberts, Christopher J.↗

NASA NTRS2017

A View from Above: Earth Observations

Since the 1960s, satellites have been looking down at the Earth to monitor weather patterns and track severe storms, observe how our land surface is changing and responding to hydrometerological extremes, and even to sense how the Earth's crust is deforming from earthquakes and volcanoes. Space and airborne platforms can provide unique views of the disaster lifecycle, informing pre-event mitigation and preparedness, emergency response following an event, and monitoring longer-term recovery. These remotely-sensed data, products and models can provide a global perspective to see beyond administrative boundaries, reach remote places where in situ observations are di cult or non-existent, and provide the necessary context and situational awareness to aid in disaster response. So how do these platforms work? Instruments aboard satellites use different portions of the electromagnetic spectrum to passively or actively observe energy across a range of wavelengths, which can be turned into meaningful data on geophysical, atmospheric, and hydrological variables. e US has had a broad range of Earth observation (EO) platforms delivering open data for scientific research and societal benefits for decades. e Landsat programme, a joint initiative between the US Geological Survey (USGS) and NASA, has the world's longest continuous collection of space-based satellite imagery of the Earth, extending from 1972 to present. e Landsat satellites provide visible, near infrared, and thermal data that are used to support emergency response and disaster relief by mapping changes in water during floods, and dramatic land surface changes, including those resulting from landslides, wild res, severe weather, volcanic plumes, and dust storms.

FEMA↗

NASA NTRS2018

Collaborative Systems Engineering in the Ascent Abort-2 Crew Module/Separation Ring Project

Generally speaking, systems engineering (SE) tool-sets face a dilemma balancing power and accessibility. High-powered SE tools (MagicDraw, Cradle, Core, etc.) tend to be specialized and are available only to highly trained Systems Engineers, and/or through the use of a 'back room' developer team making the output products available to the broader team. On the other hand, highly accessible tools (MS Word, Excel, etc.) do not have the power to implement SE in a rigorous manner. NASA has to test all aspects of the new human-rated Orion Multi-Purpose Crew Vehicle spacecraft prior to its first crewed mission. The test program includes uncrewed launch abort flight tests to demonstrate the capability to save the crew in the event that a launch failure occurs. Orion's second abort flight test will be a low-altitude flight test known as "Ascent Abort 2 (AA-2)." This test is currently scheduled to be carried out at Cape Canaveral Air Force Station's Space Launch Complex 46 (SLC-46) in Florida in 2019. NASA's in-house AA-2 Crew Module and Separation Ring (CSR) Team is producing the crew module and separation ring. Operating jointly as both an Advanced Exploration Systems (AES) Project and an Orion Project, the CSR project charter includes development of innovative, streamlined and generally more efficient practices for creation of flight hardware and software. One result of this tasking has been development of a collaborative and data-centric systems engineering environment within the team's shared web environment (Microsoft SharePoint). Through the use of built-in, 'out of the box capabilities' present in MS SharePoint, the CSR Systems Engineering team has created (with some limited developer support) a data-centric architecture for the project's SE implementation, including functional and interface analysis, requirements development and management, risk management, verification planning and management, test results, and end item management. Data elements are linked between data structures so as to define and control relationships between item types, link requirements to parents and children, and link tests to the requirements that they verify. The overall project team integration is increased by also linking SE content to project management content over the project life cycle, including team communication, action items, configuration management, decisional and meeting materials, and life cycle reviews. This presentation will provide an overview of the collaborative SE environment, showing how it provides the power for a number of SE tasks while still providing the accessibility and transparency to allow the full project team to collaborate and succeed. Given the project phase, we'll be able to present a nearly full lifecycle discussion, from concept through verification and approaching delivery.

Systems Engineering environments↗

NASA NTRS2018

Integration of Information Management System, Workflow and Computational Tools Enabling Multiscale Modeling Within an ICME Paradigm

With the increased emphasis on reducing the cost and time to market of new materials, the need for analytical tools that enable the virtual design and optimization of materials throughout their processing - internal structure - property - performance envelope, along with the capturing and storing of the associated material and model information across its lifecycle, has become critical. This need is also fueled by the demands for higher efficiency in material testing; consistency, quality and traceability of data; product design; engineering analysis; as well as control of access to proprietary or sensitive information. Fortunately, material information management systems and physics-based multiscale modeling methods have kept pace with the growing user demands. Herein, recent efforts to develop a set of Python functions that exchange information between NASA GRC's Integrated multiscale Micromechanics Analysis Code (ImMAC) software toolset and its Integrated Computational Materials Engineering (ICME), Granta MI® database schema is presented. The goal is to enable seamless coupling between both test data and simulation data, which is captured and tracked automatically within Granta MI®, with full model pedigree information. These tools, and this type of linkage, are foundational to realizing the full potential of ICME, in which materials processing, microstructure, properties, and performance are coupled to enable application-driven design and optimization of materials and structures.

multiscale modeling; Micromechanics; Computational↗

NASA NTRS2018

Hybridized Agile Software Development of Flight Control Team Tools for International Space Station's Payload Operations Integration Center

Ground systems operations at the National Aeronautics and Space Administration's (NASA) Payload Operations and Integration Function (POIF) is increasing, via the High Operations Tempo (HOT) initiative, its ability to support more science activities with a fourth crew member on the International Space Station (ISS). The Flight Control Team's need to support this increased crew presence mandated the need for a series of software tools to better handle the increasing pace of payload science operations. The overall need was clear from the outset, but the full scope and user experience for each tool, were not as well understood, so establishing a fixed set of initial requirements was not feasible. An Agile Software Development (ASD) paradigm takes advantage of uncertainty, and plans for it, so it was deemed the most appropriate approach to create room for exploring novel concepts, and to mount a rapid and flexible response to inevitiably changing requirements. It facilitated the need for unprecedented collaboration between the Product Team (i.e. users from the Flight Control Team) and the Development Team (i.e. POIC systems engineers, developers, testers). This is a process shift in the development, test, and release of software from one that is prescriptive to one that is adaptive, which is necessary for these tools to have longevity. The application of ASD to the product development lifecycle permitted the timely incorporation of customer feedback, and, allowed for continuous quality improvements. This resulted in a suite of tools that are efficient, user-friendly, and enable POIF ground systems to support the increasing pace of payload science operations. ASD is not as much a set of prescriptive processes as it is a shift in mindset; one that moves from planning against change, to planning for change, thereby iteratively growing software towards user-defined value.

Albers, Cerese M.↗

NASA NTRS2018

Additive Manufacturing of Liquid Rocket Engine Combustion Devices: A Summary of Process Developments and Hot-Fire Testing Results

Additive Manufacturing (AM) is an emerging technology with a focus on complex metallic component fabrication: Enables complex shapes and internal features that were not possibly with traditional manufacturing techniques, and significant schedule and overall lifecycle cost reductions. To date at the NASA Marshall Space Flight Center (MSFC), combustion devices component hardware ranging in size from 100 - 35,000 lbf has been designed and manufactured using AM and many of these pieces have been hot-fire tested.

Gradl, Paul↗

NASA NTRS2018

Tagging Components in the Test Complex Area

Why tag components differently? - Various methods are in place to tag different components, but not every component is tracked; - Variance in method can make it difficult to obtain component information and identify discrepancies; -Time and resources are spent on component localization and verification. Previous work of RA10 interns: - Researching more efficient asset tracking methods; - Investigating cost effective ways to localize components; - Past interns identified using QR (Quick Response) codes as a potential solution. Link QR codes to Windchill (PLM - Product Lifecycle Management system) DDMS (Design and Data Management System) after QR code is printed/etched and physically tagging it as quickly as possible

Gomez, Sarah↗

NASA NTRS2018

Developing a Standard for Earth Observation Data Preservation Content - A Path to Future Usability

For datasets to be usable, many pieces of information in addition to the data themselves are essential. During the active parts of the lifecycle of dataset generating projects, the needed information is usually accessible through individuals familiar with the various aspects of the projects. However, the utility of datasets tends to outlive the lives of projects, by several decades in many cases. Thus it is essential to capture all the relevant information about the datasets, data, metadata and associate knowledge that is sufficient to read, understand, interpret and reuse the datasets, while the projects are still active. The capture and preservation should be such that the data are usable when no consultation is available from the original project participants. Identification of specific categories of content through an international standard is beneficial to the user communities of the future, so that projects involving Earth observations and generating data products can consistently plan for preservation and future usability of the project outcomes. While there are existing standards that address archival and preservation in general, there are no existing international standards or specifications today to address what content should be preserved. The standard, ISO 19165-1, titled "Geographic Information - Preservation of digital data and metadata Part 1: Fundamentals" considers geographic information preservation in general. It acknowledges that "specific content items needed to preserve the full provenance and context of the data and associated metadata depend on the needs of the designated community and types of datasets (e.g., maps, remotely sensed data from satellites and airborne instruments, physical samples). Follow-up parts to this standard may be developed detailing content items appropriate to individual disciplines." NASA proposed an extension to this standard, titled "Geographic information -- Preservation of digital data and metadata -- Part 2: Content specifications for Earth observation data and derived digital products." The development of this extension is in progress with participation by an international team representing nine countries. The purpose of this paper is to introduce this standard and report on its status.

Remote Sensing; Data Systems; Open Data;↗

NASA NTRS2018

Overview of the NASA TROPICS CubeSat Constellation Mission

Recent technology advances in miniature microwave radiometers that can be hosted on very small satellites has made possible a new class of affordable constellation missions that provide very high revisit rates of tropical cyclones and other severe weather. The Time-Resolved Observations of Precipitation structure and storm Intensity with a Constellation of Smallsats (TROPICS) mission was selected by NASA as part of the Earth Venture–Instrument (EVI-3) program and is now in development with planned launch readiness in late 2019. The overarching goal for TROPICS is to provide nearly all-weather observations of 3-D temperature and humidity, as well as cloud ice and precipitation horizontal structure, at high temporal resolution to conduct high-value science investigations of tropical cyclones (TCs). TROPICS will provide rapid-refresh microwave measurements (median refresh rate better than 60 minutes for the baseline mission) over the tropics that can be used to observe the thermodynamics of the troposphere and precipitation structure for storm systems at the mesoscale and synoptic scale over the entire storm lifecycle. TROPICS will comprise a constellation of at least six CubeSats in three low-Earth orbital planes. Each CubeSat will host a high performance radiometer to provide temperature profiles using seven channels near the 118.75 GHz oxygen absorption line, water vapor profiles using three channels near the 183 GHz water vapor absorption line, imagery in a single channel near 90 GHz for precipitation measurements (when combined with higher resolution water vapor channels), and a single channel at 205 GHz that is more sensitive to precipitation-sized ice particles and low-level moisture. This observing system offers an unprecedented combination of horizontal and temporal resolution in the microwave spectrum to measure environmental and inner-core conditions for TCs on a nearly global scale and is a major leap forward in the temporal resolution of several key parameters needed for assimilation into advanced data assimilation systems capable of utilizing rapid-update radiance or retrieval data. Here, we provide an overview of the mission and an update on current status, with a focus on unique characteristics of the Cubesat system, recent performance simulations on a range of observables to be provided by the constellation, and a summary of science applications.

Blackwell, W. J.↗

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 NTRS2019

Inserting New Technologies into Human-Computer Interfaces for Future Lunar and Mars Missions

Plans call for human cislunar operations and lunar surface access, to prepare for eventual Mars missions. NASA will also develop new opportunities in lunar orbit that provide the foundation and act as a gateway for human exploration deeper into the solar system. Current human spaceflight is complex and requires as many as fifty people to support the International Space Station (ISS) Mission Control Center (MCC) in Houston, Texas. These flight controllers in the front and back rooms of the MCC, serve as an extra pair of eyes overseeing the numerous station systems. Deep space missions - to the moon, Mars, and beyond - will be more complex and place challenging mission constraints on the crew. As the round-trip communication delays increase in deep space exploration, more on-board systems autonomy and functionality will be needed to maintain and control the vehicle. These mission constraints will change the Earth-based ground control approach and will demand efficient and effective human-computer interfaces (HCI) to control a highly complex vehicle or habitat system. All of this necessitates a different approach to designing and developing spacecraft and habitats. In the beginning of new human spaceflight programs, focus is typically on launch vehicle and uncrewed spacecraft design and development. The reasoning behind this focus to enable flight testing of an integrated launch vehicle and spacecraft system to ensure it will be safe enough to allow humans on board. This is an essential process for new spacecraft, however, the practical effect is a lack of funding for the spacecraft’s human interfaces development. It can be many years before the human interface development begins, putting it late in the spacecraft lifecycle, when almost all other spacecraft systems and subsystems are already in place. This forces the usage of existing and proven technologies for the HCI interfaces. We posit that putting the human first in a spacecraft design process will yield a more effective spacecraft for exploration and long duration missions. NASA Human Research Program (HRP) has identified inadequate HCI as a risk for future missions. New tools and procedures to aid the crew in operating a complex spacecraft will be required. This paper discusses ongoing activities in the development of the next generation HCI components and systems, and a new approach toward human interfaces for spacecraft.

Salazar, George A.↗

NASA NTRS2019

Energetic Particles of Cosmic Accelerators II: Active Galactic Nuclei and Gamma-ray Bursts

The high-energy universe has revealed that energetic particles are ubiquitous in the cosmos and play a vital role in the cultivation of cosmic environments on all scales. Our pursuit of more than a century to uncover the origins and fate of these cosmic energetic particles has given rise to some of the most interesting and challenging questions in astrophysics. Within our own galaxy, we have seen that energetic particles engage in a complex interplay with the galactic environment and even drive many of its key characteristics (for more information, see the first white paper in this series). On cosmological scales, the energetic particles supplied by the jets of active galactic nuclei (AGN) are an important source of energy for the intracluster and intergalactic media, providing a mechanism for regulating star formation and black hole growth and cultivating galaxy evolution (AGN feedback). Gamma-ray burst (GRB) afterglows encode information about their circumburst environment, which has implications for massive stellar winds during previous epochs over the stellar lifecycle. As such, GRB afterglows provide a means for studying very high-redshift galaxies since GRBs can be detected even if their host galaxy cannot. It has even been suggest that GRB could be used to measure cosmological distance scales if they could be shown to be standard candles. Though they play a key role in cultivating the cosmological environment and/or enabling our studies of it, there is still much we do not know about AGNs and GRBs, particularly the avenue in which and through which they supply radiation and energetic particles, namely their jets. Despite the enormous progress in particle-in-cell and magnetohydrodynamic simulations, we have yet to pinpoint the processes involved in jet formation and collimation and the conditions under which they can occur. For that matter, we have yet to identify the mechanism(s) through which the jet accelerates energetic particles – is it the commonly invoked diffusive shock acceleration process or is another mechanism, such as magnetic reconnection, required? Do AGNs and GRBs accelerate hadrons, and if so, do they accelerate them to ultra-high energies and are there high-energy neutrinos associated with them? MeV gamma-ray astronomy, enabled by technological advances that will be realized in the coming decade, will provide a unique and indispensable perspective on the persistent mysteries of the energetic universe. This White Paper is the second of a two-part series highlighting the most well-known high-energy cosmic accelerators and contributions that MeV gamma-ray astronomy will bring to understanding their energetic particle phenomena. Specifically, MeV astronomy will: 1. Determine whether AGNs accelerate CRs to ultra-high energies; 2. Provide the missing pieces for the physics of the GRB prompt emission; 3. Measure magnetization in cosmic accelerators and search for acceleration via reconnection.

Venters, Tonia M.↗

NASA NTRS2017

Reducing V&V Cost of Flight Critical Systems: Myth or Reality?

This paper presents an overview of NASA research program on the V&V of flight critical systems. Five years ago, NASA started an effort to reduce the cost and possibly increase the effectiveness of V&V for flight critical systems. It is the right time to take a look back and realize what progress has been made. This paper describes our overall approach and the tools introduced to address different phases of the software lifecycle. For example, we have improved testing by developing a statistical learning approach tor defining test cases. The tool automatically identifies possible unsafe conditions by analyzing outliers in output data; using an iterative learning process, it can then generate more test cases that represent potentially unsafe regions of operation. At the code level, we have developed and made available as open source a static analyzer for C and C++ programs called IKOS. We have shown that IKOS is very precise in the analysis of embedded C programs (very few false positives) and a bit less for regular C and C++ code. At the design level, in collaboration with our NRA partners, we have developed a suite of analysis tools for Simulink models. The analysis is done in a compositional framework for scalability.

Brat, Guillaume P.↗