Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “ordered statistics”

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 1,369 records · Page 76

Alteration mapping at Goldfield, Nevada, by cluster and discriminant analysis of LANDSAT digital data

The ability of Landsat multispectral digital data to differentiate among 62 combinations of rock and alteration types at the Goldfield mining district of Western Nevada was investigated by using statistical techniques of cluster and discriminant analysis. Multivariate discriminant analysis was not effective in classifying each of the 62 groups, with classification results essentially the same whether data of four channels alone or combined with six ratios of channels were used. Bivariate plots of group means revealed a cluster of three groups including mill tailings, basalt and all other rock and alteration types. Automatic hierarchical clustering based on the fourth dimensional Mahalanobis distance between group means of 30 groups having five or more samples was performed. The results of the cluster analysis revealed hierarchies of mill tailings vs. natural materials, basalt vs. non-basalt, highly reflectant rocks vs. other rocks and exclusively unaltered rocks vs. predominantly altered rocks. The hierarchies were used to determine the order in which sets of multiple discriminant analyses were to be performed and the resulting discriminant functions were used to produce a map of geology and alteration which has an overall accuracy of 70 percent for discriminating exclusively altered rocks from predominantly altered rocks.

Ballew, G.↗

Prospect redux

The remote estimation of leaf biochemical content from spaceborne platforms has been the subject of many studies aimed at better understanding of terrestrial ecosystem functioning. The major ecological processes involved in exchange of matter and energy, like photosynthesis, primary production, evaportranspiration, respiration, and decomposition can be related to plant properties e.g., chlorophyll, water, protein, cellulose and lignin contents. As leaves represent the most important plant surfaces interacting with solar energy, a top priority has been to relate optical properties to biochemical constituents. Two different approaches have been considered: first, statistical correlations between the leaf reflectance (or transmittance) and biochemical content, and second, physically based models of leaf scattering and absorption developed using the laws of optics. Recently reviewed by Verdebout et al., the development of models of leaf optical properties has resulted in better understanding of the interaction of light with plant leaves. Present radiative transfer models mainly use chlorophyll and/or water contents as input parameters to calculate leaf reflectance. Inversion of these models allows to retrieve these constituents from spectrophotometric measurements. Conel et al. recently proposed a two-stream Kubelka-Munk model to analyze the influence of protein, cellulose, lignin, and starch on leaf reflectance, but in fact, the estimation of leaf biochemistry from remote sensing is still an open question. In order to clarify it, a laboratory experiment associating visible/infrared spectra of plan leaves both with physical measurements and biochemical analyses was conducted at the Joint Research Center during the summer of 1993. This unique data set has been used to upgrade the PROSPECT model, by including leaf biochemistry.

Jacquemoud, S.↗

Personalized Risk Assesment for Adverse Drug Reactions and Treatment Failures

