Download Free An Assessment Of Space Shuttle Flight Software Development Processes Book in PDF and EPUB Free Download. You can read online An Assessment Of Space Shuttle Flight Software Development Processes and write the review.

Effective software is essential to the success and safety of the Space Shuttle, including its crew and its payloads. The on-board software continually monitors and controls critical systems throughout a Space Shuttle flight. At NASA's request, the committee convened to review the agency's flight software development processes and to recommend a number of ways those processes could be improved. This book, the result of the committee's study, evaluates the safety, oversight, and management functions that are implemented currently in the Space Shuttle program to ensure that the software is of the highest quality possible. Numerous recommendations are made regarding safety and management procedures, and a rationale is offered for continuing the Independent Verification and Validation effort that was instituted after the Challenger Accident.
The space shuttle is a unique national resource. One of only two operating vehicles that carries humans into space, the space shuttle functions as a scientific laboratory and as a base for construction, repair, and salvage missions in low Earth orbit. It is also a heavy-lift launch vehicle (able to deliver more than 18,000 kg of payload to low Earth orbit) and the only current means of returning large payloads to Earth. Designed in the 1970s, the shuttle has frequently been upgraded to improve safety, cut operational costs, and add capability. Additional upgrades have been proposed-and some are under way-to combat obsolescence, further reduce operational costs, improve safety, and increase the ability of the National Aeronautics and Space Administration (NASA) to support the space station and other missions. In May 1998, NASA asked the National Research Council (NRC) to examine the agency's plans for further upgrades to the space shuttle system. The NRC was asked to assess NASA's method for evaluating and selecting upgrades and to conduct a top-level technical assessment of proposed upgrades.
This book is in full-color - other editions may be in grayscale (non-color). The hardback version is ISBN 9781680920512 and the paperback version is ISBN 9781680920505. The NASA Space Flight Program and Project Management Handbook (NASA/SP-2014-3705) is the companion document to NPR 7120.5E and represents the accumulation of knowledge NASA gleaned on managing program and projects coming out of NASA's human, robotic, and scientific missions of the last decade. At the end of the historic Shuttle program, the United States entered a new era that includes commercial missions to low-earth orbit as well as new multi-national exploration missions deeper into space. This handbook is a codification of the "corporate knowledge" for existing and future NASA space flight programs and projects. These practices have evolved as a function of NASA's core values on safety, integrity, team work, and excellence, and may also prove a resource for other agencies, the private sector, and academia. The knowledge gained from the victories and defeats of that era, including the checks and balances and initiatives to better control cost and risk, provides a foundation to launch us into an exciting and healthy space program of the future.
This groundbreaking book charts the origins and spread of the systems movement. After World War II, a systems approach to solving complex problems and managing complex systems came into vogue among engineers, scientists, and managers, fostered in part by the diffusion of digital computing power. Enthusiasm for the approach peaked during the Johnson administration, when it was applied to everything from military command and control systems to poverty in American cities. Although its failure in the social sphere, coupled with increasing skepticism about the role of technology and "experts" in American society, led to a retrenchment, systems methods are still part of modern managerial practice. This groundbreaking book charts the origins and spread of the systems movement. It describes the major players including RAND, MITRE, Ramo-Wooldrige (later TRW), and the International Institute of Applied Systems Analysis—and examines applications in a wide variety of military, government, civil, and engineering settings. The book is international in scope, describing the spread of systems thinking in France and Sweden. The story it tells helps to explain engineering thought and managerial practice during the last sixty years.
Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants. MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many questions those systems raise about the nature of proof. He looks at the primary social influence on the development of automated proof—the need to predict the behavior of the computer systems upon which human life and security depend—and explores the involvement of powerful organizations such as the National Security Agency. He concludes that in mechanizing proof, and in pursuing dependable computer systems, we do not obviate the need for trust in our collective human judgment.