Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “programming”

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 1,153 records · Page 64

Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)

The article provides an introduction to the track: Towards a Unified View of Modeling and Programming, organized by the authors of this paper as part of ISoLA 2018: the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 19 researchers were invited to present their views on the two questions: what are the commonalities between modeling and programming languages, and should we strive towards a unified view of modeling and programming? The idea behind the track, which is a continuation of a similar track at ISoLA 2016, emerged as a result of experiences gathered in the three fields: formal methods, model-based software engineering, and programming languages, and from the observation that these technologies share a large common part, to the extent where one may ask, does the following equation hold: modeling = programming?

Steffen, Bernhard↗

Developing a Standard Test Program for CubeSats

Developers of CubeSats and other miniaturized satellites often lack the schedule and budget to devise and implement an extensive environmental test campaign. CubeSat projects have become increasingly common at Jet Propulsion Laboratory (JPL) over the past few years, revealing the need for a standard CubeSat test program to maximize the likelihood of mission success while meeting project cost and schedule constraints. In this paper, we describe our efforts to develop a general protoflight test program for CubeSats in low-Earth orbit (LEO) and compare this test program with a typical test program for non-CubeSat LEO satellites and instruments. We investigate the effectiveness of the CubeSat test program—both as a design and workmanship screen and as a standard needing minimal project-specific tailoring—and discuss potential areas for improvement.

Seal, Gabriella L.↗

Program Options to Explore Ocean Worlds

Including Earth, roughly a dozen water ocean worlds exist in the solar system: the relict worlds Ceres and Mars, vast oceans inside most of the large Jovian and Saturnian icy moons, and Kuiper Belt Objects like Triton, Charon, and Pluto whose geologies are dominated by water and ammonia. Key pieces of the ocean-world science puzzle – which when completed may reveal whether life is widespread in the cosmos, why it exists where it does, and how it originates – are distributed among them. The eventual exploration of all these worlds will yield humanity’s total tangible knowledge about life in the universe, essentially forever. Thus, their exploration has existential significance for humanity’s self-regard, and indeed perhaps of our place in the natural scheme. The matter of planning how to pursue such a difficult and unprecedented exploration opportunity is therefore historic. The technical challenges are formidable, far harder than at Mars: missions to the Jovian and Saturnian ocean worlds are severely power-limited; trip times can be as much as a half decade and decade, respectively. And the science targets are global-scale oceans beneath kilometers of cryogenic ice. Reaching and exploring them would be a multi-generational undertaking, so again it is essential to plan and prepare. Today, we lack the instrumentation, subsystems, and remote operational-intelligence technologies needed to build and use exploration avatars as good as what we can envision needing. Each ocean world holds a piece of the puzzle, but the three priority targets are Europa at Jupiter, and Enceladus and Titan at Saturn. As with the systematic exploration of Mars, exploring these diverse worlds poses a complex technical and programmatic challenge – a strategic challenge – that needs to be designed and managed if each generation is to see its work bear fruit, and if the space science community is to make most effective use of the public money devoted to the quest. Strategic programs benefit from coherence. In only 15 years, the Mars Exploration Program (MEP) has transformed humanity’s view of Mars as a once and future habitable place, a world quite possibly holding relict evidence of life. Finding such evidence, we would study it to know if that life shared an origin common with Earth life. However, life in the ocean worlds could not have shared our origin, so exploring them opens another level in our quest to understand life in the universe: not only to places with vast salt-water seas known to contain organics and hydrothermal seafloors active today, but to places where anything alive cannot be related to us. MEP’s success – from its presence in the public consciousness to its rewriting of planetary habitability – make it an obvious template and source of lessons learned for a viable ocean worlds exploration program (OWEP). Six attributes of the MEP are analyzed for application to a potential OWEP. From this, five hypothetical programmatic scenarios are compared to the default case, and conclusions drawn. A coherent OWEP should have several parts: first, dedicated continuous investment in enabling technologies; and second, two directed-purpose, medium-class (~$1B) missions per decade that conduct pivotal investigations on a documented roadmap. Science could start in 2035, informing development of decadal flagship missions after Europa Clipper, to the places revealed to hold the most promise. The fastest pace of scientific discoveries would require access to high-performance propulsion infrastructure, e.g., the Space Launch System, Falcon Heavy, and high-power in-space solar electric propulsion, all capable of halving trip time. Not including these boosts, such a program would cost about a half-billion dollars more per year than NASA’s existing mission portfolio; the program architecture funded today cannot deliver a strategic OWEP while also sustaining balance among other solar system exploration priorities and opportunities.

