SEARCH · Engineering Papers

Results for “standard review plan”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS2000

NASA Countermeasures Evaluation and Validation Project

To support its ISS and exploration class mission objectives, NASA has developed a Countermeasure Evaluation and Validation Project (CEVP). The goal of this project is to evaluate and validate the optimal complement of countermeasures required to maintain astronaut health, safety, and functional ability during and after short- and long-duration space flight missions. The CEVP is the final element of the process in which ideas and concepts emerging from basic research evolve into operational countermeasures. The CEVP is accomplishing these objectives by conducting operational/clinical research to evaluate and validate countermeasures to mitigate these maladaptive responses. Evaluation is accomplished by testing in space flight analog facilities, and validation is accomplished by space flight testing. Both will utilize a standardized complement of integrated physiological and psychological tests, termed the Integrated Testing Regimen (ITR) to examine candidate countermeasure efficacy and intersystem effects. The CEVP emphasis is currently placed on validating the initial complement of ISS countermeasures targeting bone, muscle, and aerobic fitness; followed by countermeasures for neurological, psychological, immunological, nutrition and metabolism, and radiation risks associated with space flight. This presentation will review the processes, plans, and procedures that will enable CEVP to play a vital role in transitioning promising research results into operational countermeasures necessary to maintain crew health and performance during long duration space flight.

Lundquist, Charlie M.↗

NASA NTRSDate not supplied

Blast from the Past: ASDC Curation for NASA Suborbital Legacy Missions to Promote Data Discovery and Accessibility

NASA has an extensive history of conducting suborbital field campaigns to further advances in atmospheric sciences. Beginning with the Chemical Instrument Test and Evaluation (CITE) conducted in 1983-1984, NASA has completed many suborbital campaigns over the past three decades. Since the early 2010s, suborbital missions are typically assigned to a NASA Distributed Active Archive Center (DAAC) prior to the mission for long-term archival and distribution. Efforts are being made by NASA’s Earth Science Data and Information System (ESDIS) Project and the Airborne Data Management Group (ADMG) to assign legacy missions to DAACs for permanent archival and distribution, so that these valuable datasets remain to be available to the scientific community. NASA’s Atmospheric Science Data Center (ASDC) has been named the assigned DAAC for nearly 20 atmospheric composition legacy missions, including missions conducted as part of the Global Tropospheric Experiment (GTE) and expects to be named the assigned DAAC for more of these missions over the next few years. The primary goal of the ASDC is to provide access to the datasets as they are currently formatted to the broad user community and enhance their findability and accessibility. However, data reporting standards have evolved significantly since 1983 and the datasets span a wide variety of file formats, including text, Ames, GTE, and ICARTT (International Consortium for Atmospheric Research on Transport and Transformation), and the amount of metadata and relevant information included in the files also varies greatly and can not be readily extracted without subject matter knowledge. This has caused challenges for the ASDC’s suborbital metadata extraction pipeline in ensuring that accurate and necessary metadata is being provided for the missions by all the ASDC’s existing search mechanisms. To make the data more findable and accessible, the ASDC has begun researching ways to further enhance the datasets, including distributing value-added products (i.e. consistent file format such as ICARTT or netCDF), adding standard names from the ESDIS Standards Coordination Office (ESCO)-approved Atmospheric Composition Variable Standard Names Convention (ACVSNC), and creating outreach materials such as ArcGIS StoryMaps, User Guides, and Micro Articles, providing overviews of the missions and what type of data was collected during the missions. These efforts also help support NASA’s Open-Source Science by enhancing the FAIRness of the legacy data products. This presentation will review the ASDC’s ongoing efforts, progress made, and future plans for legacy missions.

Megan Buzanowicz↗

DOE OSTI2025

Neutrino Physics and Astrophysics at Colliders

Nonzero neutrino masses guarantee new physics and neutrinos are excellent probes of extreme environments in the Universe. The recent collider neutrino experimental program, including FASER$ν$ and SND@LHC, along with the planned Forward Physics Facility at the High-Luminosity Large Hadron Collider, is opening a new window into neutrino physics and astrophysics. In this article, we review recent achievements and prospects of collider neutrino experiments, including key achievements such as the first measurements of collider neutrino interactions at unprecedented energies and the exploration of new physics scenarios, like dark matter candidates, sterile neutrinos, and non-standard neutrino interactions. For concreteness, we will focus on the significant scientific opportunities presented by the Forward Physics Facility, which will enable precision measurements of neutrino cross sections and proton structure at low parton momentum fraction. Furthermore, collider neutrino studies will substantially reduce systematic uncertainties in calculating atmospheric neutrino fluxes, thereby improving astrophysical neutrino observations as well as advancing our understanding of cosmic-ray interactions.

Machado, Pedro [Fermilab] (ORCID:0000000291187354)↗

DOE OSTI2021

PNNL ARENA Cable Motor Test Bed Update

A major focus of the Light Water Reactor Sustainability (LWRS) Cable Nondestructive Examination (NDE) 2021 research is to acquire new equipment and integrate it with existing NDE instruments for a cable motor test bed which has been dubbed the Accelerated and Real Time Experimental Nodal Analysis or “ARENA”. All the primary components have been received and are being staged in the 2410 Stevens building on PNNL’s Richland campus. Building modifications to support a plug-in 480VAC receptacle have been completed and details of the system operating procedure (SOP) are in review. The approved SOP is required before the system is energized but is expected before July 2021. The ARENA system will support planned cable tests for 2021 and beyond that cannot conveniently be performed with on-site installations of cable test equipment including: (1) NDE Tests including Frequency Domain Reflectometry (FDR), Time Domain Reflectometry (TDR), Tan Delta (TD) Impedance measurements, Low Frequency Dielectric Spectroscopy (DS) measurements, standard multi-meter resistance checks, withstand tests and other bulk and distributed tests from the instrument panel with and without motors connected. (2) Online energized live wire tests using partial discharge instruments and LIVE-WIRE spread-spectrum TDR instruments. (3) Cable tests with partially submerged cable segments (including ability to submerge live cable segments). (4) Cable tests with partially or completely thermally aged segments (including ability to expose energized cable segments to thermal aging and use online monitoring instruments to monitor cable performance. (5) Ability to introduce low resistance simulations of connector or splice faults to off-line and on-line instrument setups.

42 ENGINEERING↗

NASA NTRS1985

Recent materials problems relating to catastrophic balloon failures

Balloons fabricated of thin polyethylene materials have provided relatively inexpensive and reliable scientific research platforms for approximately three decades. Reliability of the modern day balloon, as launched by the U.S.A. National Scientific Balloon Facility (NSBF), has been approximately 85 percent. Recent balloon failures, coupled with an increased ocurrence of catastrophic failures, created grave concern over the integrity of the present balloon inventory of the U.S.A. National Aeronautics and Space Administration (NASA). An investigative team was established by NASA to review the circumstances surrounding the catastrophic balloon failures, determine the cause and to make recommendations to correct the problem and to prevent its reoccurrence. The most probable cause of failure as determined by the investigation was the polyethylene balloon film, although the film had passsed the established standard quality control measures of the film manufacturer. The approach, findings, and conclusions of the investigation are presented along with planned procedures to assure future quality balloon film for NASA balloons.

Smith, I. S.↗

DOE OSTI2021

Roadmap for Advanced Power System Measurements

Conditions in the electric power grid are changing rapidly. Changes are driven, in particular, by the increased penetration of renewable resources in the generation mix. Part of the solution to dealing with the changing conditions is the better use of measurement systems, taking advantage of the better understanding of measurements that was heralded by digital technology. Another part of the solution is the communication of samples of the directly observable voltages and currents by means of continuous point-on-wave values. The increased bandwidth capability of such a system allows more complicated measurement models to be built at the point of use. Additional measurements and analyses can then be performed. This Roadmap hinges on these two aspects of measuring: improved measurements supported by high-bandwidth (raw data) communications. Following an introduction to the overall subject, the report explores the impact of what can be thought of as the digital revolution in measurement. In essence, that revolution has served to clarify ideas about measurement and is continuing to lead to improved processes. An extensive survey of the relevant literature was performed . Webinars were held to learn from the wider community of practitioners. Based on this information, a number of gaps were identified whose continued existence would hamper the solution of the challenges now facing measurement and communication in the power grid. The underlying value propositions are interoperability (presently not very satisfactory in many measurements); greater (and less challenging) adoption of distributed energy resources; and improved international competitiveness. Underlying all that, of course, is progress toward a more reliable and resilient power system. The identified gaps were addressed in four major thrusts: technology deployment and demonstration, education, instrumentation testing and standards, and analytical methods. For each of the thrusts, multiple goals are defined to guide the implementation. The thrusts were designed to close gaps and unlock high-value use cases. After discussing the literature review, gap analysis, high-value use cases, and research thrusts in chapters 2-5, the report culminates in chapter 6 with a roadmap that links each aspect together to form a unified plan. Developing a research portfolio aligned with this plan will ensure that advanced measurement systems are in place to support reliable operation of the power system as it modernizes.

24 POWER TRANSMISSION AND DISTRIBUTION↗

DOE OSTI2023

MITR & NBSR DDE Irradiations in BR2 – Fluence in LEU Cladding and Structural Materials

The BR2 nuclear reactor is a material testing reactor (MTR) located in Mol, Belgium, and operated by the Belgian Nuclear Research Centre (SCK CEN) since 1963. The reactor is highly versatile as the number and location of fuel elements and control rods can change significantly from cycle to cycle to accommodate different needs. Argonne National Laboratory (ANL or Argonne) Reactor Conversion (RC) team has collaborated with SCK CEN for over a decade on the conversion of domestic and international research reactors from highly enriched uranium (HEU, ≥20 wt.% of 235 U) to low enriched uranium (LEU, <20 wt.% of 235 U) fuel. The U.S. High-Performance Research Reactor (USHPRR) project within the M3 Reactor Conversion Program aims at converting five U.S. high performance research reactors (MITR, MURR, NBSR, HFIR, and ATR) and one critical facility (ATR-C) to LEU fuel. These USHPRRs still use and regularly refuel with HEU fuel. Each facility has a unique reactor design, operating conditions, and fuel element design to accomplish its mission. The goal of the USHPRR project is to convert the USHPRRs and the critical facility to LEU fuel while maintaining experimental performance and ensuring safe facility operation. The current technical report focuses on two reactors requiring very high-density LEU fuel: the Massachusetts Institute of Technology Reactor (MITR) and the National Bureau of Standards Reactor (NBSR). To support the conversion of these reactors, so-called design demonstration elements (DDE) are planned to be irradiated in the BR2 reactor under conditions similar to the targeted reactors and using a prototypic geometry. In support of this experiment, SCK CEN studied and modeled the DDE irradiations using MCNP6.2 to investigate the feasibility of irradiating the MITR DDE and NBSR DDE in BR2. Argonne reviewed and confirmed the conclusions of this study. Structural analysis is another step toward converting USHPRR to LEU fuel. The objective of the current report is to provide information useful to the structural analysis of the NBSR & MITR DDEs to support its irradiation in BR2. Specifically, the goal is to provide the fast neutron (E>0.1MeV) fluence in the cladding of the fuel plates in BR2 for the whole period of irradiation (8 cycles for MITR DDE and 10 cycles for NBSR DDE). Additionally, fast neutron fluences in the side plates and in the NBSR DDE’s outside plates were calculated and reported. Neutronic calculations were performed using MCNP6.2 on the RTRHPC cluster.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

NASA NTRS1993

Evaluation of D-1 tape and cassette characteristics: Moisture content of Sony and Ampex D-1 tapes when delivered

Commercial D-1 cassette tapes and their associated recorders were designed to operate in broadcast studios and record in accordance with the International Radio Consultative Committee (CCIR) 607 digital video standards. The D-1 recorder resulted in the Society of Motion Picture and Television Engineers (SMPTE) standards 224 to 228 and is the first digital video recorder to be standardized for the broadcast industry. The D-1 cassette and associated media are currently marketed for broadcast use. The recorder was redesigned for data applications and is in the early stages of being evaluated. The digital data formats used are specified in MIL-STD-2179 and the American National Standards Institute (ANSI) X3.175-190 standard. In early 1990, the National Media Laboratory (NML) was asked to study the effects of time, temperature, and relative humidity on commercial D-1 cassettes. The environmental range to be studied was the one selected for the Advanced Tactical Air Reconnaissance System (ATARS) program. Several discussions between NML personnel, ATARS representatives, recorder contractors, and other interested parties were held to decide upon the experimental plan to be implemented. Review meetings were held periodically during the course of the experiment. The experiments were designed to determine the dimensional stability of the media and cassette since this is one of the major limiting factors of helical recorders when the media or recorders are subjected to non-broadcasting environments. Measurements were also made to characterize each sample of cassettes to give preliminary information on which purchase specifications could be developed. The actual tests performed on the cassettes and media before and after aging fall into the general categories listed.

Ashton, Gary↗

NASA NTRSDate not supplied

Advances in EDL Flight Mechanics Modeling & Simulation

Flight mechanics modeling and simulation is an area of continuous development. One of the industry-standard simulation tools in the Program to Optimize Spacecraft Trajectories II (POST2) is developed and maintained in-house at Langley Research Center. Recent uses of this tool include assessing GN&C performance of human-scale Lunar and Mars landing systems using generalized low- and medium-fidelity navigation sensor models required for precision landing. This talk will review recent POST2 simulation developments, as well as how current and planned advances in GN&C modeling enable rapid assessment of spacecraft integrated performance.

POST2↗

NASA NTRS2014

NASA's UAS Integration into the NAS: A Report on the Human Systems Integration Phase 1 Simulation Activities

In 2011 the National Aeronautics and Space Administration (NASA) began a five-year Project to address the technical barriers related to routine access of Unmanned Aerial Systems (UAS) in the National Airspace System (NAS). Planned in two phases, the goal of the first phase was to lay the foundations for the Project by identifying those barriers and key issues to be addressed to achieve integration. Phase 1 activities were completed two years into the five-year Project. The purpose of this paper is to review activities within the Human Systems Integration (HSI) subproject in Phase 1 toward its two objectives: 1) develop GCS guidelines for routine UAS access to the NAS, and 2) develop a prototype display suite within an existing Ground Control Station (GCS). The first objective directly addresses a critical barrier for UAS integration into the NAS - a lack of GCS design standards or requirements. First, the paper describes the initial development of a prototype GCS display suite and supporting simulation software capabilities. Then, three simulation experiments utilizing this simulation architecture are summarized. The first experiment sought to determine a baseline performance of UAS pilots operating in civil airspace under current instrument flight rules for manned aircraft. The second experiment examined the effect of currently employed UAS contingency procedures on Air Traffic Control (ATC) participants. The third experiment compared three GCS command and control interfaces on UAS pilot response times in compliance with ATC clearances. The authors discuss how the results of these and future simulation and flight-testing activities contribute to the development of GCS guidelines to support the safe integration of UAS into the NAS. Finally, the planned activities for Phase 2, including an integrated human-in-the-loop simulation and two flight tests are briefly described.

