Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Critical Function”

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 73 records · Page 4

Municipal and Commercial Equipment for Radiological Response and Recovery in an Urban Environment: State of Science, Research Needs, and Evaluation of Implementation Towards Critical Infrastructure Resilience

This report provides a thorough evaluation of technologies and equipment assets that may be effective at mitigating the effects of a wide-area radioactive contamination event and to restore critical functions to the urban environment. Moreover, equipment that could facilitate decontamination efforts during a recovery phase are evaluated. The summary of methods has been critically evaluated in terms of equipment availability, potential advantages and limitations, and research needs in order to justify and predict its efficacy. By ranking the host of techniques, a concise list of those technologies is provided that might be most impactful to a response and recovery effort and how to direct future effort. The totality of this effort and future work anticipates providing early responders and stakeholders with practical guidance information to expedite an effective response and recovery effort and mitigate the potentially devastating effects of a wide-area radioactive contamination event.

63 RADIATION, THERMAL, AND OTHER ENVIRON. POLLUTAN↗

Modernization of the Radiation Measurements Laboratory at the Advanced Test Reactor Complex

The Advanced Test Reactor (ATR) at the Idaho National Laboratory (INL) is a unique, water-cooled, high-flux test reactor capable of performing tests prototypical of PWR operating conditions. The Radiation Measurements Laboratory (RML) was founded in the 1960s to support reactor operations and to conduct independent scientific research. For nearly six decades RML has performed four primary functions: monitoring of radioactivity by gamma-ray spectroscopy of routine reactor samples, fluence rate determinations for irradiation cycles, fission-rate measurements for the ATR-Critical (ATR-C) Facility, and independent research and development of radiation detection systems and applications. Through the decades, RML has seen technological advancements that have been integrated into each of the critical functions of the laboratory. However, many of the measurement and analysis systems employed to this day can be improved by modernization. Recent progess at RML are improving reliability and accuracy of the radiation measurements performed in support of nuclear energy research for the U.S.A. Department of Energy. The control and data collection systems supporting ATR-C have been upgraded. New High-Purity Germanium (HPGe) spectrometers have been procured with liquid nitrogen recycling capabilities to improve up-time and reduce measurement uncertainties. Fluence-rate measurement techniques are also being improved to ensure accuracy, avoid systemic errors, and identify biases. In a parallel effort, new scientific research avenues are being explored which will provide an opportunity to further enhance the utilization of ATR and ensure the sustainability of the RML as nuclear research continues to evolve. The RML is improving the effectiveness of irradiation services provided by ATR while ensuring a sustainable future for nuclear energy research.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Modernization of the Radiation Measurements Laboratory at the Advanced Test Reactor Complex

The Advanced Test Reactor (ATR) at the Idaho National Laboratory (INL) is a unique, water-cooled, high-flux test reactor capable of performing tests prototypical of PWR operating conditions. The Radiation Measurements Laboratory (RML) was founded in the 1960s to support reactor operations and to conduct independent scientific research. For nearly six decades RML has performed four primary functions: monitoring of radioactivity by gamma-ray spectroscopy of routine reactor samples, fluence rate determinations for irradiation cycles, fission-rate measurements for the ATR-Critical (ATR-C) Facility, and independent research and development of radiation detection systems and applications. Through the decades, RML has seen technological advancements that have been integrated into each of the critical functions of the laboratory. However, many of the measurement and analysis systems employed to this day can be improved by modernization. Recent progress at RML is improving reliability and accuracy of the radiation measurements performed in support of nuclear energy research for the U.S.A. Department of Energy. The control and data collection systems supporting ATR-C have been upgraded. New High-Purity Germanium (HPGe) spectrometers have been procured with liquid nitrogen recycling capabilities to improve up-time and reduce measurement uncertainties. Fluence-rate measurement techniques are also being improved to ensure accuracy, avoid systemic errors, and identify biases. In a parallel effort, new scientific research avenues are being explored which will provide an opportunity to further enhance the utilization of ATR and ensure the sustainability of the RML as nuclear research continues to evolve. The RML is improving the effectiveness of irradiation services provided by ATR while ensuring a sustainable future for nuclear energy research.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Eleven Countries, an Integrated Spacecraft: the Story of International Collaboration that Built the Orion Spacecraft and Powered the Success of the Artemis I Mission

