Download Developing Safety-Critical Software: A Practical Guide for by Leanna Rierson PDF

By Leanna Rierson

The volume of software program utilized in safety-critical structures is expanding at a quick price. while, software program expertise is altering, tasks are pressed to strengthen software program swifter and extra cost effectively, and the software program is getting used in additional serious methods. Developing Safety-Critical software program: a pragmatic advisor for Aviation software program and DO-178C Compliance equips you with the knowledge you must successfully and successfully improve safety-critical, life-critical, and mission-critical software program for aviation. the foundations additionally practice to software program for automobile, clinical, nuclear, and different safety-critical domains.

An foreign authority on safety-critical software program, the writer helped write DO-178C and the U.S. Federal Aviation Administration’s coverage and suggestions on safety-critical software program. during this e-book, she attracts on greater than twenty years of expertise as a certification authority, an avionics producer, an plane integrator, and a software program developer to offer most sensible practices, real-world examples, and urban recommendations.

The booklet includes:

  • An assessment of ways software program suits into the structures and protection processes

  • Detailed exam of DO-178C and the way to successfully follow the guidance

  • Insight into the DO-178C-related records on device qualification (DO-330), model-based improvement (DO-331), object-oriented know-how (DO-332), and formal equipment (DO-333)

  • Practical suggestions for the profitable improvement of safety-critical software program and certification

  • Insightful insurance of a few of the more difficult subject matters in safety-critical software program improvement and verification, together with real-time working structures, partitioning, configuration facts, software program reuse, formerly built software program, opposite engineering, and outsourcing and offshoring

An necessary reference for structures and software program managers, builders, and caliber coverage team of workers, this e-book presents a wealth of data that will help you strengthen, deal with, and approve safety-critical software program extra confidently.

Show description

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

Best software development books

Datenbanken: Theorie, Entwurf und Programmierung relationaler Datenbanken (German Edition)

Used to be sind Datenbanken, wie entwirft guy eigene Datenbanken und wie kann guy mit ihnen optimum arbeiten? Lebendig und umfassend führt Sie dieses Buch in die Grundlagen von Theorie, Programmierung und dem Entwurf relationaler Datenbanken ein. Aus verschiedenen Perspektiven von Anwendern, Programmierern und Datenbankadministratoren werden die unterschiedlichsten Anforderungen beleuchtet und ein umfassendes Verständnis für die Problematik geweckt.

Einführung in die Constraint-Programmierung: Grundlagen, Methoden, Sprachen, Anwendungen ( (German Edition)

Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur Lösung von Problemen, für die nur unvollständige Informationen vorliegen. Ebenso hilft sie kombinatorische Probleme zu lösen oder komplexe Deduktionssysteme zu entwickeln. Dieses kompakte Lehrbuch führt in die Constraint-Programmierung ein.

The Python Workbook: A Brief Introduction with Exercises and Solutions

Whereas different textbooks dedicate their pages to explaining introductory programming options, The Python Workbook focuses solely on routines, following the philosophy that laptop programming is a ability top realized via adventure and perform. Designed to aid and inspire hands-on studying approximately programming, this student-friendly paintings comprises 174 routines, spanning various educational disciplines and daily events.

Middleware in Java: Leitfaden zum Entwurf verteilter Anwendungen — Implementierung von verteilten Systemen über JMS — Verteilte Objekte über RMI und CORBA (IT-Professional) (German Edition)

Dieses Buch vermittelt beispielhaft das notwendige information zum Entwurf und zur Entwicklung verteilter Anwendungen. Die Umsetzung erfolgt mittels der relevanten Middleware-Technologien in Java. Zunächst werden die grundlegenden Verfahren wie Datenaustausch über Sockets, Parallelisierung durch Threads und Synchronisation über Monitore und Semaphore behandelt.

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

Sample text

Download PDF sample

Rated 4.74 of 5 – based on 50 votes