DO-178C

Giriş
DO-178C halefi olduğu DO-178B'ye halen çok benziyor. Dolayısıyla bence önce DO-178B'yi okumak gerekir.

DO-178C
Do-178C 2011 yılında yayınlandı. Yeni başlayan tüm yazılımların artık DO-178C ile geliştirilmesi gerekiyor. Bu standarttan önce başlayan projeler halen DO-178B'yi kullanabilir.

Farklı Neler Var?
Öncelikle Do-178B'deki karışıklığa sebep olan (ambiguity) şeyler düzeltilmiş. DO-178B geliştirme dili (language agnostic), araçlar ve teknolojiden bağımsız yazılmış. Değişen şartlara uygun olarak, bu konulara değinen destekleyici belgeler (supplement) gelmiş.

Destekleyici belgeler için açıklama şöyle

If we speak about airborne software, the main document is the RTCA/EUROCAE DO-178/ED-12 currently at the "C" version: Software Considerations in Airborne Systems and Equipment Certification
If you want to certify (and thus commercialize) your software for flight, this is the main document to read.

Depending on the scope of the software and the design/development process there might be different supplements (see here):

- DO-330 Software Tool Qualification Considerations

- DO-331 Model-Based Development and Verification Supplement to DO-178C and DO-278

- DO-332 Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A

- DO-333 Formal Methods Supplement to DO-178C and DO-278A

It has been prepared by the RTCA/EUROCAE joint committee and approved by both FAA and EASA under different names, but the content is the same.

... these documents are not freely available

Belgeler ile ana doküman arasındaki ilişkiyi gösteren bir şekil burada

7.3. Data Control Categories

Bir açıklama burada. Yazılım yaşam döngüsündeki çıktıları CC1 ve CC2 olarak sınıflandırıyor. CC1 çıktılar versiyonlanmalı ve değişiklik isteği ile güncellenmeli. CC2 çıktılar ise zaten doğası gereği kayıt olduğu için versiyonlamaya gerek yok. Örnek olarak "Problem Report" gibi şeyler verilebilir.

DO-330 Software Tool Qualification Considerations

DO-330 Software Tool Qualification Considerations yazısına taşıdım.

DO-332 Object Oriented Technology and Related Techniques Supplement
DO-332 Object Oriented Technology and Related Techniques Supplement yazısına taşıdım.

DO-333 Formal Methods Supplement to DO-178C and DO-278A
Formal method, formal system ve formal language sanırım farklı şeyler.