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

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

<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><br /><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><br /><P>The book includes:</P><br /><UL><br /><LI>An overview of how software fits into the systems and safety processes</LI><br /><LI>Detailed examination of DO-178C and how to effectively apply the guidance</LI><br /><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><br /><LI>Practical tips for the successful development of safety-critical software and certification</LI><br /><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><br /><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>