Results for “building design” — Page 8

NASA NTRS1995

Bibliography of NASA-related publications on wind turbine technology 1973-1995

A major program of research and development projects on wind turbines for generating electricity was conducted at the NASA Lewis Research Center from 1973 to 1988. Most of these projects were sponsored by the U.S. Department of Energy (DOE), as a major element of its Federal Wind Energy Program. One other large-scale wind turbine project was sponsored by the Bureau of Reclamation of the Department of Interior (DOI). The peak years for wind energy work at Lewis were 1979-80, when almost 100 engineers, technicians, and administrative personnel were involved. From 1988 their conclusion in 1995, NASA wind energy activities have been directed toward the transfer of technology to commercial and academic organizations. Wind energy activities at NASA can be divided into two broad categories which are closely related and often overlapping: (1) Designing, building, and testing a series of 12 large-scale, experimental, horizontal-axis wind turbines (HAWT's); and (2) conducting supporting research and technology (SR&T) projects. The purpose of this bibliography is to assist those active in the field of wind energy in locating the technical information they need on wind power planning, wind loads, turbine design and analysis, fabrication and installation, laboratory and field testing, and operations and maintenance. This bibliography contains approximately 620 citations of publications by over 520 authors and co-authors. Sources are: (1) NASA reports authored by government grantee, and contractor personnel, (2) papers presented by attendees at NASA-sponsored workshops and conferences, (3) papers presented by NASA personnel at outside workshops and conferences, and (4) outside publications related to research performed at NASA/ DOE wind turbine sites.

Spera, David A.↗

NASA NTRSDate not supplied

Development of a Ground Multi-Mission Low-Cost Optical Terminal (LCOT) for Free-Space Optical Communications

Once confined to the realm of laboratory experiments and theoretical papers, space-based laser communications (lasercomm) are on the verge of achieving mainstream status. Organizations from Facebook to NASA, and missions from cubesats to Orion are employing lasercomm to achieve gigabit communication speeds at mass and power requirements lower than that of traditional radio frequency (RF) methods. Since first demonstrating free-space optical communications services with Lunar Laser Communications Demonstration (LLCD) in 2013, NASA has invested in developing optical communications technologies and capabilities to enhancing its space communications networks. Along with evolving optical space terminals, NASA is also developing lasercomm grounds stations capable of meeting the rapidly increasing data volume demands of upcoming missions, from low-earth to lunar orbits and beyond and integrating these advanced capabilities into its Near-Space and Deep Space Networks. To meet this emerging need, the Low-Cost Optical Terminal (LCOT) project at NASA’s Goddard Space Flight Center (GSFC) is designing, building and validating a prototype for a flexible, multi-mission, and economical optical ground terminal that could be used as a blueprint for a global network of optical ground stations, capable of supporting a wide variety of missions. To date a major impediment to widespread adoption of laser communication has been the lack of an existing ground network infrastructure. A mission that wishes to take advantage of laser communication not only needs to invest in an optical space terminal, but it must also finance the creation of ground terminals to receive the downlink signal. This adds significant additional cost. Missions that do decide to incur the cost of financing a network of ground terminals end up building highly specialized optical receivers that are operable as receivers for that specific mission only. Significant Non-Recurring Engineering (NRE) cost is invested to build highly specialized one-of-a-kind ground terminals that go into storage after that particular mission is over. This is not an economical approach and does nothing to grow the number of optical ground stations available to future missions. In essence each mission that wants to take advantage of the benefits of lasercom has to start from scratch to provide a ground terminal network to support it. As long as this is the case, the cost for using laser communications will be too high for most missions to consider. LCOT intends to close this gap in technology by designing and developing a standard optical ground terminal design that is flexible enough to serve as a receiver for a wide range of future missions – a ground terminal that can be quickly reconfigured to receive downlinks at different wavelengths using different signal formats. Not only does LCOT have the industry-building objectives of utilizing commercial-off-the-shelf (COTS) components to the maximum extent possible, but also spurs the commercial development of other necessary lasercomm components not currently offered by industry. Finally, LCOT will give NASA scientists and engineers a facility where they can gain real-world experience with optical communications. It will give engineers a cost-effective way to try out new concepts and processes by providing the infrastructure for such testing. In this way it is hoped LCOT will serve as a stimulus for innovation in optical communications and speed its widespread adoption by future missions. The LCOT is comprised of five subsystems: Free-Space Optical, Transceiver, Amplifier, Monitor and Control, and Observatory Infrastructure. In August 2021, the LCOT team installed a 70 cm telescope, developed by Planewave Instruments that was optimized for optical communications. Free-Space Optical subsystem comprises of the telescope and its associated hardware, including a transmitter optical assembly, wide field cameras, two optical benches, and an adaptive optics subsystem. The transmit optical assembly, a unique concept design, is a cluster of four functionally independent transmit subassemblies located on the receive telescope. In addition to receiving optical signals and directing the expanded beam with high precision to the space terminal, it also performs tracking functions. The transmit optical assembly will support operations from Low Earth Orbit (LEO) through lunar and will be used as a template for industry manufacturing. The Optical Infrastructure subsystem is responsible for providing environmentally controlled shelters for LCOT equipment and various other systems. To maintain the safety and proper functionality of the telescope, a 16 ft Astrohaven clamshell dome procured which provides all-sky coverage without the need to rotate the dome. Additionally, Atmospheric Monitoring Assembly (AMA) will be part of optical infrastructure subsystem to ensure accurate performance of the LCOT. Like existing optical ground stations, LCOT will measure standard weather station parameters, infrared all sky image of cloud cover, and cloud height. LCOT, however, adds requirements for measuring night time seeing and, in the future, daytime seeing. Unlike other optical ground terminals, the LCOT is transceiver agnostic; user transceivers may be duplex transceivers, standalone receivers, or standalone transmitters with or without acquisition beacon functionality. As such, the LCOT project accommodates testing with external customer transceivers in a flexible manor, further complimenting its intended multi-mission goals. Another unique component of LCOT is the use of a new amplifier technology – the Very Large Mode Area (VLMA) amplifiers. This new technology allows LCOT to avoid the issues faced by previous laser communications ground terminals, gives users more flexibility and modular capability, and is capable of reaching an order of magnitude higher peak power than traditional High Power Optical Amplifiers (HPOA). One drawback of the VLMA HPOA approach is that the amplified light is output into free-space. The solution developed by LCOT is an optics train that couples the output of the VLMA amplifier into a short fiber for transport to the transmit telescopes with high efficiency. Like many of the LCOT components, a set of detailed manufacturing drawings have been created for the optics train to allow any machine shop with a multi-axis Computer Numerical Control (CNC) machine to fabricate the piece parts from commonly available materials. In line with the goals of LCOT, the monitor and control functions are developed as a modular and flexible system with the ability to support future hardware or algorithm changes, minimizing disruptions. A main priority of development in the Monitor and Control Subsystem (MCS) is the safety monitor system.

laser communication↗

NASA NTRSDate not supplied

Development of a Ground Multi-mission Low Cost Optical Terminal(LCOT) for Free-Space Optical Communication

Once confined to the realm of laboratory experiments and theoretical papers, space-based laser communications (lasercomm) are on the verge of achieving mainstream status. Organizations from Facebook to NASA, and missions from cubesats to Orion are employing lasercomm to achieve gigabit communication speeds at mass and power requirements lower than that of traditional radio frequency (RF) methods. Since first demonstrating free-space optical communications services with Lunar Laser Communications Demonstration (LLCD) in 2013, NASA has invested in developing optical communications technologies and capabilities to enhancing its space communications networks. Along with evolving optical space terminals, NASA is also developing lasercomm grounds stations capable of meeting the rapidly increasing data volume demands of upcoming missions, from low-earth to lunar orbits and beyond and integrating these advanced capabilities into its Near-Space and Deep Space Networks. To meet this emerging need, the Low-Cost Optical Terminal (LCOT) project at NASA’s Goddard Space Flight Center (GSFC) is designing, building and validating a prototype for a flexible, multi-mission, and economical optical ground terminal that could be used as a blueprint for a global network of optical ground stations, capable of supporting a wide variety of missions. To date a major impediment to widespread adoption of laser communication has been the lack of an existing ground network infrastructure. A mission that wishes to take advantage of laser communication not only needs to invest in an optical space terminal, but it must also finance the creation of ground terminals to receive the downlink signal. This adds significant additional cost. Missions that do decide to incur the cost of financing a network of ground terminals end up building highly specialized optical receivers that are operable as receivers for that specific mission only. Significant Non-Recurring Engineering (NRE) cost is invested to build highly specialized one-of-a-kind ground terminals that go into storage after that particular mission is over. This is not an economical approach and does nothing to grow the number of optical ground stations available to future missions. In essence each mission that wants to take advantage of the benefits of lasercom has to start from scratch to provide a ground terminal network to support it. As long as this is the case, the cost for using laser communications will be too high for most missions to consider. LCOT intends to close this gap in technology by designing and developing a standard optical ground terminal design that is flexible enough to serve as a receiver for a wide range of future missions – a ground terminal that can be quickly reconfigured to receive downlinks at different wavelengths using different signal formats. Not only does LCOT have the industry-building objectives of utilizing commercial-off-the-shelf (COTS) components to the maximum extent possible, but also spurs the commercial development of other necessary lasercomm components not currently offered by industry. Finally, LCOT will give NASA scientists and engineers a facility where they can gain real-world experience with optical communications. It will give engineers a cost-effective way to try out new concepts and processes by providing the infrastructure for such testing. In this way it is hoped LCOT will serve as a stimulus for innovation in optical communications and speed its widespread adoption by future missions. The LCOT is comprised of five subsystems: Free-Space Optical, Transceiver, Amplifier, Monitor and Control, and Observatory Infrastructure. In August 2021, the LCOT team installed a 70 cm telescope, developed by Planewave Instruments that was optimized for optical communications. Free-Space Optical subsystem comprises of the telescope and its associated hardware, including a transmitter optical assembly, wide field cameras, two optical benches, and an adaptive optics subsystem. The transmit optical assembly, a unique concept design, is a cluster of four functionally independent transmit subassemblies located on the receive telescope. In addition to receiving optical signals and directing the expanded beam with high precision to the space terminal, it also performs tracking functions. The transmit optical assembly will support operations from Low Earth Orbit (LEO) through lunar and will be used as a template for industry manufacturing. The Optical Infrastructure subsystem is responsible for providing environmentally controlled shelters for LCOT equipment and various other systems. To maintain the safety and proper functionality of the telescope, a 16 ft Astrohaven clamshell dome procured which provides all-sky coverage without the need to rotate the dome. Additionally, Atmospheric Monitoring Assembly (AMA) will be part of optical infrastructure subsystem to ensure accurate performance of the LCOT. Like existing optical ground stations, LCOT will measure standard weather station parameters, infrared all sky image of cloud cover, and cloud height. LCOT, however, adds requirements for measuring night time seeing and, in the future, daytime seeing. Unlike other optical ground terminals, the LCOT is transceiver agnostic; user transceivers may be duplex transceivers, standalone receivers, or standalone transmitters with or without acquisition beacon functionality. As such, the LCOT project accommodates testing with external customer transceivers in a flexible manor, further complimenting its intended multi-mission goals. Another unique component of LCOT is the use of a new amplifier technology – the Very Large Mode Area (VLMA) amplifiers. This new technology allows LCOT to avoid the issues faced by previous laser communications ground terminals, gives users more flexibility and modular capability, and is capable of reaching an order of magnitude higher peak power than traditional High Power Optical Amplifiers (HPOA). One drawback of the VLMA HPOA approach is that the amplified light is output into free-space. The solution developed by LCOT is an optics train that couples the output of the VLMA amplifier into a short fiber for transport to the transmit telescopes with high efficiency. Like many of the LCOT components, a set of detailed manufacturing drawings have been created for the optics train to allow any machine shop with a multi-axis Computer Numerical Control (CNC) machine to fabricate the piece parts from commonly available materials. In line with the goals of LCOT, the monitor and control functions are developed as a modular and flexible system with the ability to support future hardware or algorithm changes, minimizing disruptions. A main priority of development in the Monitor and Control Subsystem (MCS) is the safety monitor system.

Haleh Safavi↗

NASA NTRSDate not supplied

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↗

NASA NTRS2016

SIG: Multiple Views on Safety-Critical Automation: Aircraft, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives

This SIG focuses on the engineering of automation in interactive critical systems. Automation has already been studied in a number of (sub-) disciplines and application fields: design, human factors, psychology, (software) engineering, aviation, health care, games. One distinguishing feature of the area we are focusing on is that in the field of interactive critical systems properties such as reliability, dependability, fault tolerance are as important as usability, user experience or overall acceptance issues. The SIG targets at two problem areas: first the engineering of the user interaction with (partly-) autonomous systems: how to design, build and assess autonomous behavior, especially in cases where there is a need to represent on the user interface both autonomous and interactive objects. An example of such integration is the representation of an unmanned aerial vehicle (UAV) (where no direct interaction is possible), together with aircrafts (that have to be instructed by an air traffic controller to avoid the UAV). Second the design and engineering of user interaction in general for autonomous objects/systems (for example a cruise control in a car or an autopilot in an aircraft). The goal of the SIG is to raise interest in the CHI community on the general aspects of automation and to identify a community of researchers and practitioners interested in those increasingly prominent issues of interfaces towards (semi)-autonomous systems. The expected audience should be interested in addressing the issues of integration of mainly unconnected research domains to formulate a new joint research agenda.

human-automation interaction↗

NASA NTRS2016

Multiple Views on Safety-Critical Automation: Aircraft, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives

This SIG focuses on the engineering of automation in interactive critical systems. Automation has already been studied in a number of (sub-) disciplines and application fields: design, human factors, psychology, (software) engineering, aviation, health care, games. One distinguishing feature of the area we are focusing on is that in the field of interactive critical systems properties such as reliability, dependability, fault-tolerance are as important as usability, user experience or overall acceptance issues. The SIG targets at two problem areas: first the engineering of the user interaction with (partly-) autonomous systems: how to design, build and assess autonomous behavior, especially in cases where there is a need to represent on the user interface both autonomous and interactive objects. An example of such integration is the representation of an unmanned aerial vehicle (UAV) (where no direct interaction is possible), together with aircrafts (that have to be instructed by an air traffic controller to avoid the UAV). Second the design and engineering of user interaction in general for autonomous objects systems (for example a cruise control in a car or an autopilot in an aircraft). The goal of the SIG is to raise interest in the CHI community on the general aspects of automation and to identify a community of researchers and practitioners interested in those increasingly prominent issues of interfaces towards (semi)-autonomous systems. The expected audience should be interested in addressing the issues of integration of mainly unconnected research domains to formulate a new joint research agenda.

safety-critical automation↗

NASA NTRS2016

Systems Engineering Awareness

The presentation will provide an overview of the fundamentals and principles of Systems Engineering (SE). This includes understanding the processes that are used to assist the engineer in a successful design, build and implementation of solutions. The context of this presentation will be to describe the involvement of SE throughout the life-cycle of a project from cradle to grave. Due to the ever growing number of complex technical problems facing our world, a Systems Engineering approach is desirable for many reasons. The interdisciplinary technical structure of current systems, technical processes representing System Design, Technical Management and Product Realization are instrumental in the development and integration of new technologies into mainstream applications. This tutorial will demonstrate the application of SE tools to these types of problems..

technical management↗

NASA NTRS2010

PhoneSat: Ground Testing of a Phone-Based Prototype Bus

Most of the key capabilities that are requisite of a satellite bus are housed in today's smart phones. PhoneSat refers to an initiative to build a ground-based prototype vehicle that could all the basic functionality of a satellite, including attitude control, using a smart Phone as its central hardware. All components used were also low cost Commercial off the Shelf (COTS). In summer 2009, an initial prototype was created using the LEGO Mindstorm toolkit demonstrating simple attitude control. Here we report on a follow up initiative to design, build and test a vehicle based on the Google s smart phone Nexus One. The report includes results from initial thermal-vacuum chamber tests and low altitude sub-orbital rocket flights which show that, at least for short durations, the Nexus One phone is able to withstand key aspects of the space environment without failure. We compare the sensor data from the Phone's accelerometers and magnetometers with that of an external microelectronic inertial measurement unit.

Felix, Carmen↗

NASA NTRSDate not supplied

Development of the Miniature Total Organic Carbon Analyzer

Monitoring the Total Organic Carbon (TOC) in spacecraft potable water will be of major importance in long-duration human space exploration. In-flight analysis of potable water produced from a regenerative water processor provides immediate feedback on the quality of reclaimed water for crew health as well as water processing system health monitoring. This paper updates the progress in development of the next generation Total Organic Carbon Analyzer (TOCA) designed for the unique requirements of an exploration-class mission. The current objective is to design, build, certify, deliver, and operate a TOCA technology demonstration on the International Space Station (ISS). The next generation analyzer system technology was previously developed and selected among a feasibility study of other options. The new system provides primary advantages of reduced mass and volume through reduced system complexity and reduced need for consumables; therefore, the flight project is named MiniTOCA. The project has recently completed design of the tech demo instrument and assembled and tested a flight-like engineering development unit. The engineering unit has undergone performance testing and environmental testing which provides confidence for the project to move forward with flight unit production and certification activities. Test results are summarized in this paper. The flight unit is targeted for delivery to ISS in late 2025.

TOC↗

NASA NTRSDate not supplied

Development of the Miniature Total Organic Carbon Analyzer

Monitoring the Total Organic Carbon (TOC) in spacecraft potable water will be of major importance in long-duration human space exploration. In-flight analysis of potable water produced from a regenerative water processor provides immediate feedback on the quality of reclaimed water for crew health as well as water processing system health monitoring. This paper updates the progress in development of the next generation Total Organic Carbon Analyzer (TOCA) designed for the unique requirements of an exploration-class mission. The current objective is to design, build, certify, deliver, and operate a TOCA technology demonstration on the International Space Station (ISS). The next generation analyzer system technology was previously developed and selected among a feasibility study of other options. The new system provides primary advantages of reduced mass and volume through reduced system complexity and reduced need for consumables; therefore, the flight project is named MiniTOCA. The project has recently completed design of the tech demo instrument and assembled and tested a flight-like engineering development unit. The engineering unit has undergone performance testing and environmental testing which provides confidence for the project to move forward with flight unit production and certification activities. Test results are summarized in this paper. The flight unit is targeted for delivery to ISS in late 2025.

TOC↗

NASA NTRS2022

Power Rover

The Power Rover project is a North Dakota State University (NDSU) undergraduate investigation into the design of a rover that would generate, store, and deliver power to other rovers and equipment on the surface of Mars funded through the NASA X-Hab challenge. X-Hab is a portion of NASA that challenges students to act as a new set of eyes and design engineered solutions that address critical needs of the Artemis program. The goal of this specific project was to design, build, and test an Earth-based prototype of a Martian rover called the Power Rover. The Power Rover is a solar, nuclear, and wind powered tele-operated rover that can generate, store, and deliver power to other rovers or equipment on the Martian surface that are in critical power situations. Due to the large complexity of the project, it was assigned to three senior design groups within the NDSU Mechanical Engineering and Electrical Engineering departments. These groups include an electrical team, power generation and storage team, and structure and drivetrain team. This report will detail the information, findings, final design solutions, and testing that have been made by the NDSU teams during the fall and spring semesters of the 2021-2022 academic school year.

Alex Johnson↗

NASA NTRS1977

Configuration development study of the X-24C hypersonic research airplane

Bottom line results were made of a three-phase study to determine the feasibility of designing, building, and operating, and maintaining an air-launched high performance aircraft capable of cruising at speeds up to Mach 8 for short durations. The results show that Lockalloy heat-sink structure affords the capability for a 'work-horse' vehicle which can serve as an excellent platform for this research. It was further concluded that the performance of a blended wing body configuration surpassed that of a lifting body design for typical X-24C missions. The cost of a two vehicle program, less engines, B-52 modification and contractor support after delivery, can be kept within $70M (in Jan. 1976 dollars).

Combs, H. G.↗

NASA NTRS2000

Compact Hyperspectral Mapper for Environmental Remote Sensing Applications (CHyMERA) End-of-phase Data Review Package

CHYMERA is an Instrument Incubator concept to design, build, and test an instrument that will reduce size, mass, and cost and increase science potential and flexibility for future atmospheric remote sensing missions within the focus of NASA's Earth Science Enterprise (ESE). The primary effort of the development plan will be on high spatial resolution ozone, N02, S02, aerosol, and cloud measurements, but it is hoped that the techniques developed will prove useful for other measurements as well. The core design will involve a high performance, wide field-of-view (FOV) front end telescope which will illuminate a filter/focal plane array (FFPA) package. The use of a non-dispersive optical configuration will reduce size, mass and complexity. The wide FOV optics will permit short duration global coverage (1-2 days) without the need for a scanner.

Janz, Scott J.↗

NASA NTRS2004

The Mars Exploration Rover Project

The twin rovers of the Mars Exploration Rover Project successfully landed on the surface of Mars in January 2004, and initiated a highly successful science and exploration campaign. This marked the culmination of an unprecedented four-year effort to design, build, launch, and operate two of the most complex planetary spacecraft ever built. The project was started in the aftermath of the 1999 Mars mission failures, and was commissioned to take advantage of the highly advantageous 2003 opportunity. The development schedule from project start to launch was only 35 months, so schedule management was the most significant challenge facing the project. This problem was compounded when early assumptions about the extent of design heritage from Mars Pathfinder proved to be flawed. The project derived a number of useful lessons learned in solving these challenges that can be applied to future missions.

Mars↗

NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗

NASA NTRS2012

Curiosity: the Mars Science Laboratory Project

The Curiosity rover landed successfully in Gale Crater, Mars on August 5, 2012. This event was a dramatic high point in the decade long effort to design, build, test and fly the most sophisticated scientific vehicle ever sent to Mars. The real achievements of the mission have only just begun, however, as Curiosity is now searching for signs that Mars once possessed habitable environments. The Mars Science Laboratory Project has been one of the most ambitious and challenging planetary projects that NASA has undertaken. It started in the successful aftermath of the 2003 Mars Exploration Rover project and was designed to take significant steps forward in both engineering and scientific capabilities. This included a new landing system capable of emplacing a large mobile vehicle over a wide range of potential landing sites, advanced sample acquisition and handling capabilities that can retrieve samples from both rocks and soil, and a high reliability avionics suite that is designed to permit long duration surface operations. It also includes a set of ten sophisticated scientific instruments that will investigate both the geological context of the landing site plus analyze samples to understand the chemical & organic composition of rocks & soil found there. The Gale Crater site has been specifically selected as a promising location where ancient habitable environments may have existed and for which evidence may be preserved. Curiosity will spend a minimum of one Mars year (about two Earth years) looking for this evidence. This paper will report on the progress of the mission over the first few months of surface operations, plus look retrospectively at lessons learned during both the development and cruise operations phase of the mission..

project formulation↗

NASA NTRS1991

Payload spin assembly for the commercial Titan launch vehicle

A contract was completed to design, build, and test a Payload Spin Assembly (PSA) for installation onto the Martin Marietta Titan 3 Commercial launch vehicle. This assembly provides launch support for satellite payloads up to 5783 kilograms (6.37 tons) and controls release, spin-up, and final separation of the satellite from the second stage. Once separated, the satellite's Perigee Kick Motor (PKM) boosts the satellite into its transfer orbit. The first successful flight occurred December 31, 1989. Requirements, design, test, and problems associated with this mechanical assembly are discussed.

Robinson, Wilf↗

NASA NTRS2009

CANSAT: Design of a Small Autonomous Sounding Rocket Payload

CanSat is an international student design-build-launch competition organized by the American Astronautical Society (AAS) and American Institute of Aeronautics and Astronautics (AIAA). The competition is also sponsored by the Naval Research Laboratory (NRL), the National Aeronautics and Space Administration (NASA), AGI, Orbital Sciences Corporation, Praxis Incorporated, and SolidWorks. Specifically, the 2009 Virginia Tech CanSat Team is funded by BAE Systems, Incorporated of Manassas, Virginia. The objective of the 2009 CanSat competition is to complete remote sensing missions by designing a small autonomous sounding rocket payload. The payload designed will follow and perform to a specific set of mission requirements for the 2009 competition. The competition encompasses a complete life-cycle of one year which includes all phases of design, integration, testing, reviews, and launch.

Berman, Joshua↗