A note on AFLs and bounded erasing
F-bounded erasing operator in abstract family of language for mapping, applying to families defined by tape-bounded Turing acceptors
Book, R. V.↗
SEARCH · Search NASA
Results for “AFL++”
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.
The ARADS Project as an Astrobiological Survey Mission Prototype
An astrobiological survey prior to human arrival will be important for preservation of signs of any existing or past evidence of Martian life, to reduce the risk of unintentional forward contamination of Martian environments in which terrestrial microbes might be able to gain a foothold (e.g., [1]), and to potentially protect the health of any human crews and enable their safe return to Earth. Evaluating for the presence of life and biosignatures may become a critical-path Mars exploration precursor in the not-so-far future, circa 2030-35. The near-subsurface, with its potential combination of volatiles, vapor exchange with the surface, and shelter from surface radiation, will be a primary initial target for in-situ astrobiological investigation. Sample acquisition, drilling and sample handling are key elements of robotic missions that target the subsurface [2], as well as near-surface ground ice deposits. In the mid 2000s, the Mars Astrobiology Field Laboratory (AFL) was proposed as a follow-on mission concept to the Mars Science Laboratory (MSL)/Curiosity rover mission [3]. The AFL would have included precision drilling to 2m, automated sample handling and remote processing of cores. However, the AFL concept needed further development and maturation. The Atacama Rover Astrobiology Drilling Studies (ARADS) project concept [4] was in part AFL-inspired. The 2014 ARADS concept included a medium sized rover, with habitability instruments, including the Phoenix Wet Chemistry Laboratory (WCL) [5], and an enhanced version of the ExoMars Mars Organic Molecule Analyzer (MOMA) Laser Desorption-Linear Ion Trap Mass Spectrometer (LITMS) [6]. ARADS likewise included two biosignature detection instruments -- the Signs of Life Detector (SOLID) immunoassay instrument [7,8] and the Chemical Laptop-derived [9] Planetary In-Situ Capillary Electrophoresis System (PISCES), while mitigating Planetary Protection-relevant contamination issues [10]. ARADS project objectives were to demonstrate the potential science return for such a mission in the context of the search for evidence of life, and technically to demonstrate the feasibility of roving with drilling missions to Mars. ARADS technology goals targeted analog-site demonstrations of automated drilling and sampling, integrated with its mobile habitability and biosignature detection instruments. And ARADS science operations goals developed remote science, contamination mitigation, and communications methods to enable simulating AFL-like science operations with time delays, directed by a remote science team[11]. Five subsequent Mars analog site field demonstrations (in Chile’s hyperarid Atacama Desert, 2016-19) provided a step-by-step development pathway for the ARADS platform’s science capabilities and systems integration, culminating in an integrated remote roving mission simulation in the final ARADS year (2019).
biosignatures↗
StructuredFuzzer: Fuzzing Structured Text-Based Control Logic Applications
Rigorous testing methods are essential for ensuring the security and reliability of industrial controller software. Fuzzing, a technique that automatically discovers software bugs, has also proven effective in finding software vulnerabilities. Unsurprisingly, fuzzing has been applied to a wide range of platforms, including programmable logic controllers (PLCs). However, current approaches, such as coverage-guided evolutionary fuzzing implemented in the popular fuzzer American Fuzzy Lop Plus Plus (AFL++), are often inadequate for finding logical errors and bugs in PLC control logic applications. They primarily target generic programming languages like C/C++, Java, and Python, and do not consider the unique characteristics and behaviors of PLCs, which are often programmed using specialized programming languages like Structured Text (ST). Furthermore, these fuzzers are ill suited to deal with complex input structures encapsulated in ST, as they are not specifically designed to generate appropriate input sequences. This renders the application of traditional fuzzing techniques less efficient on these platforms. To address this issue, this paper presents a fuzzing framework designed explicitly for PLC software to discover logic bugs in applications written in ST specified by the IEC 61131-3 standard. The proposed framework incorporates a custom-tailored PLC runtime and a fuzzer designed for the purpose. We demonstrate its effectiveness by fuzzing a collection of ST programs that were crafted for evaluation purposes. We compare the performance against a popular fuzzer, namely, AFL++. The proposed fuzzing framework demonstrated its capabilities in our experiments, successfully detecting logic bugs in the tested PLC control logic applications written in ST. On average, it was at least 83 times faster than AFL++, and in certain cases, for example, it was more than 23,000 times faster.
47 OTHER INSTRUMENTATION↗
Flight evaluation of two segment approaches for jet transport noise abatement
A 75 flight-hour operational evaluation was conducted with a representative four-engine fan-jet transport in a representative airport environment. The flight instrument systems were modified to automatically provide pilots with smooth and continuous pitch steering command information during two-segment approaches. Considering adverse weather, minimum ceiling and flight crew experience criteria, a transition initiation altitude of approximately 800 feet AFL would have broadest acceptance for initiating two-segment approach procedures in scheduled service. The profile defined by the system gave an upper glidepath of approximately 6 1/2 degrees. This was 1/2 degree greater than inserted into the area navigation system. The glidepath error is apparently due to an erroneous along-track, distance-to-altitude profile.
Rogers, R. A.↗
Mars surface mobility comparison of past, present, and future rover systems
In order to meet the mobility requirements for AFL, the mass of the rover and the potential investigation site are taken into account.
Wilson, T. J.↗
Speeding-up fuzzing through directional seeds
Abstract Fuzzing is an automated process for discovering inputs in a program that may trigger unexpected behavior. Today, fuzzing has become a standard practice for the discovery of bugs and security vulnerabilities. However, the main issue with such practices is that the exploration of the input space of programs can often be prohibitively expensive. Therefore, several alternative fuzzing strategies have been introduced during the last few years. Some fuzzing techniques rely on human expertise to provide a plausible set of initial input examples, namely, seeds. However, the process of handcrafting seeds for fuzzing purposes often becomes strenuous for humans as it requires a deeper understanding of the Program-Under-Test (PUT). Also, the use of known inputs to programs often does not trigger vulnerable program behavior or may not reach potentially vulnerable code locations. To address those issues, we propose a seed generation framework that enables Human-In-The-Loop (HITL) directed fuzzing where the human assumes a more active role in the creation of seeds that can penetrate and assess desired locations of the PUT. Our proposed framework uses Symbolic Execution (SE) to generate seeds that exercise paths to target program locations. Moreover, our framework enables the visualization of the explored execution paths in the binary of the PUT for the generated seeds. We evaluated our approach on a set of 12 carefully designed C programs with diverse characteristics that mimic real-world programs. The experimental results show the effectiveness of the proposed approach in improving the performance of standard fuzzing tools such as the American Fuzzy Lop ("Image missing" <#comment/> ). Specifically, our solution can generate seeds that substantially enhance the performance of the fuzzer, achieving speedups ranging from $$1.46\times $$ 1.46 × to $$68.53\times $$ 68.53 × for branch conditions, $$1.39\times $$ 1.39 × to $$254.62\times $$ 254.62 × for branch depths, $$14,879.59\times $$ 14 , 879.59 × to $$30,295.88\times $$ 30 , 295.88 × for branch widths over traditional seeds. Additionally, the speedup increases with the number of target function ranging from $$12,260\times $$ 12 , 260 × to $$22,856.07\times $$ 22 , 856.07 × over traditional seeds while only requiring less than 15 seconds on average for the seed generation step.
97 MATHEMATICS AND COMPUTING↗
Siting bioenergy facilities in the United States: Measuring participation in decisions and distribution of effects
Scientists and stakeholders can inform the process of siting renewable energy facilities in ways that do not perpetuate socioeconomic disparities associated with fossil fuel industries or create new ones. Procedural justice indicators and distributional justice indicators that incorporate environmental, social, and economic objectives can be used to site energy facilities in ways that increase benefits and reduce negative impacts to disadvantaged and underserved populations. A generic list of potential energy justice indicators for siting bioenergy facilities was developed collaboratively between U.S. bioenergy researchers and diverse agriculture, energy, and energy and environmental justice stakeholders and experts. From this list smaller numbers of indicators can be selected or modified with communities for local siting of bioenergy facilities. Groups of indicators can be used to guide biorefinery or biopower siting and permitting decisions, e.g., to compare siting options, to draw early attention to key problems, or to track progress toward justice-related targets.
09 BIOMASS FUELS↗
Characterizing gravitational wave detector networks: from A # to cosmic explorer
Gravitational-wave observations by the laser interferometer gravitational-wave observatory (LIGO) and Virgo have provided us a new tool to explore the Universe on all scales from nuclear physics to the cosmos and have the massive potential to further impact fundamental physics, astrophysics, and cosmology for decades to come. In this paper we have studied the science capabilities of a network of LIGO detectors when they reach their best possible sensitivity, called A # , given the infrastructure in which they exist and a new generation of observatories that are factor of 10 to 100 times more sensitive (depending on the frequency), in particular a pair of L-shaped cosmic explorer (CE) observatories (one 40 km and one 20 km arm length) in the US and the triangular Einstein telescope with 10 km arms in Europe. We use a set of science metrics derived from the top priorities of several funding agencies to characterize the science capabilities of different networks. The presence of one or two A # observatories in a network containing two or one next generation observatories, respectively, will provide good localization capabilities for facilitating multimessenger astronomy (MMA) and precision measurement of the Hubble parameter. Two CE observatories are indispensable for achieving precise localization of binary neutron star events, facilitating detection of electromagnetic counterparts and transforming MMA. Their combined operation is even more important in the detection and localization of high-redshift sources, such as binary neutron stars, beyond the star-formation peak, and primordial black hole mergers, which may occur roughly 100 million years after the Big Bang. The addition of the Einstein Telescope to a network of two CE observatories is critical for accomplishing all the identified science metrics including the nuclear equation of state, cosmological parameters, the growth of black holes through cosmic history, but also make new discoveries such as the presence of dark matter within or around neutron stars and black holes, continuous gravitational waves from rotating neutron stars, transient signals from supernovae, and the production of stellar-mass black holes in the early Universe. For most metrics the triple network of next generation terrestrial observatories are a factor 100 better than what can be accomplished by a network of three A # observatories.
Einstein telescope↗