The quest to return humans to the Moon in the next step towards humanity's exploration of space is more alive than ever. After a great deal of achievements, failures, and lessons learned, the Artemis I mission set o to the Moon on November 16, 2022, with the goal of testing a new rocket, the Space Launch System, and a new spacecraft, Orion: designed, assembled, and tested across two continents, and 11 countries. Behind this mission, decades of experience with the International Space Station, Autonomous Transfer Vehicle operations, and many other program collaborations built the know-how on how to succeed together in the toughest environment | deep space. The Artemis I mission proved to be an incredible success, meeting 161 total mission objectives, including 21 developed during the flight based on outperforming spacecraft. It was also a case-study in international collaboration, given that ESA, NASA, and industry partners Airbus and Lockheed Martin for the first time had to design, build, test, and fly a fully integrated human-rated spacecraft, with most critical functions dependent and interconnected across U.S. and European systems. The U.S.-built Orion Crew Module and Crew Module Adapter and European-built European Service Module (ESM) shared critical interfaces and commodities, from propulsion, avionics, active/passive thermal, electrical power generation, storage and distribution to the software that managed it all. In this paper, we will describe relevant aspects of the integrated spacecraft design, providing context for the challenges that the team faced in all phases required to get Orion ready to fly, and provide a direct account of how the joint team formed, trained, and supported the operations of the successful Artemis I mission. We will also explore the evolution of the partnerships, given that these allow a multi-national e ort to sustain the program production, share costs, leverage a broader base of engineering expertise, and build more diverse capabilities over the long haul to support the Artemis goals and objectives. Lastly, we will cover critical lessons learned and how the Orion Program has implemented these in preparation of the next Artemis missions to repeat the success of Artemis I. The purpose of this paper is to document knowledge we gained and lessons we learned through the development of an integrated Orion spacecraft, since it is imperative we build on this now, at the dawn of the Artemis Program, an international endeavor to push human space exploration.

Deep Space Exploration↗

Behavioral, Brain Imaging and Genomic Measures to Predict Functional Outcomes Post - Bed Rest and Spaceflight

Astronauts experience sensorimotor disturbances during their initial exposure to microgravity and during the re-adaptation phase following a return to an Earth-gravitational environment. These alterations may disrupt crewmembers' ability to perform mission critical functional tasks requiring ambulation, manual control and gaze stability. Interestingly, astronauts who return from spaceflight show substantial differences in their abilities to readapt to a gravitational environment. The ability to predict the manner and degree to which individual astronauts would be affected would improve the effectiveness of countermeasure training programs designed to enhance sensorimotor adaptability. For such an approach to succeed, we must develop predictive measures of sensorimotor adaptability that will allow us to foresee, before actual spaceflight, which crewmembers are likely to experience the greatest challenges to their adaptive capacities. The goals of this project are to identify and characterize this set of predictive measures. Our approach includes: 1) behavioral tests to assess sensory bias and adaptability quantified using both strategic and plastic-adaptive responses; 2) imaging to determine individual brain morphological and functional features, using structural magnetic resonance imaging (MRI), diffusion tensor imaging, resting state functional connectivity MRI, and sensorimotor adaptation task-related functional brain activation; and 3) assessment of genotypic markers of genetic polymorphisms in the catechol-O-methyl transferase, dopamine receptor D2, and brain-derived neurotrophic factor genes and genetic polymorphisms of alpha2-adrenergic receptors that play a role in the neural pathways underlying sensorimotor adaptation. We anticipate that these predictive measures will be significantly correlated with individual differences in sensorimotor adaptability after long-duration spaceflight and exposure to an analog bed rest environment. We will be conducting a retrospective study, leveraging data already collected from relevant ongoing or completed bed rest and spaceflight studies. These data will be combined with predictor metrics that will be collected prospectively (as described for behavioral, brain imaging and genomic measures) from these returning subjects to build models for predicting post-mission (bed rest - non-astronauts or space flight - astronauts) adaptive capability as manifested in their outcome measures. To date we have completed a study on 15 normal subjects with all of the above measures. In this presentation we will discuss the optimized set of tests for predictive metrics to be used for evaluating post mission adaptive capability as manifested in their outcome measures. Comparisons of model performance will allow us to better design and implement sensorimotor adaptability training countermeasures against decrements in post-mission adaptive capability that are customized for each crewmember's sensory biases, adaptive capacity, brain structure and functional capacities, and genetic predispositions. The ability to customize adaptability training will allow more efficient use of crew time during training and will optimize training prescriptions for astronauts to ensure expected outcomes.

