Developing Safety-Critical Software

<p>The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time software technology is changing projects are pressed to develop software faster and more cheaply and the software is being used in more critical ways. <strong>Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance </strong>equips you with the information you need to effectively and efficiently develop safety-critical life-critical and mission-critical software for aviation. The principles also apply to software for automotive medical nuclear and other safety-critical domains.</p><p>An international authority on safety-critical software the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book she draws on more than 20 years of experience as a certification authority an avionics manufacturer an aircraft integrator and a software developer to present best practices real-world examples and concrete recommendations.</p><p>The book includes:</p><ul> <li>An overview of how software fits into the systems and safety processes</li> <li>Detailed examination of DO-178C and how to effectively apply the guidance</li> <li>Insight into the DO-178C-related documents on tool qualification (DO-330) model-based development (DO-331) object-oriented technology (DO-332) and formal methods (DO-333)</li> <li>Practical tips for the successful development of safety-critical software and certification</li> <li>Insightful coverage of some of the more challenging topics in safety-critical software development and verification including real-time operating systems partitioning configuration data software reuse previously developed software reverse engineering and outsourcing and offshoring</li> </ul><p>An invaluable reference for systems and software managers developers and quality assurance personnel this book provides a wealth of information to help you develop manage and approve safety-critical software more confidently.</p>