Naderi, F.↗

Marshall Space Flight Center Faculty Fellowship Program

The 2020 Marshall Aerospace Fellowship Program involved 11 faculty in the laboratories and departments at Marshall Space Flight Center and one faculty researcher working from Colorado. These faculty engineers and scientists worked with NASA collaborators on NASA projects, bringing new perspectives and solutions to bear. This Technical Memorandum is a compilation of nine research reports of the 2020 Marshall Aerospace Fellowship program, along with the Program Announcement (Appendix A) and the Program Description (Appendix B). The research affected the following five areas: (1) Materials (2) Spacecraft systems (3) Human-System Interactions (4) Vehicle systems (5) Space science Additive manufacturing was the single materials investigation during the summer of 2020. Spacecraft systems tasks dominated the fellows’ explorations: covering camera sensors for lunar surface mobility, a real-time system for navigation and mapping, flexible sensor modeling, and transmitter design for high data rate telemetry. One project concentrated on Human-System Interactions. Another fellow designed a model to predict heat leak into a cryogen tank, as in most vehicle systems. One of the scientists worked on a proposed space-based gravitational wave interferometer that will detect Galactic white dwarf binaries. Another space science fellow used a mature astrophysical code to synthesize galactic stellar populations. Our goal is to continue the Marshall Aerospace Program funded by Center project offices.

N. F. Six↗

Gateway Program Progress and Overview

This paper provides an overview and status of the Gateway, which will be a small, human-tended space station in orbit around the Moon. The National Aeronautics and Space Administration (NASA) leads the Program and serves as the integrator of the spaceflight capabilities and contributions of U.S. commercial partners and international partners to develop the Gateway. Gateway is the cornerstone of sustainable deep space human exploration and is an essential element of the infrastructure necessary for the execution of the Artemis missions to the Moon. This paper will outline the current planned configuration and deployment of the station, describing the concept of operations and how Gateway supports both lunar surface missions and also serves as the springboard for exploration deeper in space. Calendar year 2022 will see the accomplishments of major milestones such as over twenty systems preliminary design reviews (PDRs), a Program-wide PDR-informed synchronization review, and NASA Key Decision Point marking the evolution of the program as a whole from the formulation phase and into implementation. This paper will provide a progress update for each major component of the Gateway: The Power and Propulsion Element; the Habitation and Logistics Outpost (HALO); Deep Space Logistics; the International Habitation module; the European System Providing Refueling, Infrastructure, and Telecommunications (ESPRIT), which includes a Refueler Module and the HALO Lunar Communications System; External Robotics System; and an Airlock with both science and crew capabilities. For each component, the paper will describe the current maturity of the modules, acquisition strategy, contracts, and if applicable, international partnership status. This paper will also outline the integration function the Gateway Program Office performs at the NASA Johnson Space Center, including the multilateral governance structure and cross-program interfaces across Artemis.

Gateway↗

NASA Space Flight Program and Project Management Handbook

This handbook is the companion document to NPR 7120.5F, NASA Space Flight Program and Project Management Requirements. It represents the accumulation of knowledge on managing program and projects derived from NASA’s human, robotic, and scientific missions. It incorporates the “corporate knowledge” for existing and future NASA space flight programs and projects, including NASA’s Artemis missions to establish a sustainable human presence on the Moon through collaboration with commercial and international partners, NASA’s James Webb Space Telescope (JWST) mission, and NASA’s robotic missions on Mars. The practices discussed have evolved as a function of NASA’s core values of safety, integrity, teamwork, excellence, and inclusion, and may also prove a resource for other agencies, the private sector, and academia. The knowledge gained from the Agency’s victories and defeats, including the checks and balances and initiatives to better control cost and risk, provides a foundation for continuing an exciting and healthy space program. This handbook provides implementation guidance for NPR 7120.5F and includes the changes and updates to key procedural requirements in NPR 7120.5F since NPR 7120.5E. The goal of the NPR requirements is to ensure programs and projects are developed and successfully executed in the most cost-effective and efficient manner possible. This handbook provides context, rationale, and explanation to facilitate the application of requirements and to pass on some of the hard-won best practices and lessons learned.