Mulavara, A. P.↗

Kickstart Your Federal Microgrid Resiliency Project: Financing Opportunities and Best Practices

Recent high-impact events such as hurricanes and wildfires have resulted in the loss of utility grid power to federal sites, highlighting the need for energy system resilience. To sustain critical functions, site loads may need to operate during an electric grid outage or at least have power restored quickly after the event. A microgrid can provide reliable backup power to critical loads when electric utility power is interrupted, and may also provide value during normal operations.

DER↗

Behavioral, Brain Imaging and Genomic Measures to Predict Functional Outcomes Post-Bed Rest and Space Flight

Astronauts experience sensorimotor disturbances during their initial exposure to microgravity and during the re-adaptation phase following a return to an Earth-gravitational environment. These alterations may disrupt crewmembers' ability to perform mission critical functional tasks requiring ambulation, manual control and gaze stability. Interestingly, astronauts who return from spaceflight show substantial differences in their abilities to readapt to a gravitational environment. The ability to predict the manner and degree to which individual astronauts are affected will improve the effectiveness of countermeasure training programs designed to enhance sensorimotor adaptability. For such an approach to succeed, we must develop predictive measures of sensorimotor adaptability that will allow us to foresee, before actual spaceflight, which crewmembers are likely to experience greater challenges to their adaptive capacities. The goals of this project are to identify and characterize this set of predictive measures. Our approach includes: 1) behavioral tests to assess sensory bias and adaptability quantified using both strategic and plastic-adaptive responses; 2) imaging to determine individual brain morphological and functional features, using structural magnetic resonance imaging (MRI), diffusion tensor imaging, resting state functional connectivity MRI, and sensorimotor adaptation task-related functional brain activation; and 3) assessment of genetic polymorphisms in the catechol-O-methyl transferase, dopamine receptor D2, and brain-derived neurotrophic factor genes and genetic polymorphisms of alpha2-adrenergic receptors that play a role in the neural pathways underlying sensorimotor adaptation. We anticipate that these predictive measures will be significantly correlated with individual differences in sensorimotor adaptability after long-duration spaceflight and exposure to an analog bed rest environment. We will be conducting a retrospective study, leveraging data already collected from relevant ongoing or completed bed rest and spaceflight studies. This data will be combined with predictor metrics that will be collected prospectively (as described for behavioral, brain imaging and genomic measures) from these returning subjects to build models for predicting post spaceflight and bed rest adaptive capability. In this presentation we will discuss the optimized set of tests for predictive metrics to be used for evaluating post mission adaptive capability as manifested in their outcome measures. Comparisons of model performance will allow us to better design and implement sensorimotor adaptability training countermeasures against decrements in post-mission adaptive capability that are customized for each crewmember's sensory biases, adaptive ability, brain structure, brain function, and genetic predispositions. The ability to customize adaptability training will allow more efficient use of crew time during training and will optimize training prescriptions for astronauts to mitigate the deleterious effects of spaceflight.

