Search NASA⌕ Search

SEARCH · Search NASA

Results for “INDUSTRIAL SAFETY”

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 631 records · Page 35

Bottleneck Detection in Modular Construction Factories Using Computer Vision

The construction industry is increasingly adopting off-site and modular construction methods due to the advantages offered in terms of safety, quality, and productivity for construction projects. Despite the advantages promised by this method of construction, modular construction factories still rely on manually-intensive work, which can lead to highly variable cycle times. As a result, these factories experience bottlenecks in production that can reduce productivity and cause delays to modular integrated construction projects. To remedy this effect, computer vision-based methods have been proposed to monitor the progress of work in modular construction factories. However, these methods fail to account for changes in the appearance of the modular units during production, they are difficult to adapt to other stations and factories, and they require a significant amount of annotation effort. Due to these drawbacks, this paper proposes a computer vision-based progress monitoring method that is easy to adapt to different stations and factories and relies only on two image annotations per station. In doing so, the Scale-invariant feature transform (SIFT) method is used to identify the presence of modular units at workstations, and the Mask R-CNN deep learning-based method is used to identify active workstations. This information was synthesized using a near real-time data-driven bottleneck identification method suited for assembly lines in modular construction factories. This framework was successfully validated using 420 h of surveillance videos of a production line in a modular construction factory in the U.S., providing 96% accuracy in identifying the occupancy of the workstations and an F-1 Score of 89% in identifying the state of each station on the production line. The extracted active and inactive durations were successfully used via a data-driven bottleneck detection method to detect bottleneck stations inside a modular construction factory. The implementation of this method in factories can lead to continuous and comprehensive monitoring of the production line and prevent delays by timely identification of bottlenecks.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Evaluation of the Reconstruction Accuracy of the Ultrasound Model–Based Image Reconstruction (U-MBIR) Method for Concrete to Optimize Damage Detection

Reinforced concrete is a critical structural material used to construct nuclear power plants (NPPs). As such, its safety and performance must be thoroughly examined throughout the life cycle of the NPP infrastructure system. Ultrasonic measurements have been an industry standard for both surface and subsurface inspections. To support the development of these techniques, Oak Ridge National Laboratory (ORNL) has researched and developed advanced image reconstruction algorithms to capture internal damage. The results and discussion presented herein summarize the current state of the ultrasonic model–based iterative reconstruction (U-MBIR) algorithm developed at ORNL. In the work documented in this report, the U-MBIR methodology was applied to four sets of ultrasonic data collected from concrete specimens. The results demonstrate that the U-MBIR algorithm can successfully detect defects within the four concrete samples. The reconstruction images help identify the specimen thickness, regions of delamination, and location of rebar embedded within the concrete. The reconstruction images allow engineers and technicians to characterize the internal defects within concrete specimens and structural members. Ultimately, this knowledge can guide engineers in making informed decisions regarding the performance, safety, and reliability of structural materials (i.e., reinforced concrete) throughout the life cycle of NPPs.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Advancing Additive Manufacturing Through Artificial Intelligence–Powered, High-Throughput, Nondestructive Characterization and Process Optimization

This Cooperative Research and Development Agreement (CRADA) between Oak Ridge National Laboratory (ORNL) and ZEISS Industrial Metrology has demonstrated the transformative potential of artificial intelligence (AI)-enabled x-ray computed tomography (XCT) to accelerate the qualification and certification of additively manufactured (AM) parts. At the core of this effort is Simurgh, an AI-powered XCT reconstruction framework jointly advanced by ORNL and ZEISS that integrates computer-aided design (CAD) models, physics-based simulations, and deep learning to overcome the long-standing challenges of metal artifact correction, long scan durations, and limited flaw detectability in dense and geometrically complex components. Simurgh enables high-throughput, high-quality 3D reconstruction from sparse and fast scans, which reduces XCT acquisition times by more than an order of magnitude and simultaneously improves defect detection limits by up to fourfold compared with industry-standard approaches. This capability reduces scan costs by more than 50%, lowers labor overhead, and makes XCT characterization economically viable for routine industrial use. By enabling reliable flaw detection in minutes rather than hours, Simurgh facilitates real-time feedback loops for process parameter optimization, which was highlighted in a recent npj Computational Materials (a Nature journal) issue. In the published study, more than 100 alloy coupons were characterized within a single day. This work represents a tenfold acceleration in the development of novel AM alloys and processes compared with conventional workflows. The ZEISS collaboration has also demonstrated the scalability of Simurgh to diverse application domains, including aerospace, nuclear, automotive, and biomedical components; in these applications, ensuring structural integrity is paramount. By drastically reducing barriers to XCT adoption, this partnership has laid the foundation for digital twins and data-driven certification pipelines and directly addressed bottlenecks in qualifying new materials and designs. Together, ORNL and ZEISS have shown that Simurgh advances the state of the art in nondestructive evaluation and aligns with the broader mission of enabling Industry 4.0 manufacturing ecosystems, in which intelligent, cost-effective, rapid quality assurance is integral to accelerating innovation and ensuring safety in critical applications.

36 MATERIALS SCIENCE↗

Spinoff 2003: 100 Years of Powered Flight

Today, NASA continues to reach milestones in space exploration with the Hubble Telescope, Earth-observing systems, the Space Shuttle, the Stardust spacecraft, the Chandra X-Ray Observatory, the International Space Station, the Mars rovers, and experimental research aircraft these are only a few of the many initiatives that have grown out of NASA engineering know-how to drive the Agency s missions. The technical expertise gained from these programs has transferred into partnerships with academia, industry, and other Federal agencies, ensuring America stays capable and competitive. With Spinoff 2003, we once again highlight the many partnerships with U.S. companies that are fulfilling the 1958 Space Act stipulation that NASA s vast body of scientific and technical knowledge also benefit mankind. This year's issue showcases innovations such as the cochlear implant in health and medicine, a cockpit weather system in transportation, and a smoke mask benefiting public safety; many other products are featured in these disciplines, as well as in the additional fields of consumer/home/recreation, environment and resources management, computer technology, and industrial productivity/ manufactacturing technology. Also in this issue, we devote an entire section to NASA s history in the field of flight and showcase NASA s newest enterprise dedicated to education. The Education Enterprise will provide unique teaching and learning experiences for students and teachers at all levels in science, technology, engineering, and mathematics. The Agency also is committed, as never before, to engaging parents and families through NASA s educational resources, content, and opportunities. NASA s catalyst to intensify its focus on teaching and learning springs from our mission statement: to inspire the next generation of explorers as only NASA can.

Source record↗

Advancing Additive Manufacturing Through Artificial Intelligence–Powered, High-Throughput, Nondestructive Characterization and Process Optimization

This Cooperative Research and Development Agreement (CRADA) between Oak Ridge National Laboratory (ORNL) and ZEISS Industrial Metrology has demonstrated the transformative potential of artificial intelligence (AI)-enabled x-ray computed tomography (XCT) to accelerate the qualification and certification of additively manufactured (AM) parts. At the core of this effort is Simurgh, an AI-powered XCT reconstruction framework jointly advanced by ORNL and ZEISS that integrates computer-aided design (CAD) models, physics-based simulations, and deep learning to overcome the long-standing challenges of metal artifact correction, long scan durations, and limited flaw detectability in dense and geometrically complex components. Simurgh enables high-throughput, high-quality 3D reconstruction from sparse and fast scans, which reduces XCT acquisition times by more than an order of magnitude and simultaneously improves defect detection limits by up to fourfold compared with industry-standard approaches. This capability reduces scan costs by more than 50%, lowers labor overhead, and makes XCT characterization economically viable for routine industrial use. By enabling reliable flaw detection in minutes rather than hours, Simurgh facilitates real-time feedback loops for process parameter optimization, which was highlighted in a recent npj Computational Materials (a Nature journal) issue. In the published study, more than 100 alloy coupons were characterized within a single day. This work represents a tenfold acceleration in the development of novel AM alloys and processes compared with conventional workflows. The ZEISS collaboration has also demonstrated the scalability of Simurgh to diverse application domains, including aerospace, nuclear, automotive, and biomedical components; in these applications, ensuring structural integrity is paramount. By drastically reducing barriers to XCT adoption, this partnership has laid the foundation for digital twins and data-driven certification pipelines and directly addressed bottlenecks in qualifying new materials and designs. Together, ORNL and ZEISS have shown that Simurgh advances the state of the art in nondestructive evaluation and aligns with the broader mission of enabling Industry 4.0 manufacturing ecosystems, in which intelligent, cost-effective, rapid quality assurance is integral to accelerating innovation and ensuring safety in critical applications.