Tracy L Osborne↗

Biomedical Results of the Space Shuttle Program

The Space Shuttle Program (SSP), which was triumphantly completed by the flight of STS-135 on July 21, 2011, holds a special place in the history of Human Space Exploration. For the first time, a vehicle was built that could perform multiple flights in space and return to Earth. Many important questions regarding the ability of humans to adapt and function in space have been answered during the 30 years since the SSP was launched and many lessons have been learned. The multidisciplinary studies conducted during this program allowed NASA to define the normal responses and potential pathologic changes of the major physiological systems to short-duration space flights. The program significantly contributed to the development of in-flight medical care capabilities and multiple countermeasures. A comprehensive system of preflight, in-flight, and post-flight monitoring of the astronauts was built. It is important to emphasize that the SSP was essential for building the International Space Station (ISS) that significantly expanded the boundaries of space research, allowing for planning of long-term near-terrestrial and extraterrestrial missions. As the program was coming to completion, a decision was made by the NASA Lyndon B. Johnson Space Center Human Research Program senior management to summarize the medico-biological results of the SSP in one comprehensive edition. This was quite an ambitious goal. It required selection of a group of experts in different areas to become the chapters lead authors. These experts were charged with the task of reviewing what was learned in the consequent fields to make the chapters a comprehensive source of information for planning of research, operational activities, and medical care for future missions. We hope that we were able to accomplish this goal and the book will serve as a reliable reference edition for the international space biomedicine community, for new generation of space researchers and Flight Surgeons, as well as for all those interested in space exploration. As space exploration continues, the major question of whether humans are capable of adapting to long-term presence and adequately functioning in space habitats will remain open for a long time. we expect that the comprehensive review of the medico-biological results of the SSP along with the data collected during the missions on the space stations (the Russian space station _Mir_ and ISS) provides a good starting point in seeking the answer to this question.

Diana Risin↗

Implementation of Human Systems Integration Technical and Management Process for the Lunar Gateway Program

NASA recognizes Human Systems Integration (HSI) as part of the overall systems engineering and acquisition strategy for space systems. The Lunar Gateway Program is implementing HSI technical and management process across the lifecycle of the mission, as required by NPR 7123.1C NASA Systems Engineering Processes and Requirements, and led by the Gateway HSI team as required by NPR 8705.2C Human-Rating Requirements for Space Systems, now HEOMD-003 Crewed Deep Space Systems Human Rating Certification Requirements and Standards for NASA Missions. NASA has been using HSI principles for many years and has applied them to many of its previous human spaceflight Programs. As NASA returns to the Moon in a more sustainable manner, the Gateway Program is maturing the application of HSI by implementing it more visibly as part of Artemis, with guidance from the NASA/SP-20210010952 NASA HSI Handbook. This paper discusses how HSI is being implemented in the Gateway Program, challenges faced with its implementation during the development phase, and strategies/approaches used to overcome those. The paper also covers HSI implementation for flight systems, vehicle processing, and interfaces across the six identified NASA HSI Domains: human factors engineering, operations, safety, training, maintainability and supportability, habitability and environment. The goal is to provide an overview of the implementation process of HSI in the Gateway Program as an example for other Programs/Projects/Missionsthat are looking to implement HSI.

Jackelynne Silva-Martinez↗

Programming - What is Next?

The paper provides an introduction to the track: “Program- ming - What is Next?”, organized by the authors as part of ISoLA 2021: the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 14 papers were pre- sented in the track, with responses to the question: what are the trends in current more recent programming languages, and what can be expected of future languages?. The track covers such topics as general-purpose programming languages, domain-specific languages, formal methods and modeling languages, textual versus graphical languages, and application programming versus embedded programming.

Steffen, Bernhard↗

Optimizing Sample Collection and Accessibility through the Biospecimen and Tissue Sharing Collection (BTSC) Program

