stood是什么意思

近年来,随着硬件设备计算能力的不断提高,性能关键实时系统的规模和复杂性急剧增加,导致其开发成本和非功能属性的要求也越来越高,这对其开发中的设计合理性,验证完备性以及开发效率等方面都带来了一定的挑战。STOOD工具,可对自动飞行系统进行架构设计,并对模型进行可调度分析及进行运行时的方针验证,使系统设计者在系统架构设计时能够及时发现潜在的错误和问题,便于开发时及时做出调整,缩短开发周期...