Developing safety-critical software : a practical guide for aviation software and DO-178C compliance /: a practical guide for aviation software and DO-178C compliance. (2013)

• Record Type: Book
• Further Information: Note: Leanna Rierson.
• Other Names: Rierson, Leanna
• Contents: Introduction; Introduction and Overview; ; Context of Safety-Critical Software Development; Software in the Context of the System; Software in the Context of the System Safety Assessment; ; Developing Safety-Critical Software Using DO-178C; Overview of DO-178C and Supporting Documents; Software Planning; Software Requirements; Software Design; Software Implementation: Coding and Integration; Software Verification; Software Configuration Management; Software Quality Assurance; Certification Liaison; ; Tool Qualification and DO-178C Supplements; DO-330 and Software Tool Qualification; DO-331 and Model-Based Development and Verification; DO-332 and Object-Oriented Technology and Related Techniques; DO-333 and Formal Methods; ; Special Topics; Noncovered Code (Dead, Extraneous, and Deactivated Code); Field-Loadable Software; User-Modifiable Software; Real-Time Operating Systems; Software Partitioning; Configuration Data; Aeronautical Data; Software Reuse; Reverse Engineering; Outsourcing and Offshoring Software Life Cycle Activities; ; Appendices ; 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; ; Index
• Publisher Details: Place of publication not identified : CRC Press
• Publication Date: 2013
• Extent: 1 online resource (610 pages), (44 illustrations)
• Subjects: 629.1355; Digital avionics; Digital avionics -- Standards
• Languages: English
• ISBNs: 9781439813690; 1439813698
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.