The Space Radiation Element (SRE) of the Human Research Program (HRP) is dedicated to establishing a robust biospecimen and tissue sharing collection (BTSC) program that enhances sample collection, tracking, access, distribution, and usability, with the goal of maximizing scientific return. By leveraging biospecimens and tissues from previous experiments, HRP effectively achieves its scientific objectives in characterizing and mitigating the human health impacts of spaceflight while optimizing resource utilization. To further improve the usability and accessibility of the current biospecimen archive, the project aims to expand upon NASA's existing resources and institutional knowledge, ensuring ongoing modernization. To facilitate seamless navigation of the program's workflow, an educational series on the BTSC program is provided to Principal Investigators (PIs). This comprehensive series equips PIs with crucial information on submitting their inventory via the BTSC Metadata Intake Form, ultimately leading to the public availability of their data on NASA's Life Science Portal (NLSP). Covering various aspects such as metadata submission instructions and backend processes for transferring metadata to the Laboratory Information Management System (LIMS), the series incorporates guidance from NASA's Biological Institutional Scientific Collection (NBISC) and Ames Life Sciences Data Archive (ALSDA). The BTSC program represents a significant stride towards enhancing the usability and accessibility of biospecimens for space research. By enabling NASA to deepen its understanding of the health implications of long-term spaceflight, this initiative plays a pivotal role in ensuring the safety and well-being of astronauts.

Shelita Renee Augustus↗

NASA's Heliophysics Flight Opportunities in Research and Technology Program

The Heliophysics Flight Opportunities in Research and Technology (H-FORT) program performs space and science and science-enabling investigations that use platforms including Small Satellites, CubeSats, Hosted Rideshare Payloads, and International Space Station (ISS) attached payloads. The H-FORT program encourages the development of technologies that will enable investigation of heliophysics science questions. The program also encourages the use of innovation, commercially available spaceflight hardware, rideshare launch opportunities, and high risk to drive the cost of achieving science to a fraction of what was previously possible. H-FORT missions also provide an opportunity for preparing future leaders of NASA spaceflight missions and most missions are supported by academic institutions and involve both graduate and under-graduate students. Since starting the program in 2013, 27 missions have been awarded, twelve missions and seventeen spacecraft have flown, three missions are waiting for launch, eleven missions are in development, and one mission was not completed as planned. This paper will provide an overview of the Heliophysics Flight Opportunities in Research and Technology (H-FORT) program and will provide a summary of the missions that have been awarded. This will include mission successes, challenges, failures, and lessons learned.

Thomas E. Johnson↗

NASA’s Radioisotope Power Systems Program Enabling the Power to Explore

Radioisotope power systems (RPS) have been safely providing the power to explore space by the United States for over 60 years. RPS-enabled NASA missions have utilized this space nuclear power to explore planets, moons, and interstellar space, enabling missions to some of the deepest, darkest, and dustiest regions in the solar system and beyond. This extreme exploration has deepened our understanding of the solar system and our role within it. NASA established the RPS Program in 2010 to support these specialized science missions and potential future opportunities more effectively and efficiently. The RPS Program ensures the availability of RPS for the exploration of the solar system in environments where conventional solar or chemical power generation is impractical or impossible. The RPS Program, in partnership with the Department of Energy (DOE) Office of Nuclear Energy, continues interagency collaboration to provide robust radioisotope power system solutions to spacecraft that conduct extreme missions for science and exploration. This Program invests in systems and technologies to ensure that NASA maintains this capability well into the future and it manages processes that ensure the safe use and launch of these systems. This paper provides a synopsis of current activities of the RPS Program, which demonstrates a record of successful formal interagency partnering with the DOE.

radioisotope power systems↗

NASA's Human Research Program: Evolving Collaborations to Enable the Future of Human Spaceflight

