Read e-book online Developing Safety-Critical Software: A Practical Guide for PDF

By Leanna Rierson

The volume of software program utilized in safety-critical platforms is expanding at a speedy fee. while, software program know-how is altering, initiatives are pressed to improve software program quicker and extra cost effectively, and the software program is getting used in additional severe methods. Developing Safety-Critical software program: a pragmatic advisor for Aviation software program and DO-178C Compliance equips you with the knowledge you want to successfully and successfully improve safety-critical, life-critical, and mission-critical software program for aviation. the rules additionally follow 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 information on safety-critical software program. during this publication, she attracts on greater than two decades of expertise as a certification authority, an avionics producer, an plane integrator, and a software program developer to offer top practices, real-world examples, and urban recommendations.

The ebook includes:

  • An assessment of ways software program matches into the platforms and security 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 expertise (DO-332), and formal equipment (DO-333)

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

  • Insightful assurance of a few of the tougher issues in safety-critical software program improvement and verification, together with real-time working platforms, partitioning, configuration information, software program reuse, formerly built software program, opposite engineering, and outsourcing and offshoring

An beneficial reference for platforms and software program managers, builders, and caliber coverage body of workers, this e-book presents a wealth of knowledge that will help you improve, deal with, and approve safety-critical software program extra confidently.

Show description

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

Best software development books

Download e-book for iPad: An Application Science for Multi-Agent Systems (Multiagent by Thomas A. Wagner

An program technological know-how For Multi-Agent platforms addresses the complexity of selecting which multi-agent keep watch over applied sciences are applicable for a given challenge area or a given program. with out such wisdom, whilst confronted with a brand new software area, agent builders needs to depend on earlier event and instinct to figure out no matter if a multi-agent method is the precise method, and if that is so, find out how to constitution the brokers, how you can decompose the matter, and the way to coordinate the actions of the brokers, and so on.

Formale Modelle der Softwareentwicklung: Model-Checking, by Stephan Kleuker PDF

Software program muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt guy sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansätzen spielen für den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle.

Get Essential Software Testing: A Use-Case Approach PDF

A realistic advisor to software program TestingMuch has been written in regards to the hassle of software program checking out. usually those laments are observed through cautionary phrases approximately how cautious one needs to be to make sure trying out is completed adequately. even though, there's a dearth of assets that supply useful counsel at the nuts and bolts of checking out.

Abenteuer Softwarequalität: Grundlagen und Verfahren für - download pdf or read online

Dieses Buch vermittelt ein fundiertes Grundwissen über Softwarequalität. Kann guy Qualität messen und wie kommt guy zu sinnvollen Qualitätskriterien? Wie findet guy Fehler in Programmen und wie geht guy beim systematischen Testen vor? Auch organisatorische Fragen werden betrachtet. Das Buch eignet sich als Begleitlektüre zu einer Vorlesung und zum Selbststudium.

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

Example text

Download PDF sample

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

by James

Rated 4.05 of 5 – based on 26 votes