• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International System Safety Conference >Study of a Method for Early Interface Verification with Hierarchical Executable Software Model
【24h】

Study of a Method for Early Interface Verification with Hierarchical Executable Software Model

机译：具有分层可执行软件模型的早期界面验证方法研究

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The Japan Aerospace Exploration Agency (JAXA) has collaborated on certain international projects. In the projects, the interface among different organizations caused many problems, some of which were found late in the development phase, that negatively impacted the projects. Therefore, various organizations have attempted to define and verify adequate Interface Control Documents (ICDs) in order to find problems early in the development phase. For JAXA’s software Independent Verification and Validation (IV&V), engineers verify the interface early in the development phase to ensure successful projects. However, past verification consisted mainly on validating static consistency between ICDs and target software specifications; behavioral inconsistency among software causes problems late in the development phase. JAXA and the European Space Agency (ESA) IV&V teams undertook a pilot project with the objective of studying an effective method for verifying interface related to software behavior early in the development phase. In this pilot project, we developed a verification method based on an executable hierarchical model, and applied it to an actual international spacecraft project. As a result, 92 ICD issues were identified before implementing the software; nevertheless, significant time was consumed. To improve efficiency, we suggest developing models based on the software component architecture framework.
机译：日本航空航天勘探机构（JAXA）在某些国际项目上进行了合作。在项目中，不同组织之间的界面导致了许多问题，其中一些问题在开发阶段迟到，对项目产生了负面影响。因此，各种组织已经尝试定义和验证适当的接口控制文档（ICDS），以便在开发阶段提早找到问题。对于JAXA的软件独立验证和验证（IV＆V），工程师在开发阶段的早期验证界面，以确保成功的项目。然而，过去的验证主要包括验证ICD和目标软件规范之间的静态一致性;软件之间的行为不一致导致开发阶段晚些时候出现问题。 JAXA和欧洲航天局（ESA）IV＆V团队进行了一个试点项目，目的是研究有效的方法，用于在开发阶段的早期验证与软件行为相关的界面。在此导频项目中，我们开发了一种基于可执行层次模型的验证方法，并将其应用于实际的国际航天器项目。因此，在实施软件之前确定了92个ICD问题;尽管如此，消耗了很大的时间。为了提高效率，我们建议基于软件组件架构框架开发模型。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号