如何进行飞控系统执行时间分析

如何进行飞控系统执行时间分析

ID:41671171

大小:110.72 KB

页数:3页

时间:2019-08-29

如何进行飞控系统执行时间分析_第1页
如何进行飞控系统执行时间分析_第2页
如何进行飞控系统执行时间分析_第3页
资源描述:

《如何进行飞控系统执行时间分析》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库

1、如何进行飞控系统执行时间分析随着机载嵌入式软件规模的大幅增加,越來越多与安全强相关的关键软件被应用于机载系统,以实现预期的飞行器功能,其中,系统软件的时间性能分析越來越被重视。RapitaVerificationSuite(简称:RVS),是英国RapitaSystems公司提供的一套针对嵌入式软件目标平台测试工具。RVS可以对软件的时间性能(WCET)进行全面的测试分析及验证,广泛应用于具有高可靠性要求的软件屮,支持多种目标硬件上的动态测试。某航空电子供应商基于RVS。的RapiTime工具,顺

2、利完成了飞行控制系统的执行时间分析,并解决了如下问题:•找到造成时间问题的原因所需工作量不到原来的10%;•显示的具体修复方法对原系统不产生附加影响;捉供可信的证据证明时间需求已经得到满足。案例分析1、背景在新一代飞机飞行控制系统研发过程中,最重要的目标就是在提高产品品质的同吋降低成本。而对于飞行控制系统等关键应用,系统的时间行为有着和功能行为同样重要的地位。因此,对系统执行时间的分析工作不能一拖再拖,前期对于潜在时间问题的发现和解决,不仅能提高产品品质,还能减少研发成本。目前验证执行时间的方法依

3、赖大量人工操作,其缺点为:•需要进行大暈的测试以获得时间行为的测暈结果;•需要进行繁琐的工作将测试结果映射回基础架构;•信息搜集过程中的高成本使得在此过程中很难实现重复测量。2、解决方案在对比了多家自动测量软件执行吋间的产品后,该供应商最终选择了Rapita系列中的RapiTimeoRapiTime(作为RapitaVerificationSuite,即RVS的一部分)是分析嵌入式软件时间行为的一个工具包,它能结合代码结构的静态模型及动态运行结果,对目标时间行为进行精确的测量。利用RapiTime

4、on-targetprofiling口动测量执行时间,并突出潜在问题的区域。“RapiTime结合了静态分析和动态分析。”该供应商的工程师WayneKing说,“我们曾担心只建立在静态分析上的方法会依赖于硬件模型的准确性。然而,RapiTime具有测量代码在目标硬件上执行的能力,这从一开始便避免了上述风险。”此外,RapiTime能提取大量信息并将其整理为方便工程师阅读的图表,这改善了系统优化与软件调试的过程,也为执行时间提供了前所未有的详细的验证。RapiTime重点强调对最差运行吋I'可(WC

5、ET)的分析,这是决定系统实吋响应能力的关键因素。3、收益“RapiTime给我们研发工作带來的最大的好处是,从测试中获得完整的时间测量结果的过程实在太迅速了!"WayneKing说,“这样我们不仅能减少测试所需工作量,还能将结果运用在更多以前无法使用的地方。现在,我们找到时间问题、更新修复软件、测试软件并确认完成修复所需的时间大大减少。”“与此同时,RapiTime述帮助我们发现了一些在底层硬件中难以检测到的性能瓶颈。”关于RapitaSystems英国RapitaSystems公司提供了一套在

6、航空电子和汽车电子领域,针对测量和优化大型实时软件系统的时间性能,可以有效减少成木的面向目标平台软件验证的解决方案。RapitaVerificationSuite(简称RVS)是针对实时嵌入式系统目标时间验证、优化以及代码覆盖率测量的工具。它也是市场上唯一一款能告知用户减少最差执行时间应关注的准确区域的产品。利用RVS,用户只需几天的工作量便可以将大型、老旧应用的最差执行吋间减少最多50%,同时,它也大幅简化了多余的日常测试与设备。该软件支持MicrosoftWindows(XP,2000,Vis

7、taandWindows7)和Linux系统。恒润科技作为RVS代理商,拥有一支专业的技术团队,可为用户捉供基于RVS的专业服务和技术支持,满足用户高安全、高可靠嵌入式软件开发验证需求。作为RVS代理商,拥有一支专业的技术团队,可为用户提供基于RVS的专业服务和技术支持,满足用户高安全、高可靠嵌入式软件开发验证需求。

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。