本帖最后由 Hirain123 于 2017-2-22 11:00 编辑
随着机载嵌入式软件规模的大幅增加,越来越多与安全强相关的关键软件被应用于机载系统,以实现预期的飞行器功能,其中,系统软件的时间性能分析越来越被重视. Rapita Verification Suite(简称:RVS),是英国Rapita Systems公司提供的一套针对嵌入式软件目标平台测试工具。RVS可以对软件的时间性能(WCET)进行全面的测试分析及验证,广泛应用于具有高可靠性要求的软件中,支持多种目标硬件上的动态测试。 |