Mulavara, A. P.↗

Upgrade and Operation of the ATLAS Radiation Interlock System (ARIS)

ATLAS (the Argonne Tandem Linac Accelerator Sys-tem) is a superconducting heavy ion accelerator which can accelerate nearly all stable, and some unstable, iso-topes between hydrogen and uranium. Prompt radiation fields from gamma and or neutron are typically below 1 rem/hr at 30 cm, but are permitted up to 300 rem/hr at 30 cm. The original ATLAS Radiation Interlock System (ARIS), hereafter referred to as ARIS 1.0 was installed 30 years ago. While it has been a functional critical safe-ty system, its age has exposed the facility to high risk of temporary shutdown due to failure of obsolete compo-nents. Topics discussed will be architecture, hardware improvements, functional improvements, and operation permitting personnel access to areas with low levels of radiation.

Blomberg, B. R.↗

Molecular Basis for Olefin Rearrangement in the Gephyronic Acid Polyketide Synthase

Polyketide synthase (PKS) are a rich source of natural products of varied chemical composition and biological significance. Here, we report the characterization of an atypical dehydratase (DH) domain from the PKS pathway for gephyronic acid, an inhibitor of eukaryotic protein synthesis. Using a library of synthetic substrate mimics, the reaction course, stereospecificity, and tolerance to non-native substrates of GphF DH1 are probed via LC-MS analysis. Taken together, the studies establish GphF DH1 as a dual-function dehydratase/isomerase that installs an odd-to-even double bond and yields a product consistent with the isobutenyl terminus of gephyronic acid. The studies also reveal an unexpected C2 epimerase function in catalytic turnover with the native substrate. A 1.55-Å crystal structure of GphF DH1 guided mutagenesis experiments to elucidate the roles of key amino acids in the multi-step DH1 catalysis, identifying critical functions for leucine and tyrosine side chains. The mutagenesis results were applied to add a secondary isomerase functionality to a non-isomerizing DH in the first successful gain-of-function engineering of a PKS DH. Our studies of GphF DH1 catalysis highlight the versatility of the DH active site and adaptation for a specific catalytic outcome with a specific substrate.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

ADMINISTRATIVE AND ENGINEERING CONTROLS FOR THE OPERATION OF VENTILATION SYSTEMS FOR UNDERGROUND RADIOACTIVE WASTE STORAGE TANKS

Liquid radioactive wastes from the Savannah River Site are stored in large underground carbon steel tanks. The majority of the waste is confined in double shell tanks, which have a primary shell, where the waste is stored, and a secondary shell, which creates an annular region between the two shells, that provides secondary containment and leak detection capabilities should leakage from the primary shell occur. Each of the DST is equipped with a purge ventilation system for the interior of the primary shell and annulus ventilation system for the secondary containment. Administrative flammability controls require continuous ventilation to remove hydrogen gas and other vapors from the waste tanks while preventing the release of radionuclides to the atmosphere. Should a leak from the primary to the annulus occur, the annulus ventilation would also serve this purpose. The functionality of the annulus ventilation is necessary to preserve the structural integrity of the primary shell and the secondary. An administrative corrosion control program is in place to ensure integrity of the tank. Given the critical functions of the purge and annulus ventilation systems, engineering controls are also necessary to ensure that the systems remain robust. The system consists of components that are constructed of metal (e.g., steel, stainless steel, aluminum, copper, etc.) and/or polymeric (polypropylene, polyethylene, silicone, polyurethane, etc.) materials. The performance of these materials in anticipated service environments (e.g., normal waste storage, waste removal, etc.) was evaluated. The most aggressive vapor space environment occurs during chemical cleaning of the residual heels by utilizing oxalic acid. The presence of NO{sub x} and mercury in the vapors generated from the process could potentially accelerate the degradation of aluminum, carbon steel, and copper. Once identified, the most susceptible materials were either replaced and/or plans for discontinuing operations are executed.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Development of Countermeasures to Aid Functional Egress from the Crew Exploration Vehicle Following Long Duration Spaceflight

Astronauts experience disturbances in sensorimotor function following their return to Earth due to adaptive responses that occur during exposure to the microgravity conditions of space flight. As part of the Crew Exploration Vehicle design requirements, the crewmember adapted to the microgravity state may need to egress the vehicle within a few minutes for safety and operational reasons in various sea state conditions following a water landing. The act of emergency egress includes and is not limited to rapid motor control tasks (including both fine motor such as object manipulation and gross motor such as opening a hatch) and visual acuity tasks while maintaining spatial orientation and postural stability in time to escape safely. Exposure to even low frequency motions (0.2-2.0 Hz) induced by sea conditions surrounding a vessel can cause significant fine and gross motor control problems affecting critical functions. These motion frequencies coupled with the varying sea state conditions (frequencies ranging from 0.125-0.5 Hz) cause performance deficits by affecting the efficacy of motor and visual acuity dependent skills in tasks critical to emergency egress activities such as visual monitoring of displays, actuating discrete controls, operating auxiliary equipment and communicating with Mission Control and recovery teams. Thus, during exploration class missions the sensorimotor disturbances due to the crewmember's adaptation to microgravity may lead to disruption in the ability to maintain postural stability and perform functional egress tasks during the initial introduction to the Earth's gravitational environment. At present, the functional implication of the interactions between a debilitated crewmember during readaptation to Earth s gravity and the environmental constraints imposed by a water landing scenario is not defined and no operational countermeasure has been implemented to mitigate this risk. Stochastic resonance (SR) is a mechanism whereby noise can assist and hence enhance the response of neural systems to relevant, subthreshold sensory signals. Application of subthreshold stochastic resonance noise coupled to sensory input either through the proprioceptive, visual or vestibular sensory systems, has been shown to improve motor function. Crew members who have adapted to microgravity have acquired new sensorimotor strategies that take time to discard. We hypothesize that detection of time-critical subthreshold sensory signals will play a crucial role in improving strategic responses and thus the rate of skill re-acquisition will be faster, leading to faster recovery of function during their re-adaptation to Earth G. Therefore, we expect the use of stochastic resonance mechanisms will enhance the acquisition of new strategic abilities. This process should ensure rapid restoration of functional egress capabilities during the initial return to Earth G after prolonged space flight. Therefore, the overall goals of this project are to investigate performance of motor and visual tasks during varying sea state conditions and develop a countermeasure based on stochastic resonance that could be implemented to enhance sensorimotor capabilities with the aim of facilitating rapid adaptation to Earth s gravity, allowing rapid CEV egress on water in varying sea states following long-duration space flight.

Mulavara, Ajitkumar↗

Space Station Environmental Control/Life Support System engineering

The present paper is concerned with a systems engineering study which has provided an understanding of the overall Space Station ECLSS (Environmental Control and Life Support System). ECLSS/functional partitioning is considered along with function criticality, technology alternatives, a technology description, single thread systems, Space Station architectures, ECLSS distribution, mechanical schematics per space station, and Space Station ECLSS characteristics. Attention is given to trade studies and system synergism. The Space Station functional description had been defined by NASA. The ECLSS will utilize technologies which embody regenerative concepts to minimize the use of expendables.

Miller, C. W.↗

Achieving Resilient In-Flight Performance for Advanced Air Mobility through Simplified Vehicle Operations

