GM4 to AMC6 ATM/ANS.OR.C.005(a)(2) Safety support assessment and assurance of changes to the functional system

ASSURANCE — EXAMPLES OF EXISTING INDUSTRIAL STANDARDS

(a)The service provider is responsible for the definition of the software assurance processes. In this definition of processes, the service provider may consider the guidance material contained in existing industrial standards for the software assurance considerations of software. It should be considered that not all standards address all aspects required and the service provider may need to define additional software assurance processes. The guidance material typically includes:

(1)objectives of the software life cycle processes;

(2)activities for satisfaction of those objectives;

(3)descriptions of the evidence, in the form of software life cycle data, that indicates that the objectives have been satisfied;

(4)variations according to the SWAL, to accommodate the different levels of rigour of the software assurances; and

(5)particular aspects (e.g. previously developed software) that may be applicable to certain applications.

(b)The following table presents some of the existing industrial standards (at the latest available issue) used by the stakeholders:

EUROCAE ED-109A/RTCA DO-278A and EUROCAE ED-12C/RTCA DO-178C make reference to some external documents (supplements), which are integral part of the standard for the use of some particular technologies and development techniques. The supplements are the following:

(1)Formal Methods Supplement to ED-12C and ED-109A (EUROCAE ED-216/RTCA DO-333)

(2)Object-Oriented Technology and related Techniques Supplement to ED-12C and ED-109A (EUROCAE ED-217/RTCA DO-332)

(3)Model-Based Development and Verification Supplement to ED-12C and ED-109A (EUROCAE ED-218/RTCA DO-331) When tools are used during the software development lifecycle, EUROCAE ED-215/RTCA DO330 ‘Software Tool Qualification Considerations’ may be considered in addition to EUROCAE ED12C RTCA/DO-178C and EUROCAE ED-109A/RTCA DO-278A.

(c)The definition of the software assurance processes may be based on one of these industrial standards, without combining provisions from different standards as far as the consistency and validation of each of the industrial standards have only been performed at individual level by each specific standardisation group.