Developing Safety-Critical Software : a Practical Guide for Aviation Software and DO-178C Compliance.

Mostrar otras versiones (2)

""It is easy to notice the author's extensive and hands-on knowledge in the domain. ... Such experience emanates from the book pages. ... The book is a must for anyone engaged in developing, verifying, or certifying airborne systems. ... [It] offers very clear but relatively concise e...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Rierson, Leanna
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken : CRC Press, 2013.
Temas:
Aeronautics > Data processing.
Aeronautics > Safety measures.
Aeronautics > Safety regulations > United States.
Computer software > Reliability.
Computer software > Development.
Aéronautique > Informatique.
Aéronautique > Sécurité > Mesures.
Aéronautique > Sécurité > Règlements > États-Unis.
Logiciels > Fiabilité.
TECHNOLOGY & ENGINEERING > Engineering (General)
Aeronautics > Data processing
Aeronautics > Safety measures
Aeronautics > Safety regulations
Computer software > Development
Computer software > Reliability
United States
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Preface; Acknowledgments; Author; Part I Introduction; 1. Introduction and Overview; Part II Context of Safety-Critical Software Development ; 2. Software in the Context of the System; 3. Software in the Context of the System Safety Assessment; Part III Developing Safety-Critical Software Using DO-17; 4. Overview of DO-178C and Supporting Documents; 5. Software Planning; 6. Software Requirements; 7. Software Design; 8. Software Implementation: Coding and Integration; 9. Software Verification; 10. Software Configuration Management; 11. Software Quality Assurance.
  • 12. Certification LiaisonPart IV Tool Qualification and DO-178C Supplements ; 13. DO-330 and Software Tool Qualification; 14. DO-331 and Model-Based Development and Verification; 15. DO-332 and Object-Oriented Technology and Related Techniques; 16. DO-333 and Formal Methods; Part V Special Topics; 17. Noncovered Code (Dead, Extraneous, and Deactivated Code); 18. Field-Loadable Software; 19. User-Modifiable Software; 20. Real-Time Operating Systems; 21. Software Partitioning ; 22. Configuration Data; 23. Aeronautical Data; 24. Software Reuse ; 25. Reverse Engineering.
  • 26. Outsourcing and Offshoring Software Life Cycle Activities Appendix A: Example Transition Criteria ; Appendix B: Real-Time Operating System Areas of Concern ; Appendix C: Questions to Consider When Selecting a Real-Time Operating System for a Safety-Critical System ; Appendix D: Software Service History Questions.

Ejemplares similares