打造值得信赖的软件

摘要

当今控制系统的可靠性越来越依赖于软件。制造商为保证稳定的性能付出了很大努力，然而控制工程师们可能需要通过另一种途径来解决这个问题。除了要使用更加稳定和高质量的代码以外，降低工程成本,工程时间和工程风险将会是主要考虑的对象。