36 MATERIALS SCIENCE↗

Analysis of Respirator Cartridge Performance Testing on Hanford Tank A-101

Washington River Protection Solutions (WRPS) conducted tests on two types of chemical cartridges for use in air purifying respirators (APR) to determine the period of time that the cartridges would provide adequate performance1 to protect workers when exposed to a mixture of Chemicals of Potential Concern (COPCs) from vapors emanating from the headspace of tank A-101 on the Hanford Site. The Occupational Safety and Health Administration (OSHA) identifies cartridge testing as a valid approach for establishing a cartridge change schedules.[3] Testing is commonly applied in situations where mixtures of COPCs exist, and where other approaches, such as manufacturer recommendations and modeling, are less reliable. The tests were designed and conducted to ensure measurement and/or control of the key variables OSHA identified as important to estimate cartridge service life, including temperature, humidity, COPC concentration, breathing rate, and cartridge adsorption capacity. Testing was conducted over a period from July 22-24, 2016, using headspace vapors from Hanford tank A-101 under static conditions2 fed to a respirator cartridge test stand developed by WRPS in collaboration with HiLine Engineering (Richland, Washington). Multipurpose respirator cartridges, SCOTT 7422-SD1 and 7422-SC1 (SCOTT Safety, Monroe, North Carolina) were assessed on separate days with A-101 headspace vapors. Sample media (sorbent tubes) were used to collect samples of the vapor stream entering and exiting the respirator cartridge, and were subsequently analyzed for COPC concentrations. Pacific Northwest National Laboratory was tasked with conducting an independent analysis of the analytical results and making recommendations based on the results for respiratory cartridge performance and service life. Key conclusions from the assessment of the 59 COPCs in this study are described below: • Based on d measured cartridge inlet vapor concentrations from tank A-101 headspace, both ammonia and N-Nitrosodimethylamine (NDMA) exceeded their Occupational Exposure Limits (OEL).3 These measurements were generally consistent with maximum A-101 headspace measurements previously obtained for these two compounds. • Ammonia had respirator cartridge outlet concentrations that exceeded 10% of the OEL for both cartridges tested, indicating breakthrough for each. For the SCOTT 7422-SD1 cartridge, ammonia appeared to breakthrough above 10% of its OEL after 2 hours. For the SCOTT 7422-SC1 cartridge, ammonia breakthrough appeared to occur after 8 hours. 1 “Adequate performance” refers to the breakthrough criteria used in this analysis—that is, sustained cartridge outlet concentrations above 10% of the OEL. For some COPCs, an alternate threshold has been applied when necessary due to higher detection limit (DL)/reporting limit (RL) values for specific compounds. Ultimately, Industrial Hygiene professionals will use these results along with specific hazard assessments to determine service life and cartridge use that provides the necessary performance. 2 These tests were conducted under static conditions absent waste-disturbing activities in the subject tank or tank farm. 3 Occupational Exposure Limits accepted for Hanford Tank Farm use are based on OELs established by a U.S. governmental agency or national professional organization (e.g., OSHA, National Institute for Occupational Safety and Health, American Conference of Governmental Industrial Hygienists), or if no U.S. OEL exists, standard toxicological practices are applied to develop OELs using non-U.S. exposure limits, other established OELs for chemical surrogates when available, or other standard procedures. The OEL for NDMA was established in 2005 based on the MAK (Maximale Arbeitsplatzkonzentration) Commission standard adopted in Europe. iv • Despite respirator inlet measurements for NDMA that were in excess of its OEL, all corresponding outlet measurements, from both respirator cartridges, were below analytical DL 1 for the

61 RADIATION PROTECTION AND DOSIMETRY↗

WTEC monograph on instrumentation, control and safety systems of Canadian nuclear facilities

This report updates a 1989-90 survey of advanced instrumentation and controls (I&C) technologies and associated human factors issues in the U.S. and Canadian nuclear industries carried out by a team from Oak Ridge National Laboratory (Carter and Uhrig 1990). The authors found that the most advanced I&C systems are in the Canadian CANDU plants, where the newest plant (Darlington) has digital systems in almost 100 percent of its control systems and in over 70 percent of its plant protection system. Increased emphasis on human factors and cognitive science in modern control rooms has resulted in a reduced workload for the operators and the elimination of many human errors. Automation implemented through digital instrumentation and control is effectively changing the role of the operator to that of a systems manager. The hypothesis that properly introducing digital systems increases safety is supported by the Canadian experience. The performance of these digital systems has been achieved using appropriate quality assurance programs for both hardware and software development. Recent regulatory authority review of the development of safety-critical software has resulted in the creation of isolated software modules with well defined interfaces and more formal structure in the software generation. The ability of digital systems to detect impending failures and initiate a fail-safe action is a significant safety issue that should be of special interest to nuclear utilities and regulatory authorities around the world.

Uhrig, Robert E.↗

Understanding the Gap between Academic Research and Industrial Requirements in Rechargeable Zinc-Ion Batteries

Rechargeable Zn-ion batteries (RZIBs) are considered to be promising energy storage systems for large-scale applications owing to their relatively high energy densities and inherently low costs, environmental benignity, as well as safety. With increasing interest and effort being devoted to this field, RZIBs are being tremendously advanced and are very likely to be commercialized in the near future. However, some challenges remain that need to be addressed. Moreover, reported results are quite often overstated through artificial exaggeration and cannot be translated to industrial applications as they were obtained under ideal testing conditions. Therefore, in this perspective, here we discuss key parameters that need to be carefully considered when translating laboratory-developed RZIBs into commercial reality. We also present a critical mini-review on RZIBs and devote effort to issues that are overlooked in academic research. We believe that this perspective provides new or seldom-discussed insight for future work and bridges the gap between academia and industry.

25 ENERGY STORAGE↗

NASA Software Engineering Benchmarking Study

To identify best practices for the improvement of software engineering on projects, NASA's Offices of Chief Engineer (OCE) and Safety and Mission Assurance (OSMA) formed a team led by Heather Rarick and Sally Godfrey to conduct this benchmarking study. The primary goals of the study are to identify best practices that: Improve the management and technical development of software intensive systems; Have a track record of successful deployment by aerospace industries, universities [including research and development (R&D) laboratories], and defense services, as well as NASA's own component Centers; and Identify candidate solutions for NASA's software issues. Beginning in the late fall of 2010, focus topics were chosen and interview questions were developed, based on the NASA top software challenges. Between February 2011 and November 2011, the Benchmark Team interviewed a total of 18 organizations, consisting of five NASA Centers, five industry organizations, four defense services organizations, and four university or university R and D laboratory organizations. A software assurance representative also participated in each of the interviews to focus on assurance and software safety best practices. Interviewees provided a wealth of information on each topic area that included: software policy, software acquisition, software assurance, testing, training, maintaining rigor in small projects, metrics, and use of the Capability Maturity Model Integration (CMMI) framework, as well as a number of special topics that came up in the discussions. NASA's software engineering practices compared favorably with the external organizations in most benchmark areas, but in every topic, there were ways in which NASA could improve its practices. Compared to defense services organizations and some of the industry organizations, one of NASA's notable weaknesses involved communication with contractors regarding its policies and requirements for acquired software. One of NASA's strengths was its software assurance practices, which seemed to rate well in comparison to the other organizational groups and also seemed to include a larger scope of activities. An unexpected benefit of the software benchmarking study was the identification of many opportunities for collaboration in areas including metrics, training, sharing of CMMI experiences and resources such as instructors and CMMI Lead Appraisers, and even sharing of assets such as documented processes. A further unexpected benefit of the study was the feedback on NASA practices that was received from some of the organizations interviewed. From that feedback, other potential areas where NASA could improve were highlighted, such as accuracy of software cost estimation and budgetary practices. The detailed report contains discussion of the practices noted in each of the topic areas, as well as a summary of observations and recommendations from each of the topic areas. The resulting 24 recommendations from the topic areas were then consolidated to eliminate duplication and culled into a set of 14 suggested actionable recommendations. This final set of actionable recommendations, listed below, are items that can be implemented to improve NASA's software engineering practices and to help address many of the items that were listed in the NASA top software engineering issues. 1. Develop and implement standard contract language for software procurements. 2. Advance accurate and trusted software cost estimates for both procured and in-house software and improve the capture of actual cost data to facilitate further improvements. 3. Establish a consistent set of objectives and expectations, specifically types of metrics at the Agency level, so key trends and models can be identified and used to continuously improve software processes and each software development effort. 4. Maintain the CMMI Maturity Level requirement for critical NASA projects and use CMMI to measure organizations developing software for NASA. 5.onsolidate, collect and, if needed, develop common processes principles and other assets across the Agency in order to provide more consistency in software development and acquisition practices and to reduce the overall cost of maintaining or increasing current NASA CMMI maturity levels. 6. Provide additional support for small projects that includes: (a) guidance for appropriate tailoring of requirements for small projects, (b) availability of suitable tools, including support tool set-up and training, and (c) training for small project personnel, assurance personnel and technical authorities on the acceptable options for tailoring requirements and performing assurance on small projects. 7. Develop software training classes for the more experienced software engineers using on-line training, videos, or small separate modules of training that can be accommodated as needed throughout a project. 8. Create guidelines to structure non-classroom training opportunities such as mentoring, peer reviews, lessons learned sessions, and on-the-job training. 9. Develop a set of predictive software defect data and a process for assessing software testing metric data against it. 10. Assess Agency-wide licenses for commonly used software tools. 11. Fill the knowledge gap in common software engineering practices for new hires and co-ops.12. Work through the Science, Technology, Engineering and Mathematics (STEM) program with universities in strengthening education in the use of common software engineering practices and standards. 13. Follow up this benchmark study with a deeper look into what both internal and external organizations perceive as the scope of software assurance, the value they expect to obtain from it, and the shortcomings they experience in the current practice. 14. Continue interactions with external software engineering environment through collaborations, knowledge sharing, and benchmarking.

Rarick, Heather L.↗

Effect of ATF Cr-coated-Zircaloy on BWR In-vessel Accident Progression during a Station Blackout

The deposition of protective coatings on nuclear fuel cladding has been considered as a near-term Accident Tolerant Fuel (ATF) concept that will reduce the high-temperature oxidation rate and enhance accident tolerance of the cladding while providing additional benefits during normal and transient. In this study, the performance of the proposed ATF concept of Cr-coated-Zircaloy is assessed using a generic Boiling Water Reactor MELCOR plant model considering a Short-term Station Blackout (STSBO) scenario. Simulation results indicate that the use of Cr-coated-Zircaloy as cladding and canister material mitigates the core degradation process as compared to the traditional Zircaloy cladding and canister design. The onset of fuel degradation and collapse is delayed by over thirty minutes, and the extent of fuel degradation is reduced. Specifically, the gross in-vessel hydrogen generation decreased by almost a factor of three. Although the eutectic reaction between Cr-coating and Zircaloy could cause an early failure of the coating, the improvement in the delay of fuel degradation is still notable. In addition, a thicker coating is found helpful to obtain additional coping time and to decrease hydrogen generation. In addition to the eutectic formation that may compromise Cr-coated Zr, a different failure mode is identified for the Cr-coated-Zr when compared to Zircaloy; i.e., a complete melt of base material leads to component collapse before the coating is oxidized and consumed. These findings can help the industry focus on productive areas of research and development for accident-tolerant fuel concepts and enhancement of core safety margins.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Tensile and fatigue characterization of multifunctional composites

This research is part of a larger effort to develop advanced self-sensing multifunctional polymer composites that are both lightweight and high-strength, while also enabling structural damage detection, fatigue cycle monitoring, and service life prediction. These multifunctional composites are particularly sought after in the automotive industry for their potential to significantly reduce vehicle weight and simultaneously provide additional functionality like condition monitoring to enhance safety. This study examines the tensile and fatigue properties of a composite material composed of acrylonitrile butadiene styrene (ABS) polymer embedded with piezoelectric barium titanate (BaTiO3) nanoparticles. The integration of BaTiO3 nanoparticles not only supplies the material with self-sensing capabilities but also influences its mechanical properties. While a high content of BaTiO3 nanoparticles is desired to enhance sensing capacity, the brittle nature of such materials causes concerns of decreased strength characteristics. To explore this, various composite samples were fabricated with nanoparticle contents ranging from 0 wt% to 20 wt%. These samples underwent tensile testing to measure their ultimate tensile strengths and Young’s moduli. Following this, fatigue tests were conducted to generate S-N curves, which are essential for understanding the material's durability under cyclic loading. The findings from these tests assess the impact of nanoparticle content on the composite’s tensile strength and fatigue life, providing essential insights that can guide the optimization and design of future self-sensing multifunctional composites. The results suggest that 5 wt% BaTiO3 provides an optimal balance between mechanical properties and nanoparticle concentration, making it a promising composition for semi-structural applications.

