成功提出了制作生命攸关航空电子软体的标准方法，即。汽车业的ISO 26262、医疗产品的IEC 62304及核能的IEC 61513也是类似的法规。这些标准作法目的是要小心地编程、检视、测试、验证及分析系统，并书写说明文件。另一种作法是验证一产品系统、编译器，再依规格产生系统的代码。还有一种方式是用形式方法，用数学证明来证明代码符合要求。这些方法都可以提昇生命攸关系统的软体品质，方式可能是透过测试，或是减少开发程序中的人工步骤，因为人可能会出错，这也是最常见的生命攸关系统潜在错误的原因。Section: