SEARCH · Search NASA
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 Real-Time Specification for Java (RTSJ) provides facilities for deterministic, real-time execution in a language that is otherwise subject to variable latencies in memory allocation and garbage collection.
Engineering is an interactive process that requires intelligent interaction at many levels. My thesis [1] advances an engineering discipline for high-level synthesis and architectural decomposition that integrates perspicuous representation, designer interaction, and mathematical rigor. Starfish, the software prototype for the design method, implements a table-centric transformation system for reorganizing control-dominated system expressions into high-level architectures. Based on the digital design derivation (DDD) system a designer-guided synthesis technique that applies correctness preserving transformations to synchronous data flow specifications expressed as co- recursive stream equations Starfish enhances user interaction and extends the reachable design space by incorporating four innovations: behavior tables, serialization tables, data refinement, and operator retiming. Behavior tables express systems of co-recursive stream equations as a table of guarded signal updates. Developers and users of the DDD system used manually constructed behavior tables to help them decide which transformations to apply and how to specify them. These design exercises produced several formally constructed hardware implementations: the FM9001 microprocessor, an SECD machine for evaluating LISP, and the SchemEngine, garbage collected machine for interpreting a byte-code representation of compiled Scheme programs. Bose and Tuna, two of DDD s developers, have subsequently commercialized the design derivation methodology at Derivation Systems, Inc. (DSI). DSI has formally derived and validated PCI bus interfaces and a Java byte-code processor; they further executed a contract to prototype SPIDER-NASA's ultra-reliable communications bus. To date, most derivations from DDD and DRS have targeted hardware due to its synchronous design paradigm. However, Starfish expressions are independent of the synchronization mechanism; there is no commitment to hardware or globally broadcast clocks. Though software back-ends for design derivation are limited to the DDD stream-interpreter, targeting synchronous or real-time software is not substantively different from targeting hardware.
Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features. JPF is an explicit-state model checker, because it enumerates all visited states and, therefore, suffers from the state-explosion problem inherent in analyzing large programs. It is suited to analyzing programs less than 10kLOC, but has been successfully applied to finding errors in concurrent programs up to 100kLOC. When an error is found, a trace from the initial state to the error is produced to guide the debugging. JPF works at the bytecode level, meaning that all of Java can be model-checked. By default, the software checks for all runtime errors (uncaught exceptions), assertions violations (supports Java s assert), and deadlocks. JPF uses garbage collection and symmetry reductions of the heap during model checking to reduce state-explosion, as well as dynamic partial order reductions to lower the number of interleavings analyzed. JPF is capable of symbolic execution of Java programs, including symbolic execution of complex data such as linked lists and trees. JPF is extensible as it allows for the creation of listeners that can subscribe to events during searches. The creation of dedicated code to be executed in place of regular classes is supported and allows users to easily handle native calls and to improve the efficiency of the analysis.
The processing of trash and waste is a welcome and valuable addition to humans living and working in space. Besides the obvious desire to have a pleasant and productive habitation environment, trash management has many practicalbenefits for crew health, resource recovery, and volume reclamation through garbage compaction. The Trash Compaction and Processing System (TCPS), which is a NASA project to develop a trash processing system for long-duration spaceflight, is currently undergoing concept development with engineering prototype validation through two contracted efforts. The development efforts are being supported with activities associated with the NASA Generation 2 Heat Melt Compactor (HMC). The HMC is a facility that compacts trash, recovers water, heats the trash to eliminate biological activity, and manages gas and vapor effluents. The resulting residual processed trash is a compact tile that is free of biological growth and that can be used for augmenting radiation shields. The work being conducted with the HMC focuses on high risk technical areas with respect to operations, subsystem performance, and ISS effluent management interface requirements. This paper gives an overview of the technical risks and the current use of the HMC as a facility for reducing risk.
Supercritical water oxidation (SCWO) is a powerful waste treatment that has been considered as a substitute or complement to other potential spacecraft waste handling methods including jettisoning, compacted sealed storage, drying, and others. Combustible trash and garbage is mixed with water and then heated and pressurized above the critical point of water (705 °F and 218 atmospheres). The waste is nearly all oxidized to produce carbon dioxide, water and nitrogen. NOx is not formed. The combustion energy can be used to heat the input stream. SCWO is relatively complex, expensive, and hazardous compared to other methods. Oxidation of compounds containing chlorine and sulfur produces hydrochloric and sulfuric acid which can cause corrosion in the reactor. Neutralizing these acids produces salts which can precipitate and cause clogging. The major engineering challenges to implementing SCWO are chemical corrosion and fouling due to the deposition of salts. SCWO was first proposed for general waste treatment and for spacecraft in the 1980’s and extensive research has been carried out.
Cogent has developed an innovative, proprietary waste-to-energy (WTE) system, the HelioStorm(TM) Gasifier, capable of efficiently operating on small amounts of heterogeneous municipal solid waste feedstocks, converting them into a clean syngas that can be used to fuel an electricity generator, all with rapid on/off cycle times. NREL will work with Cogent to complete a computer simulation of an integrated HelioStorm(TM) plasma gasifier system and dual fuel diesel generator. Cogent will test the performance of an actual HelioStorm(TM) WTE system and dual fuel diesel generator at their test facility using steady state electrical loads and provide a report describing the performance of the integrated system.
Explore the source record for details and available documents.