Download or read book An Assessment of Space Shuttle Flight Software Development Processes written by National Research Council and published by National Academies Press. This book was released on 1993-02-01 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Space Shuttle NASA Should Implement Independent Oversight of Software Development written by United States. General Accounting Office and published by . This book was released on 1991 with total page 36 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Upgrading the Space Shuttle written by National Research Council and published by National Academies Press. This book was released on 1999-02-21 with total page 82 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1992 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book NASA Space Flight Program and Project Management Handbook written by Nasa and published by . This book was released on 2018-03-21 with total page 486 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Report of the Presidential Commission on the Space Shuttle Challenger Accident written by DIANE Publishing Company and published by DIANE Publishing. This book was released on 1995-07 with total page 267 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Monthly Catalogue United States Public Documents written by and published by . This book was released on 1994 with total page 1284 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Monthly Catalog of United States Government Publications written by and published by . This book was released on 1994 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Systems Experts and Computers written by Agatha C. Hughes and published by MIT Press. This book was released on 2011-01-21 with total page 526 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Second Workshop on the Investigation and Reporting of Incidents and Accidents IRIA 2003 written by and published by . This book was released on 2003 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Mechanizing Proof written by Donald MacKenzie and published by MIT Press. This book was released on 2004-01-30 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book FME 96 Industrial Benefit and Advances in Formal Methods written by Marie-Claude Gaudel and published by Springer Science & Business Media. This book was released on 1996-03-06 with total page 724 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.
Download or read book Space Transportation written by Walter Edward Hammond and published by AIAA. This book was released on 1999 with total page 740 pages. Available in PDF, EPUB and Kindle. Book excerpt: Annotation This practical book gives young professionals all the information they need to know to get started in the space business. It takes you step-by-step through processes for systems engineering and acquisition, design and development, cost analysis, and program planning and analysis. You'll find the systems engineering and design process that applies to all space transportation systems, then the overall system architecture considerations that also apply to all space transportation systems. There is also detailed coverage of space launch vehicles by class, including the current space shuttle, other manned reusable systems, expendable systems, and future systems. A companion CD-ROM contains the Operations Simulation and Analysis Modeling System software.
Download or read book Post Challenger Evaluation of Space Shuttle Risk Assessment and Management written by National Research Council (U.S.). Committee on Shuttle Criticality Review and Hazard Analysis Audit and published by National Academies. This book was released on 1988 with total page 158 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fiscal Year 2001 NASA Authorization written by United States. Congress. House. Committee on Science. Subcommittee on Space and Aeronautics and published by . This book was released on 2001 with total page 834 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Design Methodologies for Space Transportation Systems written by Walter Edward Hammond and published by AIAA. This book was released on 2001 with total page 906 pages. Available in PDF, EPUB and Kindle. Book excerpt: Annotation "Design Methodologies for Space Transportation Systems is a sequel to the author's earlier text, "Space Transportation: A Systems Approach to Analysis and Design. Both texts represent the most comprehensive exposition of the existing knowledge and practice in the design and project management of space transportation systems, and they reflect a wealth of experience by the author with the design and management of space systems. The text discusses new conceptual changes in the design philosophy away from multistage expendable vehicles to winged, reusable launch vehicles and presents an overview of the systems engineering and vehicle design process as well as systems trades and analysis. Individual chapters are devoted to specific disciplines such as aerodynamics, aerothermal analysis, structures, materials, propulsion, flight mechanics and trajectories, avionics and computers, and control systems. The final chapters deal with human factors, payload, launch and mission operations, safety, and mission assurance. The two texts by the author provide a valuable source of information for the space transportation community of designers, operators, and managers. A companion CD-ROM succinctly packages some oversized figures and tables, resources for systems engineering and launch ranges, and a compendium of software programs. The computer programs include the USAF AIRPLANE AND MISSILE DATCOM CODES (with extensive documentation); COSTMODL for software costing; OPGUID launch vehicle trajectory generator; SUPERFLO-a series of 11 programs intended for solving compressible flow problems in ducts and pipes found in industrial facilities; and a wealth of Microsoft Excel spreadsheet programs covering thedisciplines of statistics, vehicle trajectories, propulsion performance, math utilities,
Download or read book Evaluation of the National Aerospace Initiative written by National Research Council and published by National Academies Press. This book was released on 2004-06-16 with total page 146 pages. Available in PDF, EPUB and Kindle. Book excerpt: The National Aerospace Initiative (NAI) was conceived as a joint effort between the Department of Defense (DOD) and the National Aeronautics and Space Administration (NASA) to sustain the aerospace leadership of the United States through the acceleration of selected aerospace technologies: hypersonic flight, access to space, and space technologies. The Air Force became concerned about the NAI's possible consequences on Air Force programs and budget if NAI program decisions differed from Air Force priorities. To examine this issue, it asked the NRC for an independent review of the NAI. This report presents the results of that assessment. It focuses on three questions asked by the Air Force: is NAI technically feasible in the time frame laid out; is it financially feasible over that period; and is it operationally relevant.