A research and development (R&D) approach is proposed for developing and validating concepts and technologies to achieve vehicle autonomy goals of Advanced Air Mobility (AAM) through Simplified Vehicle Operations (SVO). The approach applies resilience-engineering and human-automation teaming (HAT) principles to a framework for defining vehicle-based functions for the management of missions and flight trajectories, focusing initially on the en route flight domain. To achieve the SVO goal of reducing pilot training requirements and thereby increasing the pilot pool for AAM, while at the same time promoting ever-safer operations, a framework for identifying essential functions is proposed. In this framework, functions are first categorized by high-level functional purpose (mission management, flightpath management, tactical operations, and vehicle control) and then subcategorized by attributes of resilient-performing systems (abilities to monitor, respond, learn, and anticipate). The categorization by functional purpose provides structure within which HAT designs can be holistically explored and total levels of human vs. automation responsibility can be varied. The subcategorization by resilient-system attributes provides a mechanism for capturing safety-critical functions that may not be codified in current operational procedures and training curricula, particularly those where humans proactively enhance safety in currently undocumented ways. An R&D approach consisting of seven strategies is proposed in which automation engineering and human-factors communities can collaborate in the research, development, and design of an SVO roadmap to enable the ambitious objectives of AAM.

AAM↗

Key Considerations When Developing Avionics for Safety-Critical Systems

Multiple human spaceflight programs are underway at NASA including Orion, Space Launch System, Gateway, Human Landing System, and EVA and Lunar Surface Mobility programs. Achieving success in these programs requires NASA to collaborate with a variety of commercial partners, including both new spaceflight companies and robotic spaceflight companies pursuing crewed spaceflight for the first time. It is not always clear to these organizations how to show their systems are safe for human spaceflight. This is particularly true for avionics systems, which are responsible for performing some of a crewed spacecraft’s most critical functions. NASA recently published guidance describing how to show the design of an avionic system meets safety requirements for crewed missions.

Safety-Critical Systems↗

What Reliability Engineers Should Know about Space Radiation Effects

Space radiation in space systems present unique failure modes and considerations for reliability engineers. Radiation effects is not a one size fits all field. Threat conditions that must be addressed for a given mission depend on the mission orbital profile, the technologies of parts used in critical functions and on application considerations, such as supply voltages, temperature, duty cycle, and redundancy. In general, the threats that must be addressed are of two types-the cumulative degradation mechanisms of total ionizing dose (TID) and displacement damage (DD). and the prompt responses of components to ionizing particles (protons and heavy ions) falling under the heading of single-event effects. Generally degradation mechanisms behave like wear-out mechanisms on any active components in a system: Total Ionizing Dose (TID) and Displacement Damage: (1) TID affects all active devices over time. Devices can fail either because of parametric shifts that prevent the device from fulfilling its application or due to device failures where the device stops functioning altogether. Since this failure mode varies from part to part and lot to lot, lot qualification testing with sufficient statistics is vital. Displacement damage failures are caused by the displacement of semiconductor atoms from their lattice positions. As with TID, failures can be either parametric or catastrophic, although parametric degradation is more common for displacement damage. Lot testing is critical not just to assure proper device fi.mctionality throughout the mission. It can also suggest remediation strategies when a device fails. This paper will look at these effects on a variety of devices in a variety of applications. This paper will look at these effects on a variety of devices in a variety of applications. (2) On the NEAR mission a functional failure was traced to a PIN diode failure caused by TID induced high leakage currents. NEAR was able to recover from the failure by reversing the current of a nearby Thermal Electric Cooler (turning the TEC into a heater). The elevated temperature caused the PIN diode to anneal and the device to recover. It was by lot qualification testing that NEAR knew the diode would recover when annealed. This paper will look at these effects on a variety of devices in a variety of applications. Single Event Effects (SEE): (1) In contrast to TID and displacement damage, Single Event Effects (SEE) resemble random failures. SEE modes can range from changes in device logic (single-event upset, or SEU). temporary disturbances (single-event transient) to catastrophic effects such as the destructive SEE modes, single-event latchup (SEL). single-event gate rupture (SEGR) and single-event burnout (SEB) (2) The consequences of nondestructive SEE modes such as SEU and SET depend critically on their application--and may range from trivial nuisance errors to catastrophic loss of mission. It is critical not just to ensure that potentially susceptible devices are well characterized for their susceptibility, but also to work with design engineers to understand the implications of each error mode. -For destructive SEE, the predominant risk mitigation strategy is to avoid susceptible parts, or if that is not possible. to avoid conditions under which the part may be susceptible. Destructive SEE mechanisms are often not well understood, and testing is slow and expensive, making rate prediction very challenging. (3) Because the consequences of radiation failure and degradation modes depend so critically on the application as well as the component technology, it is essential that radiation, component. design and system engineers work togetherpreferably starting early in the program to ensure critical applications are addressed in time to optimize the probability of mission success.

