Description |
1 online resource (596 pages) |
Contents |
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 |
Summary |
""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 explanation of the process of developing software-intensive aviation systems under guidance of RTCA DO-178C and related documents. The book does an outstanding job of providing necessary basics with very practical 'dos and don'ts'. ... can be used as a base reference for software aspects of airborne systems develop |
Notes |
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force. WlAbNL |
|
Print version record |
Subject |
Aeronautics -- Data processing
|
|
Aeronautics -- Safety measures.
|
|
Aeronautics -- Safety regulations -- United States
|
|
Computer software -- Reliability
|
|
Computer software -- Development.
|
|
TECHNOLOGY & ENGINEERING -- Engineering (General)
|
|
Aeronautics -- Data processing
|
|
Aeronautics -- Safety measures
|
|
Aeronautics -- Safety regulations
|
|
Computer software -- Development
|
|
Computer software -- Reliability
|
|
United States
|
Form |
Electronic book
|
ISBN |
9781439813690 |
|
1439813698 |
|