As NASA and other space agencies prepare for future long-term space missions beyond the LEO, the cumulative impact of risk factors encountered in space increases substantially rising concerns about astronauts health. Application of on-board medications to mitigate clinical symptoms associated with certain medical conditions and illnesses is the first line of response to ensure sustainable health and performance of crew. Unfortunately, very limited research has been conducted to determine efficacy of the earth-based pharmaceuticals in a microgravity environment. In some instances, orally administered medications taken during flight were reported to be less effective than expected. Evaluation of series of experiments involving astronauts from shuttle flights shows notable individual variability to several pharmaceuticals during flight. These data provide reasonable assumption of perturbation in CYP450 enzymes during spaceflight, which contribute to the hepatic metabolism of the majority of drugs and therefore may have significant effects on therapeutic efficacy and increase treatment-related toxicity. The genes encoding the CYP450 enzymes are highly variable in humans. Inheritable variations of CYP450 hepatic metabolizer enzymes and transport proteins play a crucial role in the inter-individual variability of drug efficiency and risks of adverse drug reactions. Additionally, there are some reports that document changes in the levels of production of drug-metabolizing enzymes in microgravity. Therefore, in order to provide a safe and effective pharmaceutical treatment in space, medications selection should be based not only on the specific efficacy of medications but also on the individual drug sensitivity and flight-induced changes in metabolism of astronauts chosen for a particular mission. To our knowledge, there was no pre-flight drug sensitivity testing on a genetic level for any of the previous manned NASA space missions. Therefore, technologies capable of predicting and managing medication efficacy, side effects, and toxicity of drugs based on individual genetic variability of crew members are increasingly needed. In this report, we present results of testing the market available Personalized Prescribing System (PPS), a comprehensive, non-invasive solution for safer, targeted medication management for every crew member. Statistical accuracy and simplicity of non-invasive sample analysis demonstrate the feasibility of drug sensitivity assessment and record-keeping tool for flight surgeons and astronauts in applying the recommended medications for situations arising in flight. The information on individual drug sensitivity will translate into personalized risk assessment for adverse drug reactions and treatment failures for each drug from the medication kit as well as predefined outcome. This will address the HHC’s raised “Concern of Clinically Relevant Unpredicted Effects of Medication” as recently updated.

medications↗

NuSTAR Observation of GROJ1744−28 at Low Mass Accretion Rate

Context.Neutron stars in low-mass X-ray binaries (LMXBs) are important systems to study the physics of accretion onto compact ob-jects. The system GRO J1744−28 is particularly interesting, as it usually shows clear pulsations as well as X-ray bursts. Additionally,there are claims for a magnetic field of 5×1011G through the detection of a Cyclotron Resonant Scattering Feature (CRSF).Aims.We present the spectral analysis of GRO J1744−28 using∼29 ks of NuSTAR data taken in 2017 February at a low luminosityof 3.2×1036erg s−1(3–50 keV). Our goal is to study the variability of the source spectrum with pulse phase and to search for the claimed CRSF. Methods.The continuum spectrum is modeled with an absorbed power-law with exponential cut-off, and an additional iron line component. We find no obvious indications for a CRSF and therefore perform a detailed cyclotron line search using statistical methods.We perform this search on pulse phase-averaged as well as phase-resolved spectra. Results.GRO J1744−28 was observed at one of the lowest luminosities studied so far. The previously detected Type II X-ray bursts re absent. Clear pulsations at a period of 2.141124(9) Hz are detected. The pulse profile shows an indication of a secondary peak,which was not seen at higher flux. The 4σupper limit for the strength of a CRSF in the 3–20 keV band is 0.07 keV, lower than the strength of the line found at higher luminosity. Conclusions.The detection of pulsations shows that the source did not enter the “propeller” regime, even though the source flux of4.15×10−10erg cm−2s−1was almost one order of magnitude below the threshold for the propeller regime claimed in previous studies on this source. The transition into the propeller regime in GRO J1744−28 must therefore be below a luminosity of 3.2×1036erg s−1(3–50 keV), which implies a surface magnetic field.2.9×1011G and mass accretion rate.1.7×1016g s−1. A change of the CRSF depth as function of luminosity is not unexpected and has been observed in other sources. This result possibly implies a change in emission geometry as function of mass accretion rate to reduce the depth of the line below our detection limit.

Ole König↗

Pioneer-Venus radio occultation (ORO) data reduction: Profiles of 13 cm absorptivity

In order to characterize possible variations in the abundance and distribution of subcloud sulfuric acid vapor, 13 cm radio occultation signals from 23 orbits that occurred in late 1986 and 1987 (Season 10) and 7 orbits that occurred in 1979 (Season 1) were processed. The data were inverted via inverse Abel transform to produce 13 cm absorptivity profiles. Pressure and temperature profiles obtained with the Pioneer-Venus night probe and the northern probe were used along with the absorptivity profiles to infer upper limits for vertical profiles of the abundance of gaseous H2SO4. In addition to inverting the data, error bars were placed on the absorptivity profiles and H2SO4 abundance profiles using the standard propagation of errors. These error bars were developed by considering the effects of statistical errors only. The profiles show a distinct pattern with regard to latitude which is consistent with latitude variations observed in data obtained during the occultation seasons nos. 1 and 2. However, when compared with the earlier data, the recent occultation studies suggest that the amount of sulfuric acid vapor occurring at and below the main cloud layer may have decreased between early 1979 and late 1986.

Steffes, Paul G.↗

A Scheme for finding the Front Boundary of an Interplanetary Magnetic Cloud

We developed a scheme for finding the front boundary of an interplanetary magnetic cloud (MC) based on criteria that depend on the possible existence of any one or all of six specific solar wind features. The features that the program looks for, within +/- 2 hours of a preliminarily determined time for the front boundary, estimated either by visual inspection or by an automatic MC identification scheme, are: (1) a sufficiently large directional discontinuity in the interplanetary magnetic field (IMF), (2) existence of a magnetic hole, (3) a significant proton plasma beta drop, (4) a significant proton temperature drop, (5) a marked increase in the IMF's intensity, and (6) a significant decrease in a normalized root-mean-square deviation (RMS)of the magnetic field - where the scheme was tested using 5, 10, 15, and 20 minute averages of the relevant physical quantities, in order to find the optimum average (and RMS) to use. Other criteria, besides these six, were examined and dismissed as not reliable, e.g., plasma speed. The scheme was developed specifically for aiding in forecasting the strength and timing of a geomagnetic storm due to the passage of an interplanetary MC in real-time, but can be used in post ground-data collection for imposition of consistency in choosing a MC's front boundary. The scheme has been extensively tested, first using 80 bona fide MCs over about 9 years of WIND data, and also for 121 MC-like structures as defined by a program that automatically identifies such structures over the same period. Optimum limits for various parameters in the scheme were found by statistical studies of the WIND MCs. The resulting limits can be user-adjusted for other data sets, if desired. Final testing of the 80 MCs showed that for 50 percent of the events the boundary estimates occurred within +/-10 minutes of visually determined times, 80 percent occurred within +/-30 minutes, and 91 percent occur within +/-60 minutes, and three or more individual boundary tests were passed for 88 percent of the total MCs. The scheme and its testing will be described.

Lepping, Ronald P.↗

System for Secure Integration of Aviation Data

The Aviation Data Integration System (ADIS) of Ames Research Center has been established to promote analysis of aviation data by airlines and other interested users for purposes of enhancing the quality (especially safety) of flight operations. The ADIS is a system of computer hardware and software for collecting, integrating, and disseminating aviation data pertaining to flights and specified flight events that involve one or more airline(s). The ADIS is secure in the sense that care is taken to ensure the integrity of sources of collected data and to verify the authorizations of requesters to receive data. Most importantly, the ADIS removes a disincentive to collection and exchange of useful data by providing for automatic removal of information that could be used to identify specific flights and crewmembers. Such information, denoted sensitive information, includes flight data (here signifying data collected by sensors aboard an aircraft during flight), weather data for a specified route on a specified date, date and time, and any other information traceable to a specific flight. The removal of information that could be used to perform such tracing is called "deidentification." Airlines are often reluctant to keep flight data in identifiable form because of concerns about loss of anonymity. Hence, one of the things needed to promote retention and analysis of aviation data is an automated means of de-identification of archived flight data to enable integration of flight data with non-flight aviation data while preserving anonymity. Preferably, such an automated means would enable end users of the data to continue to use pre-existing data-analysis software to identify anomalies in flight data without identifying a specific anomalous flight. It would then also be possible to perform statistical analyses of integrated data. These needs are satisfied by the ADIS, which enables an end user to request aviation data associated with de-identified flight data. The ADIS includes client software integrated with other software running on flight-operations quality-assurance (FOQA) computers for purposes of analyzing data to study specified types of events or exceedences (departures of flight parameters from normal ranges). In addition to ADIS client software, ADIS includes server hardware and software that provide services to the ADIS clients via the Internet (see figure). The ADIS server receives and integrates flight and non-flight data pertaining to flights from multiple sources. The server accepts data updates from authorized sources only and responds to requests from authorized users only. In order to satisfy security requirements established by the airlines, (1) an ADIS client must not be accessible from the Internet by an unauthorized user and (2) non-flight data as airport terminal information system (ATIS) and weather data must be displayed without any identifying flight information. ADIS hardware and software architecture as well as encryption and data display scheme are designed to meet these requirements. When a user requests one or more selected aviation data characteristics associated with an event (e.g., a collision, near miss, equipment malfunction, or exceedence), the ADIS client augments the request with date and time information from encrypted files and submits the augmented request to the server. Once the user s authorization has been verified, the server returns the requested information in de-identified form.

Kulkarni, Deepak↗

Long Duration Head-Down Tilt Bed Rest Studies: Safety Considerations Regarding Vision Health

Visual symptoms reported in astronauts returning from long duration missions in low Earth orbit, including hyperopic shift, choroidal folds, globe flattening and papilledema, are thought to be related to fluid shifts within the body due to microgravity exposure. Because of this possible relation to fluid shifts, safety considerations have been raised regarding the ocular health of head-down tilt (HDT) bed rest subjects. HDT is a widely used ground ]based analog that simulates physiological changes of spaceflight, including fluid shifts. Thus, vision monitoring has been performed in bed rest subjects in order to evaluate the safety of HDT with respect to vision health. Here we report ocular outcomes in 9 healthy subjects (age range: 27-48 years; Male/Female ratio: 8/1) completing bed rest Campaign 11, an integrated, multidisciplinary 70-day 6 degrees HDT bed rest study. Vision examinations were performed on a weekly basis, and consisted of office-based (2 pre- and 2 post-bed rest) and in-bed testing. The experimental design was a repeated measures design, with measurements for both eyes taken for each subject at each planned time point. Findings for the following tests were all reported as normal in each testing session for every subject: modified Amsler grid, red dot test, confrontational visual fields, color vision and fundus photography. Overall, no statistically significant differences were observed for any of the measures, except for both near and far visual acuity, which increased during the course of the study. This difference is not considered clinically relevant as may result from the effect of learning. Intraocular pressure results suggest a small increase at the beginning of the bed rest phase (p=0.059) and lesser increase at post-bed rest with respect to baseline (p=0.046). These preliminary results provide the basis for further analyses that will include correlations between intraocular pressure change pre- and post-bed rest, and optical coherence tomography measurements of the retina.

Cromwell, Ronita L.↗

Analysis of Rawinsonde Spatial Separation for Space Launch Vehicle Applications at the Eastern Range

Space launch vehicles use day-of-launch steering commands based upon the upper-level (UL) atmospheric environments in order to alleviate wind induced structural loading and optimize ascent trajectory. Historically, UL wind measurements to support launch operations at the National Aeronautics and Space Administration's (NASA) Kennedy Space Center (KSC), co-located on the United States Air Force's Eastern Range (ER) at the Cape Canaveral Air Force Station use high-resolution (HR) rawinsondes. One inherent limitation with rawinsondes is the approximately one-hour sampling time necessary to measure tropospheric winds. Additionally, rawinsonde drift during ascent due to the ambient wind environment can result in the balloon being hundreds of kilometers down range, which results in questioning whether the measured winds represent the wind environment the vehicle will experience during ascent. This paper will describe the use of balloon profile databases to statistically assess the drift distance away from the ER launch complexes during HR rawinsonde ascent as a function of season. Will also discuss an alternative method to measure UL wind environments in closer proximity to the vehicle trajectory when launching from the ER.

Decker, Ryan K.↗

Analysis of Rawinsonde Spatial Separation for Space Launch Vehicle Applications at the Eastern Range

Space launch vehicles develop day-of-launch steering commands based upon the upper-level atmospheric environments in order to alleviate wind induced structural loading and optimize ascent trajectory. Historically, upper-level wind measurements to support launch operations at the National Aeronautics and Space Administration's (NASA's) Kennedy Space Center co-located on the United States Air Force's Eastern Range (ER) at the Cape Canaveral Air Force Station use high-resolution rawinsondes. One inherent limitation with rawinsondes consists of taking approximately one hour to generate a vertically complete wind profile. Additionally, rawinsonde drift during ascent by the ambient wind environment can result in the balloon being hundreds of kilometers down range, which results in questioning whether the measured winds represent the wind environment the vehicle will experience during ascent. This paper will describe the use of balloon profile databases to statistically assess the drift distance away from the ER launch complexes during rawinsonde ascent as a function of season and discuss an alternative method to measure upper level wind environments in closer proximity to the vehicle trajectory launching from the ER.

Decker, Ryan K.↗

Self-organizing map (SOM) of space acceleration measurement system (SAMS) data

In this paper, space acceleration measurement system (SAMS) data have been classified using self-organizing map (SOM) networks without any supervision; i.e., no a priori knowledge is assumed regarding input patterns belonging to a certain class. Input patterns are created on the basis of power spectral densities of SAMS data. Results for SAMS data from STS-50 and STS-57 missions are presented. Following issues are discussed in details: impact of number of neurons, global ordering of SOM weight vectors, effectiveness of a SOM in data classification, and effects of shifting time windows in the generation of input patterns. The concept of 'cascade of SOM networks' is also developed and tested. It has been found that a SOM network can successfully classify SAMS data obtained during STS-50 and STS-57 missions.

STS-57 Shuttle Project↗

Analysis techniques for two-dimensional infrared data

In order to evaluate infrared detection and remote sensing systems, it is necessary to know the characteristics of the observational environment. For both scanning and staring sensors, the spatial characteristics of the background may be more of a limitation to the performance of a remote sensor than system noise. This limitation is the so-called spatial clutter limit and may be important for systems design of many earth application and surveillance sensors. The data used in this study is two dimensional radiometric data obtained as part of the continuing NASA remote sensing programs. Typical data sources are the Landsat multi-spectral scanner (1.1 micrometers), the airborne heat capacity mapping radiometer (10.5 - 12.5 micrometers) and various infrared data sets acquired by low altitude aircraft. Techniques used for the statistical analysis of one dimensional infrared data, such as power spectral density (PSD), exceedance statistics, etc. are investigated for two dimensional applicability. Also treated are two dimensional extensions of these techniques (2D PSD, etc.), and special techniques developed for the analysis of 2D data.

Winter, E. M.↗

LAPS Lidar Measurements at the ARM Alaska Northslope Site (Support to FIRE Project)

This report consists of data summaries of the results obtained during the May 1998 measurement period at Barrow Alaska. This report does not contain any data interpretation or analysis of the results which will follow this activity. This report is forwarded with a data set on magnetic media which contains the reduced data from the LAPS lidar in 15 minute intervals. The data was obtained during the period 15-30 May 1998. The measurement period overlapped with several aircraft flights conducted by NASA as part of the FIRE project. The report contains a summary list of the data obtained plus figures that have been prepared to help visualize the measurement periods. The order of the presentation is as follows: Section 1. A copy of the Statement of Work for the planned activity of the second measurement period at the ARM Northslope site is provided. Section 2. A list of the data collection periods shows the number of one minute data records stored during each hour of operation and the corresponding size (Mbytes) of the one hour data folders. The folder and file names are composed from the year, month, day, hour and minute. The date/time information is given in UTC for easier comparison with other data sets. Section 3. A set of 4 comparisons between the LAPS lidar results and the sondes released by the ARM scientists from a location nearby the lidar. The lidar results show the +/- 1 sigma statistical error on each of the independent 75 m altitude bins of the data. This set of 4 comparisons was used to set and validate the calibration value which was then used for the complete data set. Section 4. A set of false color figures with up to 10 hours of specific humidity measurements are shown in each graph. Two days of measurements are shown on each page. These plots are crude representations of the data and permit a survey which indicates when the clouds were very low or where interesting events may occur in the results. These plots are prepared using the real time sequence plot program which has no smoothing in either the altitude or time (except that you are allowed to pick the integration time and time step. All of these plots were prepared with 15 minute integration and 5 minute time step. Section 5. A set of time sequence data for all of the extended observation periods are shown with a smoothing algorithm from the Matlab plotting library. Most of these data are integrated for 5 minutes and stepped at I minute intervals but several plots are shown with both 15 minute integration and 5 minute steps. The upper level on these data was selected and converted to the white background where the error in the specific humidity reached 25%. Section 6. The set of one hour integrated plots shown with up to 4 hours per page are provided- from the real time analysis snapshot program. The only difference in these plots and the real time display is that the plots are stopped at an altitude where the error appears to be too large for the data to contain any meaningful information.

Philbrick, C. Russell↗

Plasmaspheric H+, He+, O+, He++, and O++ Densities and Temperatures

Thermal plasmaspheric densities and temperatures for five ion species have recently become available, even though these quantities were derived some time ago from the Retarding Ion Mass Spectrometer onboard the Dynamics Explorer 1 satellite over the years 1981-1984. The quantitative properties will be presented. Densities are found to have one behavior with lessor statistical variation below about L=2 and another with much greater variability above that Lshell. Temperatures also have a behavior difference between low and higher L-values. The density ratio He++/H+ is the best behaved with values of about 0.2% that slightly increase with increasing L. Unlike the He+/H+ density ratio that on average decreases with increasing Lvalue, the O+/H+ and O++/H+ density ratios have decreasing values below about L=2 and increasing average ratios at higher L-values. Hydrogen ion temperatures range from about 0.2 eV to several 10s of eV for a few measurements, although the bulk of the observations are of temperatures below 3 eV, again increasing with L-value. The temperature ratios of He+/H+ are tightly ordered around 1.0 except for the middle plasmasphere between L=3.5 and 4.5 where He+ temperatures can be significantly higher. The temperatures of He++, O+, and O++ are consistently higher than H+.

Gallagher, D. L.↗

Plasmaspheric H+, He+, He++, O+, and O++ Densities and Temperatures

Thermal plasmaspheric densities and temperatures for five ion species have recently become available, even though these quantities were derived some time ago from the Retarding Ion Mass Spectrometer onboard the Dynamics Explorer 1 satellite over the years 1981-1984. The quantitative properties will be presented. Densities are found to have one behavior with lessor statistical variation below about L=2 and another with much greater variability above that Lshell. Temperatures also have a behavior difference between low and higher L-values. The density ratio He++/H+ is the best behaved with values of about 0.2% that slightly increase with increasing L. Unlike the He+/H+ density ratio that on average decreases with increasing Lvalue, the O+/H+ and O++/H+ density ratios have decreasing values below about L=2 and increasing average ratios at higher L-values. Hydrogen ion temperatures range from about 0.2 eV to several 10s of eV for a few measurements, although the bulk of the observations are of temperatures below 3 eV, again increasing with L-value. The temperature ratios of He+/H+ are tightly ordered around 1.0 except for the middle plasmasphere between L=3.5 and 4.5 where He+ temperatures can be significantly higher. The temperatures of He++, O+, and O++ are consistently higher than H+.

Gallagher, G. L.↗

A review of near-wall Reynolds-stress

The advances made in second-order near-wall turbulence closures are summarized. All closures examined are based on some form of high Reynolds number models for the Reynolds stress and the turbulent kinetic energy dissipation rate equations. Consequently, most near-wall closures proposed to data attempt to modify the high Reynolds number models for the dissipation rate equation so that the resultant models are applicable all the way to the wall. The near-wall closures are examined for their asymptotic behavior so that they can be compared with the proper near-wall behavior of the exact equations. A comparison of the closure's performance in the calculation of a low Reynolds number plane channel flow is carried out. In addition, the closures are evaluated for their ability to predict the turbulence statistics and the limiting behavior of the structure parameters compared to direct simulation data.

So, R. M. C.↗

The tail plane

This report deals with the calculation of the equilibrium, statistical stability, and damping of the tail plane. The author has simplified the present theory of longitudinal stability for the particular purpose of obtaining one definite coefficient characteristics of the effect of the tail plane. This coefficient is obtained by substituting certain aerodynamic characteristics and some dimensions of the airplane in a comparatively simple mathematical expression. Care has been taken to confine all aerodynamical information necessary for the calculation of the coefficient to the well-known curves representing the qualities of the wing section. This is done by making use of the present results of modern aerodynamics. All formulas and relations necessary for the calculation are contained in the paper. They give in some cases only an approximation of the real values. An example of calculation is added in order to illustrate the application of the method. The coefficient indicates not only whether the effect of the tail plane is great enough, but also whether it is not too great. It appears that the designer has to avoid a certain critical length of the fuselage, which inevitably gives rise to periodical oscillations of the airplane. The discussion also shows the way and in what direction to carry out experimental work.

Munk, Max M↗

MARGInS: Model-Based Analysis of Realizable Goals in Systems

Under NASAs Constellation effort, the Exploration Technology Development Program funded research toward a system validation capability that applied machine learning and test-case generation techniques to the analysis of black-box system behavior. The behavior analysis capability scaled to spaces of hundreds of input parameters and tens of thousands of test cases. Aerospace systems at the vehicle level, especially those systems which contain some level of autonomy, are best described by hybrid and non-linear mathematics. Even simplified models of such systems need parameter dimensionalities in the hundreds or thousands of parameters in order to capture sufficient fidelity. The System Safety Assessments (such as those described in the SAE ARP 4761A Safety Assessment Process guidelines) for these systems are prone to errorinteractions between the vehicles subsystems are complex, and can display emergent behaviors. NASA captured this new analysis in the Model-based Analysis of Realizable Goals in Systems (MARGInS) tool and applied it to the Pad Abort 1 (PA-1) simulation as part of the independent validation and verification cycle before the PA-1 flight test in May of 2010. MARGInS evaluated the adherence of the high-fidelity simulation to its requirements, and deter- mined the margins to failure from the expected nominal input conditions. Following the PA-1 test, the capabilities within the MARGInS framework have been extended with sophisticated statistical and white-box test case generation techniques and applied to other NASA missions. The frame- work now includes a critical factors analysis that was applied to NASAs Orion simulation and design. NASAs Aeronautics Research Mission Directorate (ARMD) leveraged the existing MARGInS framework for work on aviation safety for civil transport vehicles and for research on autonomy issues. The NASA ARMD effort created a time series output prediction capability that has been used to characterize trajectories for a plane with an adaptive control system, and a safety boundary detection capability that has been applied to an air traffic control concept of operation for the Federal Aviation Administration. The statistical and machine- learning based techniques within MARGInS have been successfully combined with concolic execution to improve the coverage of a critical unit by driving system-level inputs. The use case driving the concolic execution and MARGInS integration was inspired by the Air France 447 disaster in which the loss of a critical functionality (the airspeed calculation from the pitot tubes) led to loss of the entire plane with the people aboard. To illustrate capabilities and limitations, we will highlight the analyses for the applications listed above. We will then discuss the future plans for MARGInS and its interfaces with other tools.

Validation↗