550909 research outputs found
Sort by
Bridging the Gap Between Requirements and Model Analysis : Evaluation on Ten Cyber-Physical Challenge Problems
Full text linkFormal verfication and simulation are powerful tools to validate requirements against complex systems. [Problem] Requirements are developed in early stages of the software lifecycle and are typically written in ambiguous natural language. There is a gap between such requirements and formal notations that can be used by verification tools, and lack of support for proper association of requirements with software artifacts for verification. [Principal idea] We propose to write requirements in an intuitive, structured natural language with formal semantics, and to support formalization and model/code verification as a smooth, well-integrated process. [Contribution] We have developed an end-to-end, open source requirements analysis framework that checks Simulink models against requirements written in structured natural language. Our framework is built in the Formal Requirements Elicitation Tool (fret); we use fret's requirements language named fretish, and formalization of fretish requirements in temporal logics. Our proposed framework contributes the following features: 1) automatic extraction of Simulink model information and association of fretish requirements with target model signals and components; 2) translation of temporal logic formulas into synchronous dataflow cocospec specifications as well as Simulink monitors, to be used by verification tools; we establish correctness of our translation through extensive automated testing; 3) interpretation of counterexamples produced by verification tools back at requirements level. These features support a tight integration and feedback loop between high level requirements and their analysis. We demonstrate our approach on a major case study: the Ten Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems
Detect-and-Avoid: Flight Test 6 Scripted Encounters Data Analysis
Full text linkThe Unmanned Aircraft System (UAS) in the National Airspace System (NAS) project conducted Flight Test 6 (FT6) in 2019. The ultimate goal of this flight test was to produce data to inform RTCA SC-228's Phase II Minimum Operational Performance Standards (MOPS) for Detect and Avoid (DAA) and Low Size, Weight, and Power Sensors. This report documents the analysis of scripted encounters' data. Scripted encounters own were analyzed and categorized based on the outcome of alert, maneuver guidance, and effectiveness of pilots' maneuver in resolving conflicts. Results indicate that UAS pilots' decisions as well as intruder maneuvers are leading factors that contribute to ineffective DAA maneuvers. Results also show that adding buffers to the DAA's suggested minimum turn angle improves effectiveness of the DAA maneuvers
Multilateral Medical Operations Panel's Acoustics Sub-Working Group for the International Space Station
Full text linkNo abstract availabl
Scaling Observation Error for Optimal Assimilation of CCI SST Data into a Regional HYCOM EnOI System
Full text linkSouth Africa currently possesses no operational ocean forecasting system for the purpose of predicting ocean state variables including temperature,salinity and velocity. Substantial initial efforts towards this goal have been made and resulted in a system using a regional Hybrid Coordinate Ocean Model (HYCOM) along with the Ensemble Optimal Interpolation (EnOI)assimilation scheme. Assimilating only sea surface temperature (SST) observations from the Operational Sea Surface Temperature and Sea Ice Analysis (OSTIA) product into the system resulted in a degraded forecast. Aiming to address this, Climate Change Initiative (CCI) SSTs are assimilated into the system in an effort to improve the forecast skill. Observation errors in the assimilated product are used in the EnOI to determine whether more confidence should be placed in the model or observations in producing the analysis, but overconfidence in observations can shock the model and result in failure. To tweak the impact of the assimilation, a scaling factor is applied in the assimilation code. A scaling factor of 25 was found to produce a favourable result with lowest mean root mean square error (RMSE;1.098C) between the model and observations over time. Postulating the error to be overconfident, a floor value is introduced in order to set a minimum value for the observation error thereby reducing confidence in the observations. These experiments fared less favourably with a floor value of 0.5 and a scaling factor of 15 producing the best mean RMSE (1.118C)
Autonomous Assessment and Predictive Capabilities for Low-Altitude Urban Flight Operations
Full text linkThe integration of unmanned aerial vehicles in the national airspace will introduce new vehicle types, technologies, and operational paradigms for which safety must be maintained and hazards mitigated. One approach is to attempt to design for possible hazards and unsafe incidents that can occur at different phases of flight (pre-flight, in-flight, and post-flight) and during ground operations. Another is to mitigate safety incidents by implementing changes to policies, procedures, regulations, and design to cover personnel, equipment, and aircraft during operations. These and other techniques, not described herein, are typically conservative or adhoc in that they reduce the likelihood of risk after safety incidents have occurred. In this work, the goal is to develop a more predictive capability to monitor and mitigate risk and hazards to safety in-time enough for decisions to be made. In line with NASAs Aeronautics Mission Directorate Strategic Thrust 5 [1] (In-Time System-Wide Safety Assurance), the System-Wide Safety (SWS) project under which this work falls, is developing and demonstrating innovative and safety-oriented solutions that enable modernization and aviation transformation. To that effect, this work will detail data-driven efforts on the SWS project to develop a number of safety-critical services for in-time monitoring and mitigation of hazards to low-altitude flight operations. First, hazards to these operations are identified based on previous work by NASA [2,3] and others in the aerospace industry. These hazards include (i) unsafe proximity to other vehicles, property, and people on the ground, (ii) critical system failures such as communication signal/GPS loss, unexpected propulsion system degradation, engine/power failure, and (iii) operational/environmental issues such as severe weather and gusty winds. For these hazards, safety metrics, which can be quantified and assessed are defined, models to monitor and predict them are developed, and flight test data is generated to develop, validate, and test these models, considering the complex interplay of the different hazards that define them [4-6]. In addition, the uncertainty in the non-deterministic effects that cannot be modeled nor predicted and unknown unknowns that arise after design/testing and during operations must be handled in rigorous manner. As a result, for each of the developed safety metrics, their dependencies on one another are characterized and a framework for handling the uncertainties inherent in the modeling, algorithms, and measurements required for prediction is also developed [7]. To that effect, this presentation will describe the safety metrics and services already developed and underway under the System-Wide Safety project that utilize data-driven techniques for the identification of anomalies, precursors, and trends (APTs) to monitor and mitigate hazards to safety, in-time, for urban flight operations in low-altitude airspace
Searching for Evidence of Life in Deep Time and Space
Full text linkCyanobacterial mats provide insights into ancient benthic microbial communities and their biosignatures. Thick mats occupy hypersaline saltern ponds at Guerrero Negro, Baja California, Mexico. Mat biota maintains rapid rates of biogeochemical processes under steep and rapidly changing environmental gradients. Cycling of C, O, and S all increased identically with temperature, indicating the tight coupling of these cycles. An enormous microbial diversity exhibits a highly structured spatial distribution of populations. Combined universal clone libraries from all mat layers indicated Bacteria/Archaea/Eukarya ratios of 57:7:1. More than 10,000 unique bacterial sequences were present. The relative abundance of Archaea increased with depth - below 10 cm, solvent-extractable archaeal lipids were twice as abundant as bacterial lipids. Only 15 species of Eukarya were found among 890 clones analyzed. Degradation of the mats insoluble macromolecular organic fraction (IMOM) by hydropyrolysis released a complex variety of linear, branched and polycyclic alkane structures, e.g., hopanes, methylhopanes and steranes. Covalent binding of these biosignatures into IMOM aids their long-term geological preservation. Mars rover missions revealed evidence of long-lived fluvial lacustrine systems and organics in associated mudstones. NASAs Mars 2020 rover mission will examine sediments in Jezero crater, including a delta and shoreline carbonate deposits, environments that on Earth have sustained microbial mats
Dust from Mars-Analog Plains (Iceland): Physico-Compositional Properties as a Function of Grain-Size Fraction
Full text linkDust is a key component of the geological and climatic systems of Earth and Mars. On Mars, dust is ubiquitous. It coats rocks and soils, and, in the atmosphere, it interacts strongly with solar and thermal radiation. Yet, key questions remain about the genesis and fate of martian dust, as well as its sources, composition, and properties. We collected wind-blown dust from basaltic plains in SW Iceland at Skjaldbreiauhraun that represent a geologic Mars-analog environment. Icelandic dust differs from the typical continental sources (e.g. Sahara, Asia) because of its basaltic volcanogenic origin, which is similar to Mars. Dust collection took place in July of 2019 as a complementary project to the SAND-E: Semi-Autonomous Navigation for Detrital Environments project. Here we report preliminary analyses of this Mars-analog dust material, with the goal of understanding the processes that control the physico-chemical proper-ties of the different grain-size fractions
Stability of Actinolite on Venus
Full text linkVenus currently has a hostile surface environment with temperatures of ~460 C, pres-sures near 92 bars, and an atmosphere composed of super critical CO2 hosting a myriad of other potentially reactive gases (e.g., SO2, HCl, HF). However, it has been proposed that its surface may not have always been so harsh. Models suggest there may have been billions of years of clement conditions allowing an Earth-like environment with liquid water oceans. If such conditions existed, it is possible Venus formed a similar array of hydrous or aqueous minerals as seen on other planets with liquid surface water (e.g., Mars, Earth). Based on thermodynamic modeling, many of these phases would not be stable under the current atmospheric conditions on Venus, dehydrating due to the high temperatures and low concentration of H2O in the atmosphere. However, the rate of decomposition of these phases may allow them to remain present on the surface over geologic time. For example, experiments on the reaction rate of tremolite (Ca2Mg5Si8O22(OH)2) show a 50% decomposition time of 2.7 Gyr for micrometer sized grains in unreactive atmospheres (i.e., without SO2) at 740 K, and a 50% decomposition time of 70 Gyr for crystals several millimeters to centimeters in size. If hydrous minerals can remain on the surface of Venus over geologic time, it has implications for our detection of evidence of these past environments, and also for the overall water budget of the planet. If after surficial dehydration the planet was able to still store water in its crust, possible processes such as subduction or metamorphism could still have operated using stored water long after liquid surface water evaporated. Several previous studies have focused on experimental investigations of mineral stability on Venus. In particular, the works of studied the decomposition rate of tremolite under conditions relevant to Venus. As their focus was on decomposition of the mineral due to lack of water in the atmosphere, their experiments were undertaken using only CO2 or N2 gas at atmospheric pressure. Re-cent experiments have examined reactivity of other minerals with the Venusian atmosphere using more complex gas compositions at similar pressures to those seen on Venus. These studies show reaction of silicate minerals with atmospheric components on relatively short timescales (i.e., on the order of days). The reported reactions of silicate materials in both studies produced iron oxides, Ca sulfates, and Na sulfates. These ions are present in many amphiboles, and Ca was proposed by Johnson and Fegley to potentially have an important role in the decomposition mechanism for tremolite, with the Ca-O bond being the first to break during decomposition. The potential involvement of Ca in both processes raises the question of whether or not the reaction to form a secondary mineral phase will influence the rate of amphibole break-down (e.g., discussion in for tremolite). Additionally, reaction of Ca with atmospheric gases may result in a different secondary mineral assemblage than simple amphibole decomposition, which will need to be recognized when searching for evidence of past hydrated minerals on the Venusian surface. In order to understand the effect of this reaction on the overall preservation potential of amphibole on the surface of Venus, we are conducting experiments in both reactive and nonreactive atmospheres using the mineral actinolite (Ca2(Mg,Fe)5Si8O22(OH)2), an amphibole with similar crystal structure to tremolite that contains both Ca and Fe