National Airspace System↗

NASA NTRS1991

Long life monopropellant hydrazine thruster evaluation for Space Station Freedom application

In support of propulsion system thruster development activity for Space Station Freedom (SSF), NASA Johnson Space Center (JSC) is conducting a hydrazine thruster technology demonstration program. The goal of this program is to identify impulse life capability of state-of-the-art long life hydrazine thrusters nominally rated for 50 pounds thrust at 300 psia supply pressure. The SSF propulsion system requirement for impulse life of this thruster class is 1.5 million pound-seconds, corresponding to a throughput of approximately 6400 pounds of propellant, with a high performance (234 pound-seconds per propellant pound). Long life thrusters were procured from Hamilton Standard, The Marquardt Company, and Rocket Research Company. Testing has initiated on the thruster designs to identify life while simulating expected thruster firing duty cycles and durations for SSF using monopropellant grade hydrazine. This paper presents a review of the SSF propulsion system and requirements as applicable to hydrazine thrusters, the three long life thruster designs procured by JSC and the resultant acceptance test data for each thruster, and the JSC test plan and facility.

Popp, Christopher G.↗

NASA NTRS1998

A Future of Satellite-Aided Search and Rescue

Satellite technology has been an integral part of maritime search and rescue since the Cospas-Sarsat system began operation in 1984. This system, credited with more than eighty-six hundred lives saved, has recently been augmented to provide immediate response through geostationary satellites. The other satellite-based distress alerting system, INMARSAT, launched its emergency Standard C service in 1991 and Standard E in 1997. Current plans call for a continuation of service from both of these vital systems at least through the first decade of the next century. We are currently witnessing the construction of a number of new satellite systems that will have the potential for revolutionizing mobile communications. These systems will be capable of emergency communication, and must be given due consideration in any look at the future, This paper reviews existing systems using satellites for distress alerting, describes the plans in place for them, and discusses likely developments.

