有效果。第三，需解决所有法律及法规上的要求，像是飞行系统需要处理的美国联邦航空总署（FAA）要求。若有设定在系统开发时需要符合的标准，也就强制了设计者需依循相关要求进行开发。航空电子产业已成功提出了制作生命攸关航空电子软体的标准方法，即。汽车业的ISO 26262、医疗产品的IEC 62304及核能的IEC 61513也是类似的法规。这些标准作法目的是要小心地编程、检视、测试、验证及分析系统，并书写说明文件。另一种作法是验证一产品系统、编译器，再依规格产生系统的代码。还有一种方式是用形式方法，用数学证明来证