正确性

一.背景介绍 在工业控制领域 实时(Real Time) 是一个核心要求。 实时系统的定义：实时系统是指计算的正确性不仅依赖于逻辑的正确性而且依赖于产生结果的时间，如果系统的时间限制不能得到满足，系统...