Since its formation in 2007, the NASA Human Research Program’s (HRP) mission has been to reduce human health and performance risks for spaceflight exploration missions. The program has achieved this mission primarily through work in ground analogs and on the International Space Station. Over the last three years, NASA overall has seen transformative changes with the flight of Artemis I, formation of the Commercial LEO Destinations Program, commercial flights to the ISS, and new International Partners participating in human spaceflight. NASA’s HRP has embraced these new opportunities and is collaborating on all these fronts to collect biomedical research data. Artemis I marked the arrival of NASA’s new human spaceflight exploration missions. NASA has developed a Moon-to-Mars Architecture to map out how it will use the moon to de-risk and enable Mars missions. NASA’s HRP is a critical component to develop and deliver research and technologies for future Artemis Crew Health and Performance (CHP) Systems. The program is working closely with NASA’s Moon-to-Mars Office to ensure CHP deliverables are ready to demonstrate on the moon, as we also look toward Mars, and is developing the partnership strategies required to support these deliverables. Commercial space flights, both free flyer and suborbital missions and private astronaut missions to the ISS, are providing broader opportunities and subjects to characterize the space-induced changes to the human system and to test countermeasures. To better use these opportunities to achieve its mission, HRP has been working to understand the commercial spaceflight companies’ needs and then partner with them on aspects of mutual interest. In addition, NASA HRP continues to engage in long-standing relationships with its international partners through the International Space Life Sciences Working Group (ISLSWG) and other joint international groups. The Program is now also interested in sharing its knowledge and ability to collaborate on projects of mutual interest with new countries developing capabilities for human spaceflight. The next 10 years will shape how humanity partners on exploration missions to Mars. NASA’s HRP is committed to enabling and developing collaborative strategies with commercial and international partners to keep humans safe and productive as we explore longer and further into space.

Jancy McPhee↗

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗

NASA's RPS Program Status Update and Future Outlook

Radioisotope Power Systems (RPS) have been safely providing the United States with the power to explore space for almost 65 years. NASA established the RPS Program in 2010 to support specialized science missions and potential future opportunities more effectively and efficiently. The RPS Program ensures the availability of RPS for the exploration of the solar system in environments where conventional solar or chemical power generation is impractical or impossible. NASA missions have utilized space nuclear power to explore planets, moons, and interstellar space, enabling missions to some of the deepest, darkest, and dustiest regions in the solar system and beyond. This scientific exploration has deepened our understanding of the solar system and our role within. The RPS Program, in partnership with the Department of Energy (DOE) Office of Nuclear Energy continues to operate as an interagency partnership to provide robust radioisotope power system solutions to spacecraft that conduct missions to extreme environments for science and exploration. This Program invests in systems and technologies to ensure that NASA maintains this capability well into the future and it manages processes that ensure the safe use and launch of these systems. This paper provides a synopsis of current activities of the RPS Program, and it introduces a focus on the commercialization of RPS to enable a variety of future mission applications.

radioisotope power systems↗

Program (systems) engineering

Program Systems Engineering applies the principles of Systems Engineering at the program level. Space programs are composed of interrelated elements which can include collections of projects, advanced technologies, information systems, etc. Some program elements are outside traditional engineering's physical systems, such as education and public outreach, public relations, resource flow, and interactions within the political environments.

program↗

Heat transfer computer programs

On May 7, 1964, at the invitation of Dr. Raymond L. Bisplinghoff, Associate Administrator for Advanced Research and Technology, a confer­ence was held in NASA Headquarters, on the subject "Heat Transfer Computer Programs." The conference was one of several held in Headquarters during the first half of 1964 for review and planning of NASA's research program on space vehicle thermal radiation and temperature control. The conference brought about a useful interchange of information between the NASA Centers, including JPL, on computer programs which had been developed for the thermal design of spacecraft. The conferees concluded that in addition to our annual conference in this area, a useful con­tinuing exchange of information could be through the establishment of a quarterly newsletter issued from Headquarters describing, current efforts. Such a newsletter, on heat transfer. computer programs, has been established and it is hope that the publication of the present proceedings will be a further milestone in advancing the technology of using electronic computers as a tool in the thermal design of space vehicles. The present volume includes all of the formal presentations made by staff members of the various NASA Centers. Their cooperation, which led to a highly successful conference, is greatly appreciated.

SATELLITE↗

NavP: Structured and Multithreaded Distributed Parallel Programming

This slide presentation reviews some of the issues around distributed parallel programming. It compares and contrast two methods of programming: Single Program Multiple Data (SPMD) with the Navigational Programming (NAVP). It then reviews the distributed sequential computing (DSC) method and the methodology of NavP. Case studies are presented. It also reviews the work that is being done to enable the NavP system.

parallel programming↗