Do178b Do-178b
Do178b Do-178b
DO-178B enforces the stringent and rigorous process guidelines governing the entire
development life cycle of embedded software in airborne equipment.
DO178B is primarily a process oriented document. For each process, Objectives are defined and
a way to satisfying these objectives.
Certification
For civil aerospace applications, certification is required for systems whose failure will put
human life at risk. The Federal Aviation Administration (FAA) in the US and the European
Aviation Safety Agency (EASA) in Europe recognize DO-178/ED-12 (Software Considerations
in Airborne Systems and Equipment Certification) as an acceptable standard for the approval of
software in airborne systems. DO-178/ED-12 are prepared and maintained by the RTCA and
European Organization for Civil Aviation Electronics (EUROCAE), and these are the most
stringent software certification standards in the world.
Critical Categories
DO178B processes:
Requirement Process
Design Process
Coding Process
Integration Process
Verification
Requirement based test coverage analysis – The objective of this analysis is to determine how
well the requirements based testing verified the implementation of the software requirements.
This analysis show that -
Statement coverage analysis – Every statement in the program has been invoked at least once.
Decision coverage - Every point of entry and exit in the program has been invoked at least once
and every decision in the program has taken on all possible outcomes at least once.
Modified condition/Decision coverage - Every point of entry and exit in the program has been invoked at
least once, every condition in a decision in the program has taken all possible outcomes at least once, every
decision in the program has taken all possible outcomes at least once, and each condition in a decision has
been shown to independently affect that decision's outcome. A condition is shown to independently affect a
decision's outcome by varying just that condition while holding fixed all other possible conditions.
Coupling - The degree of dependence of one module upon another; specifically, a measure of the chance that
a defect in one module will appear as a defect in the other, or the chance that a change to one module will
necessitate a change to another.
Data Coupling – The dependence of a software component on data not exclusively under control of that
component.
Control Coupling – The manner of degree by which one software component influences the execution of
another software component.
Level A:
Level B:
Level C:
Level D:
Level E:
No specific requirement
In below example one by one each input is changed which impact the outcome.
(A && B) || C
A B C Result Comment
T T F T Base condition
F T F F A is changed, Results also changed
T F F F B is changed, Results also changed
T F T T Now Test case 3 is using as base condition
and C is changed. Results also changed
What is structural and requirement coverage?
Structural coverage analysis provides a means to confirm that requirements based test cases
exercised the code structure.
Requirements based testing involves verifying that the software meets the application's
requirements. Each requirement has a set of tests demonstrating the successful implementation
of that requirement.
What is the total list of potential deliverables I will need to create for DO-178B
certification?
The following table lists the documents and records you may need to provide for a DO-178B
certification: