LEADER 05002nam 2200637 a 450 001 9910455399703321 005 20200520144314.0 010 $a1-280-19651-3 010 $a9786610196517 010 $a0-309-59534-7 010 $a0-585-09840-9 035 $a(CKB)110986584753392 035 $a(EBL)3376691 035 $a(SSID)ssj0000106789 035 $a(PQKBManifestationID)11131782 035 $a(PQKBTitleCode)TC0000106789 035 $a(PQKBWorkID)10132372 035 $a(PQKB)11048895 035 $a(MiAaPQ)EBC3376691 035 $a(Au-PeEL)EBL3376691 035 $a(CaPaEBR)ebr10056967 035 $a(OCoLC)923265589 035 $a(EXLCZ)99110986584753392 100 $a19931116d1993 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 03$aAn Assessment of Space Shuttle flight software development processes$b[electronic resource] /$fCommittee for Review of Oversight Mechanisms for Space Shuttle Flight Software Processes, Aeronautics and Space Engineering Board, Commission on Engineering and Technical Systems, National Research Council 210 $aWashington, D.C. $cNational Academy Press$d1993 215 $a1 online resource (208 p.) 300 $aNancy G. Leveson--Chair. 311 $a0-309-04880-X 327 $a""An Assessment of Space Shuttle Flight Software Development Processes""; ""Copyright""; ""Foreword""; ""Contents""; ""Acronyms and Abbreviations""; ""Executive Summary""; ""INTRODUCTION""; ""THE SHUTTLE VERIFICATION AND VALIDATION PROCESS""; ""NASA Guidelines and Standards""; ""Off-Nominal Cases""; ""System-Level Software V&V""; ""The Independence of IV&V""; ""THE SILENT SAFETY PROGRAM REVISITED""; ""Software Safety Standards""; ""Software Safety Procedures""; ""Personnel""; ""System-Safety Organizational Roles and Responsibilities""; ""ORGANIZATIONAL ROLES AND RESPONSIBILITIES"" 327 $a""Documenting the Process""""The Role of Headquarters S&MQ and the Center SR&QA Offices""; ""Community Responsibility""; ""Policies, Guidelines, and Enforcement""; ""FINAL THOUGHTS AND FUTURE CONSIDERATIONS""; ""Contract Reporting Requirements""; ""Organizational Learning""; ""Part 1 Overview And Background ""; ""1 Overview Of The Study ""; ""INTRODUCTION""; ""THE COMMITTEE'S TASK""; ""CONTENTS OF THIS REPORT""; ""PREVIOUS STUDIES""; ""THE FLIGHT SOFTWARE CHALLENGE""; ""2 Independent Verification and Validation of Critical Software ""; ""INTRODUCTION""; ""ORIENTATION""; ""SCOPE"" 327 $a""INDEPENDENCE""""IV&V IN THE SHUTTLE PROGRAM""; ""3 The Space Shuttle Flight Software Development Process ""; ""INTRODUCTION""; ""THE SOFTWARE""; ""THE PROCESS""; ""Part 2 Findings And Recommendations ""; ""4 The Space Shuttle Flight Software Verification And Validation Process ""; ""INTRODUCTION""; ""NASA GUIDELINES AND STANDARDS""; ""OFF-NOMINAL CASES""; ""SYSTEM-LEVEL SOFTWARE V&V""; ""THE INDEPENDENCE OF IV&V""; ""5 The Silent Safety Program Revisited ""; ""INTRODUCTION""; ""SOFTWARE SYSTEM-SAFETY""; ""SOFTWARE SAFETY STANDARDS""; ""SOFTWARE SAFETY PROCEDURES""; ""PERSONNEL"" 327 $a""SYSTEM-SAFETY ORGANIZATIONAL ROLES AND RESPONSIBILITIES""""6 Organizational Issues ""; ""INTRODUCTION""; ""DOCUMENTING THE PROCESS""; ""ORGANIZATIONAL ROLES AND RESPONSIBILITIES""; ""The Role of S&MQ""; ""Community Responsibility""; ""POLICIES, GUIDELINES, AND ENFORCEMENT""; ""7 Final Thoughts And Future Considerations ""; ""INTRODUCTION""; ""GATHERING THE LESSONS LEARNED""; ""CONTRACT REPORTING REQUIREMENTS""; ""ORGANIZATIONAL LEARNING""; ""ESTABLISHING STATE-OF-THE-ART CAPABILITIES WITHIN NASA""; ""Biographical Sketches Of Committee Members""; ""Bibliography""; ""Published Works"" 327 $a""Unpublished Works, Presentations, And Informal Documentation""""Appendix A Study Participants""; ""Appendix B Statement Of Task ""; ""COMMITTEE FOR REVIEW OF OVERSIGHT MECHANISMS FOR SPACE SHUTTLE FLIGHT SOFTWARE PROCESSES""; ""Appendix C Interim Report of the Committee for Review of Oversight Mechanisms for Space Shuttle...""; ""INDEPENDENT VERIFICATION AND VALIDATION FOR SPACE SHUTTLE FLIGHT SOFTWARE""; ""COMMITTEE FOR REVIEW OF OVERSIGHT MECHANISMS FOR SPACE SHUTTLE FLIGHT SOFTWARE PROCESSES""; ""Staff""; ""AERONAUTICS AND SPACE ENGINEERING BOARD"" 327 $a""Aeronautics and Space Engineering Board Staff"" 606 $aSpace shuttles$xComputer programs 606 $aFlight engineering$xData processing 606 $aSoftware engineering$zUnited States 608 $aElectronic books. 615 0$aSpace shuttles$xComputer programs. 615 0$aFlight engineering$xData processing. 615 0$aSoftware engineering 676 $a629.44/1/028553 701 $aLeveson$b Nancy$0752858 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910455399703321 996 $aAn Assessment of Space Shuttle flight software development processes$92259072 997 $aUNINA LEADER 01176nam a2200301|i 4500 001 991003953419707536 005 20030107144322.0 008 021004s2001 it u 0 1 | ita 020 $a8888295011 035 $ab11887849-39ule_inst 035 $aEXGIL150183$9ExL 040 $aBiblioteca Interfacoltà$bita 082 0 $a945.75335 110 2 $aArchivio di Stato$c$0327857 245 02$aL'archivio dei principi Gallone :$bdocumenti dello "Stato" di Tricase /$c[a cura di] Donatella Lala De Giorgi 260 0 $aTricase :$bEdizioni dell'Iride,$cc2001 300 $a287 p. :$bill. ;$c24 cm 500 $aSeguono indici e appendice 650 4$aGallone $xStoria$xFonti archivistiche 651 4$aLecce$xArchivio di Stato$xArchivio dei principi Gallone 700 1 $aLala De Giorgi, Donatella 907 $a.b11887849$b02-04-14$c07-01-03 912 $a991003953419707536 945 $aLE002 945.753 ARC 945 $aLE002 Bibl. VI D 21$g1$i2002000089304$lle002$o-$pE0.00$q-$rl$s- $t0$u5$v3$w5$x0$y.i12144666$z07-01-03 996 $aArchivio dei principi Gallone$9902341 997 $aUNISALENTO 998 $ale002$b01-01-02$cm$da $e-$fita$git $h2$i1