DiBari, Rebecca↗

Adapting Grid Criticality for Data Centers

This presentation explores the evolving definition of “critical load” in the electric grid, emphasizing the growing importance of digital infrastructure—particularly data centers—in grid resilience, restoration, and modernization. As utilities increasingly rely on AI-driven analytics and software-defined control systems, data centers have shifted from passive electricity consumers to essential computational hubs that enable National Critical Functions (NCFs) and support real-time grid operations. The deck examines the scale and impact of digital loads, the need for grid modernization to manage rapid load growth, and the diverse computing paradigms required for AI deployment. It introduces a tiered taxonomy for classifying critical loads, highlights operational dependencies between the grid and digital infrastructure, and discusses policy implications for integrating data centers into emergency planning and restoration protocols. Through case studies and practical frameworks, the presentation provides actionable insights for utilities, regulators, and planners navigating the digital transformation of the power sector.

29 - ENERGY PLANNING, POLICY AND ECONOMY↗

ASpect: A new spectrum and line analysis package for IRAF

We examined several publicly available spectral analysis software packages looking for one with enough functionality and versatility to meet the analysis needs of astronomers during the next decade. None of those examined can satisfactorily support the wide variety of panchromatic science programs that are now becoming possible. Furthermore, we concluded that none of these packages can be simply modified to include critical functions because of their original (limited) designs. During the next two years we will write a new spectral analysis package, ASpect, that will incorporate the latest analysis techniques for astronomical spectra in all wavelength domains. The ASpect package has several functional requirements. It must operate on spectra from a wide variety of ground-based and space-based instruments spanning wavelengths from radio to gamma rays. It must accommodate non-linear dispersion relations. It must provide a variety of functions, individually or in combination, with which to fit spectral features and the continuum. It is vitally important that known bad data be masked and that, uncertainties be propagated throughout the calculations in order for astronomers to evaluate the reliability of results. Finally, this new package must provide a powerful, intuitive graphical user interface to handle the burden of data input/output (I/O), on-line 'help,' selection of relevant features for analysis, plotting and graphical interaction, and data base management--all in a comprehensible environment. We anticipate that ASpect will take the form of an external package in IRAF (such as the NOAO and STSDAS packages) and will be layered upon the IRAF virtual Operating System to make it available on as many platforms as possible, while making it resistant to changes in operating systems and compilers. Our choice of IRAF is motivated by its portability, its wide use within the astronomical community, and its rich set of existing user applications.

Hulbert, S. J.↗

The Nation's Needs in Aviation Formal Methods

Aviation, both on-board systems and the National Airspace System, can be transformed by many current and future technical capabilities. To name but a few, improved efficiency may be achieved by integrating functions; robustness may be improved by distributing functions; and safety may be improved by building in risk mitigation through not only redundant, independent systems but also through operational concepts and effective interaction with human operators. This talk will review the key aspects of verification, validation and certification for which formal methods will provide a critical function in enabling truly revolutionary designs to enter the operational community, illustrating successes in formal modeling to date and posing further questions for the formal modeling community.

Pritchett, Amy R.↗