bbsning

美国航空无线电技术委员会(RTCA)发布了DO-178C《机载系统合格审定过程中的软件考虑》,并被美国联邦航空局(FAA)、欧洲航空安全局(EASA)和中国民用航空局(CAAC)作为民用飞机机载软件研制可接受的符合性方法

This work is licensed under a Creative Commons Attribution-Non Commercial-ShareAlike 3.0 Unported License.

DO-178C Workflow with Qualified Code Generation Note: Formal Methods allow to detect errors in the Model including dead logic, integer overflow, divis