Wallace, Ronald↗

DOE OSTI2021

Automation for Distributed Energy Resources Risk Manager Using OSCAL

The risk management framework (RMF) provides a well-organized and thorough approach to diagnose information technology (IT) system threats, to gather required materials to comply with industry standards, and to document a plan for achieving authority to operate (ATO). ATO is given by the operating authority with the awareness of vulnerabilities that arise when operating the IT system. The primary goal of the National Renewable Energy Laboratory’s (NREL’s) distributed energy resource (DER) RM application is to provide a user-friendly interface and in-depth guidance for generating the authorization package for the authorizing official to review. In other words, the application satisfies steps 1 through 7 of the RMF process with a focus on DERs.

cybersecurity↗

NASA NTRS1983

Radiation protection for manned space activities

The Earth's natural radiation environment poses a hazard to manned space activities directly through biological effects and indirectly through effects on materials and electronics. The following standard practices are indicated that address: (1) environment models for all radiation species including uncertainties and temporal variations; (2) upper bound and nominal quality factors for biological radiation effects that include dose, dose rate, critical organ, and linear energy transfer variations; (3) particle transport and shielding methodology including system and man modeling and uncertainty analysis; (4) mission planning that includes active dosimetry, minimizes exposure during extravehicular activities, subjects every mission to a radiation review, and specifies operational procedures for forecasting, recognizing, and dealing with large solar flaes.