Bowland, Christopher [ORNL] (ORCID:000000021229431↗

Assessment of the Effect of Prototypic High-Burnup Operating Conditions of Fuel Fragmentation, Relocation, and Dispersal Susceptibility

The US nuclear energy industry is investigating strategies that further reduce the cost of energy production by using its existing fleet of nuclear generating stations. Most nuclear power plant operating costs are associated with purchasing fresh fuel assemblies or the efficiency of the reactor core design. Material costs are typically beyond the operator’s control; however, the core design optimizations offer potential operational savings. The core design envelope available to operators is constrained by two primary regulatory criteria: an enrichment limit of 5% 235 U and a burnup limit of 62 GWD/tU. These constraints have resulted in renewed efforts by the nuclear industry to pursue extending the peak rod-average burnup beyond 62 GWd/tU. This effort will likely require additional safety analyses beyond what is currently accepted by the US Nuclear Regulatory Commission. The purpose of this work is to demonstrate a best estimate plus uncertainty pin-by-pin high-burnup loss of coolant accident analysis technique to assess full-core high-burnup fuel fragmentation, relocation, and dispersal (FFRD) and identify approaches for minimizing or potentially mitigating FFRD through core design optimizations.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Comparison of alternate fuels for aircraft

A comparison of candidate alternate fuels for aircraft is presented. The fuels discussed include liquid hydrogen, liquid methane, and synthetic aviation kerosene. Each fuel is evaluated from the standpoint of production, transmission, airport storage and distribution facilities, and use in aircraft. Technology deficient areas for cryogenic fuels, which should be advanced prior to the introduction of the fuels into the aviation industry, are identified, as are the cost and energy penalties associated with not achieving those advances. Environmental emissions and safety aspects of fuel selection are discussed. A detailed description of the various fuel production and liquefaction processes and their efficiencies and economics is given.

Witcofski, R. D.↗

Chemical research projects office: An overview and bibliography, 1975-1980

The activities of the Chemical Research Projects Office at Ames Research Center, Moffett Field, California are reported. The office conducts basic and applied research in the fields of polymer chemistry, computational chemistry, polymer physics, and physical and organic chemistry. It works to identify the chemical research and technology required for solutions to problems of national urgency, synchronous with the aeronautic and space effort. It conducts interdisciplinary research on chemical problems, mainly in areas of macromolecular science and fire research. The office also acts as liaison with the engineering community and assures that relevant technology is made available to other NASA centers, agencies, and industry. Recent accomplishments are listed in this report. Activities of the three research groups, Polymer Research, Aircraft Operating and Safety, and Engineering Testing, are summarized. A complete bibliography which lists all Chemical Research Projects Office publications, contracts, grants, patents, and presentations from 1975 to 1980 is included.

Kourtides, D. A.↗

Synthesis of frameworks under multilevel performance constraints

A method for the minimum weight design of practical planar frameworks under both service and ultimate loading conditions is presented. Acceptable elastic stresses and displacements are ensured at the service load level while, simultaneously, adequate safety against plastic collapse is ensured at the ultimate load level. The features of the design method for an industrial steel mill building are illustrated.

Grierson, D. E.↗

Wind Shear/Turbulence Inputs to Flight Simulation and Systems Certification

The purpose of the workshop was to provide a forum for industry, universities, and government to assess current status and likely future requirements for application of flight simulators to aviation safety concerns and system certification issues associated with wind shear and atmospheric turbulence. Research findings presented included characterization of wind shear and turbulence hazards based on modeling efforts and quantitative results obtained from field measurement programs. Future research thrusts needed to maximally exploit flight simulators for aviation safety application involving wind shear and turbulence were identified. The conference contained sessions on: Existing wind shear data and simulator implementation initiatives; Invited papers regarding wind shear and turbulence simulation requirements; and Committee working session reports.

Bowles, Roland L.↗

Formal verification of an avionics microprocessor

Formal specification combined with mechanical verification is a promising approach for achieving the extremely high levels of assurance required of safety-critical digital systems. However, many questions remain regarding their use in practice: Can these techniques scale up to industrial systems, where are they likely to be useful, and how should industry go about incorporating them into practice? This report discusses a project undertaken to answer some of these questions, the formal verification of the AAMPS microprocessor. This project consisted of formally specifying in the PVS language a rockwell proprietary microprocessor at both the instruction-set and register-transfer levels and using the PVS theorem prover to show that the microcode correctly implemented the instruction-level specification for a representative subset of instructions. Notable aspects of this project include the use of a formal specification language by practicing hardware and software engineers, the integration of traditional inspections with formal specifications, and the use of a mechanical theorem prover to verify a portion of a commercial, pipelined microprocessor that was not explicitly designed for formal verification.

Srivas, Mandayam, K.↗

NASA's Space Launch System: A Flagship for Exploration Beyond Earth's Orbit

The National Aeronautics and Space Administration s (NASA) Space Launch System (SLS) Program, managed at the Marshall Space Flight Center, is making progress toward delivering a new capability for exploration beyond Earth orbit in an austere economic climate. This fact drives the SLS team to find innovative solutions to the challenges of designing, developing, fielding, and operating the largest rocket in history. To arrive at the current SLS plan, government and industry experts carefully analyzed hundreds of architecture options and arrived at the one clear solution to stringent requirements for safety, affordability, and sustainability over the decades that the rocket will be in operation. This paper will explore ways to fit this major development within the funding guidelines by using existing engine assets and hardware now in testing to meet a first launch by 2017. It will explain the SLS Program s long-range plan to keep the budget within bounds, yet evolve the 70 metric ton (t) initial lift capability to 130-t lift capability after the first two flights. To achieve the evolved configuration, advanced technologies must offer appropriate return on investment to be selected through a competitive process. For context, the SLS will be larger than the Saturn V that took 12 men on 6 trips for a total of 11 days on the lunar surface over 4 decades ago. Astronauts train for long-duration voyages on the International Space Station, but have not had transportation to go beyond Earth orbit in modern times, until now. NASA is refining its mission manifest, guided by U.S. Space Policy and the Global Exploration Roadmap. Launching the Orion Multi-Purpose Cargo Vehicle s first autonomous certification flight in 2017, followed by a crewed flight in 2021, the SLS will offer a robust way to transport international crews and the air, water, food, and equipment they need for extended trips to asteroids, Lagrange Points, and Mars. In addition, the SLS will accommodate high-priority science experiments. SLS affordability initiatives include streamlining interfaces, applying risk-based insight into contracted work, centralizing systems engineering and integration, and nurturing a learning culture that continually benchmarks its performance against successful ventures. As this paper will explain, the SLS is making measurable progress toward becoming a global infrastructure asset for robotic and human scouts of all nations by harnessing business and technological innovations to deliver sustainable solutions for space exploration.

May, Todd↗