• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>DASIA 2005 >MISSION - CRITICAL ON-BOARD SOFTWARE USING THEADA 95 RAVENSCAR PROFILE
【24h】

MISSION - CRITICAL ON-BOARD SOFTWARE USING THEADA 95 RAVENSCAR PROFILE

机译：任务-使用THEADA 95 RAVENSCAR PROFILE的关键机载软件

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper describes how GNAT Pro for ERC32 and the Ravenscar profile are suitable for designing and implementingrncomplex on-board software using high-level tasking facilities. The static and simple tasking model defined by thernRavenscar profile allows for a streamlined implementation of the run-time system directly on top of bare machines. Thernreduced size and complexity of the run time, together with its configurability, makes it suitable for mission-critical spacernapplications in which certification or reduced footprint is needed. Software reliability and predictability is also increasedrnby excluding non-deterministic and non analysable tasking features. Product validation has been achieved by means ofrna comprehensive test suite intended to check compliance with the Ravenscar profile and Ada standards, and correct behaviourrnof specialised features and supplemental tools. Code coverage analysis is also part of the validation campaign,rnwith the goal of achieving 100% statement coverage.
机译：本文介绍了适用于ERC32的GNAT Pro和Ravenscar配置文件如何适用于使用高级任务工具设计和实现复杂的机载软件。由rnRavenscar配置文件定义的静态和简单任务模型允许直接在裸机之上简化运行时系统的实现。减小的运行时间和复杂性及其可配置性使其适用于需要认证或减少占位面积的关键任务隔离应用。通过排除非确定性和不可分析的任务功能，还可提高软件的可靠性和可预测性。产品验证已通过rna全面测试套件来完成，该套件旨在检查是否符合Ravenscar配置文件和Ada标准，并纠正行为专用特性和补充工具。代码覆盖率分析也是验证活动的一部分，其目标是实现100％的语句覆盖率。

著录项

  • 来源
    《DASIA 2005》|2005年|1-11|共11页
  • 会议地点 Edinburgh(GB);Edinburgh(GB)
  • 作者

    José F. Ruiz;

  • 作者单位

    AdaCorern8 rue de Milanrn75009 Paris, FrancernPhone: +33 (0)1 49 70 67 16rnFax: +33 (0)1 49 70 05 52 ruiz@adacore.com;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号