Jordan, T. M.↗

NASA NTRS2004

Future of Fuel Savings

Using automation to free up controllers for more strategic management of air traffic is one approach being studied by NASA as it seeks to boost airspace system capacity and efficiency, thereby saving fuel. Heinz Erzberger, a NASA Ames Research Center senior scientist, says the Advanced Airspace Concept (AAC) has been studied for several years. It could increase efficiency 15% by providing optimal routes that cut airlines direct operating costs. A 25% increase in landings on existing runways could follow an important benefit. AAC is one of the efforts to be reviewed by the Joint Planning and Development Organization, an FAA-led initiative by six federal agencies to redesign the U.S. air transportation system by 2025. The main goal is to triple air traffic capacity within 20 years to avert the sort of gridlock that would make fuel consumption only one of many travel nightmares. The automated system approach would allow aircraft to fly optimal trajectories. A trajectory would be defined in the standard three dimensions and eventually include the fourth, time. The management of air traffic by the data-linked exchange of trajectories would start at high altitude and eventually move down to lower altitudes. The automated concept is an outgrowth of the type of tools developed by NASA for use by FAA controllers in managing traffic flows over the years, including ones that optimize routings for the best fuel burn. But AAC would push automation further to reduce workload so controllers can focus on "solving strategic control problems, managing traffic flow during changing weather and ... other unusal events." One key component, the automated trajectory server (ATS), is a ground systems that would rely on software to manage flight path requests from aircrews and controllers. But, Erzberger acknowledges, "The FAA's current plan for upgrades to air traffic services does not include [allowing] the future ground system to issue separation-critical clearances of trajectory changes autonomously to aircraft via data link without explicit approval of a controller," as the AAC proposes. The AAC enables pilots or controllers to data link requests for a trajectory change to the ATS for approval after they are deconflicted with the paths of other aircraft. To divert around storms, for example, pilots could data link their trajectory preference to the ATS. Since several aircraft might request similar routes, the computer would then have to suggest alternatives. This could be accomplished without pilot-controller radio calls, a big bottleneck now. The ATS would have a built-in conflict monitor to call for a resolution (turn, climb or descend), when loss of separation is likely in 1-20 min. The AAC system would reduce controller errors by 90%, according to NASA Ames estimates. The AAC would have a back-up program to assure separation-Tactical Separation Assurance (TSAFE). It s designed to detect short-term traffic conflicts within 3-4 min. of loss of separation. The last line of defense would still be provided by traffic alert & collision avoidance systems (TCAS).

Hughes, David↗

DOE OSTI2021

Fiscal Year 2020 Annual Summary Report for the Area 3 and Area 5 Radioactive Waste Management Sites at the Nevada National Security Site, Nye County, Nevada

U.S. Department of Energy Standard DOE-STD-5002-2017, “Disposal Authorization Statement and Tank Closure Documentation,” requires preparation of an Annual Summary Report comparing low-level radioactive waste disposal facilities operations with the Disposal Authorization Statement (DAS) and its supporting technical documents including the performance assessment (PA) and the composite analysis (CA). The fiscal year (FY) 2020 Annual Summary Report for the Area 3 and Area 5 Radioactive Waste Management Sites (RWMSs) was prepared by reviewing planned and discovered changes, waste receipts, monitoring results, research and development (R&D) results, and the status of DAS conditions and issues to assess the validity of the DASs, PAs, and CAs.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

NASA NTRS2010

Streamlining Payload Integration

Payload integration onto space transport vehicles and the International Space Station (ISS) is a complex process. Yet, cargo transport is the sole reason for any space mission, be it for ferrying humans, science, or hardware. As the largest such effort in history, the ISS offers a wide variety of payload experience. However, for any payload to reach the Space Station under the current process, Payload Developers face a list of daunting tasks that go well beyond just designing the payload to the constraints of the transport vehicle and its stowage topology. Payload customers are required to prove their payload s functionality, structural integrity, and safe integration - including under less than nominal situations. They must also plan for or provide training, procedures, hardware labeling, ground support, and communications. In addition, they must deal with negotiating shared consumables, integrating software, obtaining video, and coordinating the return of data and hardware. All the while, they must meet export laws, launch schedules, budget limits, and the consensus of more than 12 panel and board reviews. Despite the cost and infrastructure overhead, payload proposals have increased. Just in the span from FY08 to FY09, the NASA Payload Space Station Support Office budget rose from $78M to $96M in attempt to manage the growing manifest, but the potential number of payloads still exceeds available Payload Integration Management manpower. The growth has also increased management difficulties due to the fact that payloads are more frequently added to a flight schedule late in the flow. The current standard ISS template for payload integration from concept to payload turn-over is 36 months, or 18 months if the payload already has a preliminary design. Customers are increasingly requiring a turn-around of 3 to 6-months to meet market needs. The following paper suggests options for streamlining the current payload integration process in order to meet customer schedule needs and reduce costs for both the integration support teams and the developers, without reducing quality or compromising safety. Issues for the key integration areas of planning, training, verification, and safety are presented in a Root-Cause Analysis study, with plausible solutions provided that involve technology and tools already available to the ISS community. Although based upon the ISS process, the payload integration techniques outlined herein also offer an integration template for any space transport endeavor.

Lufkin, Susan N.↗

NASA NTRS1995

Formal methods in the design of Ada 1995

Formal, mathematical methods are most useful when applied early in the design and implementation of a software system--that, at least, is the familiar refrain. I will report on a modest effort to apply formal methods at the earliest possible stage, namely, in the design of the Ada 95 programming language itself. This talk is an 'experience report' that provides brief case studies illustrating the kinds of problems we worked on, how we approached them, and the extent (if any) to which the results proved useful. It also derives some lessons and suggestions for those undertaking future projects of this kind. Ada 95 is the first revision of the standard for the Ada programming language. The revision began in 1988, when the Ada Joint Programming Office first asked the Ada Board to recommend a plan for revising the Ada standard. The first step in the revision was to solicit criticisms of Ada 83. A set of requirements for the new language standard, based on those criticisms, was published in 1990. A small design team, the Mapping Revision Team (MRT), became exclusively responsible for revising the language standard to satisfy those requirements. The MRT, from Intermetrics, is led by S. Tucker Taft. The work of the MRT was regularly subject to independent review and criticism by a committee of distinguished Reviewers and by several advisory teams--for example, the two User/Implementor teams, each consisting of an industrial user (attempting to make significant use of the new language on a realistic application) and a compiler vendor (undertaking, experimentally, to modify its current implementation in order to provide the necessary new features). One novel decision established the Language Precision Team (LPT), which investigated language proposals from a mathematical point of view. The LPT applied formal mathematical analysis to help improve the design of Ada 95 (e.g., by clarifying the language proposals) and to help promote its acceptance (e.g., by identifying a verifiable subset that would meet the needs of safety-critical applications). The first LPT project, which ran from the fall of 1990 unti the end of 1992, produced studies of several language issues: optimization, sharing and storage, tasking and protected records, overload resolution, the floating point model, distribution, program erros, and object-oriented programming. The second LPT project, in 1994, formally modeled the dynamic semantics of a large part of the (almost) final language definition, looking especially for interactions between language features.

Guaspari, David↗