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
- Title:
- 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)
- Main Title:
- Developing safety-critical software : a practical guide for aviation software and DO-178C compliance
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.160434
- Ingest File:
- 02_188.xml