Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “directed assembly”

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,009 records · Page 56

Initial Thrust Measurements of Marshall's Ion-ioN Thruster

Electronegative ion thrusters are a variation of traditional gridded ion thruster technology differentiated by the production and acceleration of both positive and negative ions. Benefits of electronegative ion thrusters include the elimination of lifetime-limiting cathodes from the thruster architecture and the ability to generate appreciable thrust from both charge species. While much progress has been made in the development of electronegative ion thruster technology, direct thrust measurements are required to unambiguously demonstrate the efficacy of the concept and support continued development. In the present work, direct thrust measurements of the thrust produced by the MINT (Marshall's Ion-ioN Thruster) are performed using an inverted-pendulum thrust stand in the High-Power Electric Propulsion Laboratory's Vacuum Test Facility-1 at the Georgia Institute of Technology with operating pressures ranging from 4.8 x 10(exp -5) and 5.7 x 10(exp -5) torr. Thrust is recorded while operating with a propellant volumetric mixture ratio of 5:1 argon to nitrogen with total volumetric flow rates of 6, 12, and 24 sccm (0.17, 0.34, and 0.68 mg/s). Plasma is generated using a helical antenna at 13.56 MHz and radio frequency (RF) power levels of 150 and 350 W. The acceleration grid assembly is operated using both sinusoidal and square waveform biases of +/-350 V at frequencies of 4, 10, 25, 125, and 225 kHz. Thrust is recorded for two separate thruster configurations: with and without the magnetic filter. No thrust is discernable during thruster operation without the magnetic filter for any volumetric flow rate, RF forward Power level, or acceleration grid biasing scheme. For the full thruster configuration, with the magnetic filter installed, a brief burst of thrust of approximately 3.75 mN +/- 3 mN of error is observed at the start of grid operation for a volumetric flow rate of 24 sccm at 350 W RF power using a sinusoidal waveform grid bias at 125 kHz and +/- 350 V. Similar bursts in thrust are observed using a square waveform grid bias at 10 kHz and +/- 350 V for volumetric flow rates of 6, 10, and 12 sccm at 150, 350, and 350 W respectively. The only operating condition that exhibits repeated thrust spikes throughout thruster operation is the 24 sccm condition with a 5:1 mixture ratio at 150 W RF power using the 10 kHz square waveform acceleration grid bias. Thrust spikes for this condition measure 3 mN with an error of +/- 2.5 mN. There are no operating conditions tested that show continuous thrust production.

Caruso, Natalie R. S.↗

NASA Space Launch System Completes Key Hotfire Test And Begins Vehicle Integration

NASA and its commercial and international partners are on the way back to the Moon. As directed by the White House in 2019, the agency team is striving to return humans to the Moon and land the first woman and the first person of color on the lunar surface. NASA and its commercial partners made significant progress in the second half of 2020 and the first half of 2021 on the agency’s Space Launch System (SLS), one of the key parts of the Artemis program. The team is preparing for a 2021 launch of Artemis I, the first integrated launch of the Block 1 variant of SLS with the Orion crew capsule. Hardware for the Artemis II launch, which will be the first to launch crew on SLS and Orion, is progressing through assembly, and hardware for Artemis III has started manufacturing. Artemis IV manufacturing has also started, and engines for Artemis V are in development/manufacturing. This paper will discuss the progress made in the last year and the items currently in work on for future SLS flights and variants.

Bruce R Askins↗

Design and Predicted Performance of 4-m Baseline Habitable-Zone Exoplanet Observatory Telescope

The Habitable Exoplanet Observatory Mission (HabEx) is one of four missions which NASA is studying. Its goal is to directly image and spectroscopically characterize planets in the habitable zone around nearby sun-like stars. Additionally, HabEx would perform a broad range of general astrophysics science enabled by 115 to 1700 nm spectral range and 3x3 arc-minute FOV instruments. Critical to achieving its science goals is a large, ultra-stable UV/Optical/Near-IR (UVOIR) telescope. The baseline HabEx telescope is a 4-meter off-axis unobscured three-mirror-anastigmatic, diffraction limited at 400 nm with wavefront stability on the order of a few 10s of picometers. This paper summarizes how science driven systems engineering (using science requirements to derive engineering specifications) resulting in the opto-mechanical design of the HabEx baseline optical telescope assembly. And, how Structural Thermal Optical Performance (STOP) modeling predicts tolerance compliance.

H Philip Stahl↗

Lunar transfer vehicle studies

Lunar transportation architectures exist for several different mission scenarios. Direct flights from Earth are possible, as the Apollo program clearly demonstrated. Alternatively, a space transfer vehicle could be constructed in space by using the Space Station as a base of operations, or multiple vehicles could be launched from Earth and dock in LEO without using a space station for support. Similarly, returning personnel could proceed directly to Earth or rendezvous at the Space Station for a ride back home on the Space Shuttle. Multiple design concepts exist which are compatible with these scenarios and which can support requirements of cargo, personnel, and mission objectives. Regardless of the ultimate mission selected, some technologies will certainly play a key role in the design and operation of advanced lunar transfer vehicles. Current technologies are capable of delivering astronauts to the lunar surface, but improvements are needed to affordably transfer the material and equipment that will be needed for establishing a lunar base. Materials and structures advances, in particular, will enable the development of more capable cryogenic fluid management and propulsion systems, improved structures, and more efficient vehicle assembly, servicing and processing.

Keeley, Joseph T.↗

Development of a mirror pointing mechanism for an atmospheric gas measurement instrument

Development of the Open Path Tunable Infrared Monitor of the Atmosphere (OPTIMA) instrument involved designing a pair of motion systems that could maintain a precise alignment and spatial distance between two mirrors installed on the NASA DC-8 research laboratory aircraft. This is the first airborne optical instrument that allows direct measurement of the gases in the freestream airflow on the exterior of the aircraft. One mirror is mounted within a specially constructed open port cavity in the cabin of the aircraft and the second is mounted 6 meters away on top of the inboard port side (number 2) engine pylon. Three co-aligned laser beams are reflected between the two mirrors 64 times in a Herriott pattern. The resulting sample path length of 384 meters is used to perform a spectral absorption analysis of the airflow between the mirrors. To compensate for normal wing movement and engine oscillations both mirrors were designed as continuously driven mechanisms to maintain alignment within allowable limits. The motion systems of the two mirror assemblies provide five degrees of freedom and are designed to maintain a pointing accuracy within seven arc-sec with a response frequency in excess of 10 Hz. The pylon motion system incorporates controlled pitch and yaw movement. The fuselage motion system compensates for pitch variation as well as linear translation for focal length and vertical aiming of the laser beam via a controlled beam guidance mechanism.

Graham, Michael↗

Development of a Mirror Pointing Mechanism for an Atmospheric Gas Measurement Instrument

Development of the Open Path Tunable Infrared Monitor of the Atmosphere (OPTIMA) instrument involved designing a pair of motion systems that could maintain a precise alignment and spatial distance between two mirrors installed on the NASA DC-8 research laboratory aircraft. This is the first airborne optical instrument that allows direct measurement of the gases in the freestream airflow on the exterior of the aircraft. One mirror is mounted within a specially constructed open port cavity in the cabin of the aircraft and the second is mounted 6 meters away on top of the inboard port side (number 2) engine pylon. Three co-aligned laser beams are reflected between the two mirrors 64 times in a Herriott pattern. The resulting sample path length of 384 meters is used to perform a spectral absorption analysis of the airflow between the mirrors. To compensate for normal wing movement and engine oscillations both mirrors were designed as continuously driven mechanisms to maintain alignment within allowable limits. The motion systems of the two mirror assemblies provide five degrees of freedom and are designed to maintain a pointing accuracy within seven arc-sec with a response frequency in 6xcess of 10 Hz. The pylon motion system incorporates controlled pitch and yaw movement. The fuselage motion system compensates for pitch variation as well as linear translation for focal length and vertical aiming of the laser beam via a controlled beam guidance mechanism.

Graham, Michael↗

NASA Tech Briefs, September 2008

Topics covered include: Nanotip Carpets as Antireflection Surfaces; Nano-Engineered Catalysts for Direct Methanol Fuel Cells; Capillography of Mats of Nanofibers; Directed Growth of Carbon Nanotubes Across Gaps; High-Voltage, Asymmetric-Waveform Generator; Magic-T Junction Using Microstrip/Slotline Transitions; On-Wafer Measurement of a Silicon-Based CMOS VCO at 324 GHz; Group-III Nitride Field Emitters; HEMT Amplifiers and Equipment for their On-Wafer Testing; Thermal Spray Formation of Polymer Coatings; Improved Gas Filling and Sealing of an HC-PCF; Making More-Complex Molecules Using Superthermal Atom/Molecule Collisions; Nematic Cells for Digital Light Deflection; Improved Silica Aerogel Composite Materials; Microgravity, Mesh-Crawling Legged Robots; Advanced Active-Magnetic-Bearing Thrust- Measurement System; Thermally Actuated Hydraulic Pumps; A New, Highly Improved Two-Cycle Engine; Flexible Structural-Health-Monitoring Sheets; Alignment Pins for Assembling and Disassembling Structures; Purifying Nucleic Acids from Samples of Extremely Low Biomass; Adjustable-Viewing-Angle Endoscopic Tool for Skull Base and Brain Surgery; UV-Resistant Non-Spore-Forming Bacteria From Spacecraft-Assembly Facilities; Hard-X-Ray/Soft-Gamma-Ray Imaging Sensor Assembly for Astronomy; Simplified Modeling of Oxidation of Hydrocarbons; Near-Field Spectroscopy with Nanoparticles Deposited by AFM; Light Collimator and Monitor for a Spectroradiometer; Hyperspectral Fluorescence and Reflectance Imaging Instrument; Improving the Optical Quality Factor of the WGM Resonator; Ultra-Stable Beacon Source for Laboratory Testing of Optical Tracking; Transmissive Diffractive Optical Element Solar Concentrators; Delaying Trains of Short Light Pulses in WGM Resonators; Toward Better Modeling of Supercritical Turbulent Mixing; JPEG 2000 Encoding with Perceptual Distortion Control; Intelligent Integrated Health Management for a System of Systems; Delay Banking for Managing Air Traffic; and Spline-Based Smoothing of Airfoil Curvatures.

Source record↗

Phytoplankton-Fluorescence-Lifetime Vertical Profiler

A battery-operated optoelectronic instrument is designed to be lowered into the ocean to measure the intensity and lifetime of fluorescence of chlorophyll A in marine phytoplankton as a function of depth from 0 to 300 m. Fluorescence lifetimes are especially useful as robust measures of photosynthetic productivity of phytoplankton and of physical and chemical mechanisms that affect photosynthesis. The knowledge of photosynthesis in phytoplankton gained by use of this and related instruments is expected to contribute to understanding of global processes that control the time-varying fluxes of carbon and associated biogenic elements in the ocean. The concentration of chlorophyll in the ocean presents a major detection challenge because in order to obtain accurate values of photosynthetic parameters, the intensity of light used to excite fluorescence must be kept very low so as not to disturb the photosynthetic system. Several innovations in fluorometric instrumentation were made in order to make it possible to reach the required low detection limit. These innovations include a highly efficient optical assembly with an integrated flow-through sample interface, and a high-gain, low-noise electronic detection subsystem. The instrument also incorporates means for self-calibration during operation, and electronic hardware and software for control, acquisition and analysis of data, and communications. The electronic circuitry is highly miniaturized and designed to minimize power demand. The instrument is housed in a package that can withstand the water pressure at the maximum depth of 300 m. A light-emitting diode excites fluorescence in the sample flow cell, which is placed at one focal point of an ellipsoidal reflector. A photomultiplier tube is placed at the other focal point. This optical arrangement enables highly efficient collection of fluorescence emitted over all polar directions. Fluorescence lifetime is measured indirectly, by use of a technique based on the same principle as the one described in "Fluorometer for Analysis of Photosynthesis in Phytoplankton" (SSC-00110), NASA Tech Briefs, Vol. 24, No. 1 (November 2000), page 79. The excitation is modulated at a frequency of 70 MHz, and the phase shift between the excitation light and the emitted fluorescence is measured by a detection method in which the 70 MHz signal is down-converted to a 400 Hz signal. The fluorescence lifetime can be computed from the known relationship among the fluorescence lifetime, phase shift, and modulation frequency

Fernandez, Salvador M.↗

Grappling Spacecraft

This article provides a survey overview of the techniques, mechanisms, algorithms, and test and validation strategies required for the design of roboticgrappling vehicles intended to approach and grapple free-flying client satellites. We concentrate on using a robotic arm to grapple a free-floating spacecraft, as distinct from spacecraft docking and berthing, where two spacecraft directly mate with each other. Robotic grappling of client spacecraft is a deceptively complex problem: It entails designing a robotic system that functions robustly in the visually stark, thermally extreme orbital environment,operating near massive and extremely expensive yet fragile client hardware,using relatively slow flight computers with limited and laggy communica-tions. Spaceflight robotic systems are challenging to test and validate priorto deployment and extremely expensive to launch, which significantly limitsopportunities to experiment with new techniques. These factors make thedesign and operation of orbital robotic systems significantly different fromthose of their terrestrial counterparts, and as a result, only a relative handfulof systems have been demonstrated on orbit. Nevertheless, there is increas-ing interest in on-orbit robotic servicing and assembly missions, and grap-pling is the core requirement for these systems. Although existing systemssuch as the Space Station Remote Manipulator System have demonstratedextremely reliable operation, upcoming missions will attempt to expand thetypes of spacecraft that can be safely and dependably grappled and berthed.

Carl Glen Henshaw↗

A method for calculating transient thrust and flow-rate levels for Mariner type attitude control nitrogen gas jets

The purpose of this report is to define and program the transient pneumatic flow equations necessary to determine, for a given set of conditions (geometry, pressures, temperatures, valve on time, etc.), the total nitrogen impulse and mass flow per pulse for the single pulsing of a Mariner type reaction control assembly valve. The rates of opening and closing of the valves are modeled, and electrical pulse durations from 20 to 100 ms are investigated. In developing the transient flow analysis, maximum use was made of the steady-state analysis. The impulse results are also compared to an equivalent square-wave impulse for both the Mariner Mars 1971 (MM'71) and Mariner Mars 1964 (MM'64) systems. It is demonstrated that, whereas in the MM'64 system, the actual impulse was as much as 56 percent higher than an assumed impulse (which is the product of the steady-state thrust and value on time i.e., the square wave), in the MM'71 system, these two values were in error in the same direction by only approximately 4 percent because of the larger nozzle areas and shorter valve stroke used.

Ferrera, J. D.↗

An IDEA of What's in the Air

The Automatic Particle Fallout Monitor (APFM) is an automated instrument that assesses real-time particle contamination levels in a facility by directly imaging, sizing, and counting contamination particles. It allows personnel to respond to particle contamination before it becomes a major problem. For NASA, the APFM improves the ability to mitigate, avoid, and explain mission-compromising incidents of contamination occurring during payload processing, launch vehicle ground processing, and potentially, during flight operations. Commercial applications are in semiconductor processing and electronics fabrication, as well as aerospace, aeronautical, and medical industries. The product could also be used to measure the air quality of hotels, apartment complexes, and corporate buildings. IDEA sold and delivered its first four units to the United Space Alliance for the Space Shuttle Program at Kennedy. NASA used the APFM in the Kennedy Space Station Processing Facility to monitor contamination levels during the assembly of International Space Station components.

Source record↗

Modular High-Energy Systems for Solar Power Satellites

Modular High-Energy Systems are Stepping Stones to provide capabilities for energy-rich infrastructure located in space to support a variety of exploration scenarios as well as provide a supplemental source of energy during peak demands to ground grid systems. Abundant renewable energy at lunar or other locations could support propellant production and storage in refueling scenarios that enable affordable exploration. Renewable energy platforms in geosynchronous Earth orbits can collect and transmit power to satellites, or to Earth-surface locations. Energy-rich space technologies also enable the use of electric-powered propulsion systems that could efficiently deliver cargo and exploration facilities to remote locations. A first step to an energy-rich space infrastructure is a 100-kWe class solar-powered platform in Earth orbit. The platform would utilize advanced technologies in solar power collection and generation, power management and distribution, thermal management, electric propulsion, wireless avionics, autonomous in space rendezvous and docking, servicing, and robotic assembly. It would also provide an energy-rich free-flying platform to demonstrate in space a portfolio of technology flight experiments. This paper summary a preliminary design concept for a 100-kWe solar-powered satellite system to demonstrate in-flight a variety of advanced technologies, each as a separate payload. These technologies include, but are not limited to state-of-the-art solar concentrators, highly efficient multi-junction solar cells, integrated thermal management on the arrays, and innovative deployable structure design and packaging to enable the 100-kW satellite feasible to launch on one existing launch vehicle. Higher voltage arrays and power distribution systems (PDS) reduce or eliminate the need for massive power converters, and could enable direct-drive of high-voltage solar electric thrusters.

Howell, Joe T.↗

Results and Lessons from MODIS Reflective Solar Bands Calibration: Pre-launch to On-orbit

MODIS is a major instrument for the NASA EOS Terra (1aunched in December 1999) and Aqua (launched in May 2002) missions. It was designed and built to enhance and extend its heritage sensors' measurements and data records with applications covering a wide range of studies of the Earth's land, oceans, and atmosphere. MODIS has 36 spectral bands (0.41 - 14.4 micrometers) located on four focal plane assemblies (FPAs). It makes measurements at three nadir spatial resolutions: 250m (bands 1-2), 500m (bands 3-7), and lkm (bands 8-36). Because of instrument design complexity and stringent calibration requirements, extensive calibration and characterization activities were conducted pre-launch by the sensor vendor (Raytheon / Santa Barbara Remote Sensing) for both Tesa and Aqua MODIS. For the 20 reflective solar bands (RSB), these activities include measurements for the detectors noise characterization and radiometric performance, system level response versus scan-angle (RVS), polarization sensitivity, and relative spectral response (RSR). Key radiometric performance was evaluated using thermal vacuum observations. On-orbit MODIS RSB calibration is performed using a solar diffuser (SD) and solar diffuser stability monitor (SDSM) system. The SD bi-directional reflectance factor (BRF) was characterized pre-launch by the sensor vendor with reference samples traceable to NIST reflectance standards. This paper provides a summary of Terra and Aqua MODIS RSB pre-launch and on-orbit calibration and characterization activities and results with focus on the detectors' noise characterization and radiometric performance. Challenging and concerning issues and lessons learned from RSB pre-launch calibration and their impact on post launch performance are also presented. A similar summary for MODIS thermal emissive bands (TEB) is reported in a separate paper in these proceedings.

Xiong, X.↗

From Competence to Efficiency: A Tale of GA Progress

Genetic algorithms (GAs) - search procedures based on the mechanics of natural selection and genetics - have grown in popularity for the solution of difficult optimization problems. Concomitant with this growth has been a rising cacaphony of complaint asserting that too much time must be spent by the GA practitioner diddling with codes, operators, and GA parameters; and even then these GA cassandras continue, and the user is still unsure that the effort will meet with success. At the same time, there has been a rising interest in GA theory by a growing community - a theorocracy - of mathematicians and theoretical computer scientists, and these individuals have turned their efforts increasingly toward elegant abstract theorems and proofs that seem to the practitioner to offer little in the way of answers for GA design or practice. What both groups seem to have missed is the largely unheralded 1993 assembly of integrated, applicable theory and its experimental confirmation. This theory has done two key things. First, it has predicted that simple GAs are severely limited in the difficulty of problems they can solve, and these limitations have been confirmed experimentally. Second, it has shown the path to circumventing these limitations in nontraditional GA designs such as the fast messy GA. This talk surveys the history, methodology, and accomplishment of the 1993 applicable theory revolution. After arguing that these accomplishments open the door to universal GA competence, the paper shifts the discussion to the possibility of universal GA efficiency in the utilization of time and real estate through effective parallelization, temporal decomposition, hybridization, and relaxed function evaluation. The presentation concludes by suggesting that these research directions are quickly taking us to a golden age of adaptation.

Goldberg, David E.↗

Identifying Molecules as Biosignatures with Assembly Theory and Mass Spectrometry

The search for evidence of life elsewhere in the universe is hard because it is not obvious what signatures are unique to life. Here we postulate that complex molecules found in high abundance are universal biosignatures as they cannot form by chance. To explore this, we developed the first intrinsic measure of molecular complexity that can be experimentally determined, and this is based upon a new approach called assembly theory which gives the molecular assembly number (MA) of a given molecule. MA allows us to compare the intrinsic complexity of molecules using the minimum number of steps required to construct the molecular graph starting from basic objects, and a probabilistic model shows how the probability of any given molecule forming randomly drops dramatically as its MA increases. To map chemical space, we calculated the MA of ca. 2.5 million compounds, and collected data which showed the complexity of a molecule can be experimentally determined by using three independent techniques including infra-red spectroscopy, nuclear magnetic resonance, and by fragmentation in a mass spectrometer, and this data has an excellent corelation with the values predicted from our assembly theory. We then set out to see if this approach could allow us to identify molecular biosignatures with a set of diverse samples from around the world, outer space, and the laboratory including prebiotic soups. The results show that there is a non-living to living threshold in MA complexity and the higher the MA for a given molecule, the more likely that it had to be produced by a biological process. This work demonstrates it is possible to use this approach to build a life detection instrument that could be deployed on missions to extra-terrestrial locations to detect biosignatures, map the extent of life on Earth, and be used as a molecular complexity scale to quantify the constraints needed to direct prebiotically plausible processes in the laboratory. Such an approach is vital if we are going to find new life elsewhere in the universe or create de-novo life in the lab.

Stuart M Marshall↗

Flexible manufacturing for photonics device assembly

The assembly of photonics devices such as laser diodes, optical modulators, and opto-electronics multi-chip modules (OEMCM), usually requires the placement of micron size devices such as laser diodes, and sub-micron precision attachment between optical fibers and diodes or waveguide modulators (usually referred to as pigtailing). This is a very labor intensive process. Studies done by the opto-electronics (OE) industry have shown that 95 percent of the cost of a pigtailed photonic device is due to the use of manual alignment and bonding techniques, which is the current practice in industry. At Lawrence Livermore National Laboratory, we are working to reduce the cost of packaging OE devices through the use of automation. Our efforts are concentrated on several areas that are directly related to an automated process. This paper will focus on our progress in two of those areas, in particular, an automated fiber pigtailing machine and silicon micro-technology compatible with an automated process.

Lu, Shin-Yee↗

Commercial Space Policy in the 1980s: Proceedings of a Roundtable Discussion

The Space Business Archives and the NASA History Office signed a Memorandum of Understanding in March of 1999. The MOU outlines several opportunities for cooperative endeavors between the two agencies in historical programming. This oral history, and subsequently this publication, are the first products of that cooperation. In accordance with the purpose of the Space Business Archives--to provide an impartial forum for lessons learned in the development of the commercial space industry--the idea for this roundtable discussion seemed appropriate as the Archives first public program. With the combined resources of the Archives and the NASA History Office we were fortunate to assemble a panel of individuals that served in both industry and government during the 1980s, many working in both sectors during that time. When envisioning the focus of this oral history, we decided that it was appropriate to highlight space policy in the 1980s, with an emphasis on the emerging commercial industry. Panelists were sent several documents in preparation, such as the Land Remote Sensing Commercialization Act and the Commercial Space Launch Act of 1984, President Reagan's 1982 National Space Policy, and other memoranda and letters that outline important policy issues of the decade. This discussion, we think, fills in some of the gaps that would otherwise be left unfilled when simply reading through the documents themselves. Some of these gaps include: how were these policy directives, legislation and decisions introduced and developed, by whom, and at what political and financial cost? This transcript is meant to serve as a reference to some of the issues, organizations and individuals involved in the creation and development of space policy during the 1980s. It is also the result of the first of many future roundtable discussions aimed at providing an open exchange of ideas concerning past success and failure in order to provide a stronger base for future endeavors in governmental, civil and commercial cooperation in space.

Dahlstrom, Neil↗

Automating Traceability for Generated Software Artifacts

Program synthesis automatically derives programs from specifications of their behavior. One advantage of program synthesis, as opposed to manual coding, is that there is a direct link between the specification and the derived program. This link is, however, not very fine-grained: it can be best characterized as Program is-derived- from Specification. When the generated program needs to be understood or modified, more $ne-grained linking is useful. In this paper, we present a novel technique for automatically deriving traceability relations between parts of a specification and parts of the synthesized program. The technique is very lightweight and works -- with varying degrees of success - for any process in which one artifact is automatically derived from another. We illustrate the generality of the technique by applying it to two kinds of automatic generation: synthesis of Kalman Filter programs from speci3cations using the Aut- oFilter program synthesis system, and generation of assembly language programs from C source code using the GCC C compilel: We evaluate the effectiveness of the technique in the latter application.

Richardson, Julian↗