• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Ada user journal >ConcertoFLA-based Multi-concern Assurance for Space Systems
【24h】

ConcertoFLA-based Multi-concern Assurance for Space Systems

机译：基于ConcertoFLA的空间系统多关注点保证

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

摘要

Space systems often need to be engineered in compliance with standards such as ECSS and need to ensure a certain degree of dependability. Given the multi-faceted nature of dependability (characterized by a set of concerns), assuring dependability implies multi-concern assurance, which requires the modelling of various system characteristics and their co-assessment and co-analysis, in order to enable the management of trade-offs between them. CHESS is a systems engineering methodology and an open source toolset, which includes ConcertoFLA. ConcertoFLA allows users (system architects and dependability engineers) to decorate component-based architectural models with dependability-related information, execute Failure Logic Analysis (FLA) techniques, and get the results back-propagated onto the original model. In this paper, we present the customization of the CHESS methodology and ConcertoFLA in the context of the ECSS standards to enable architects and dependability engineers to define a system and perform dependability-centered co-analysis for assuring the required non-functional properties of the system according to ECSS requirements. The proposed customization is then applied in the context of spacecraft Attitude Control Systems engineering, which is a part of satellite on-board software.
机译：空间系统通常需要按照ECSS等标准进行设计，并需要确保一定程度的可靠性。鉴于可靠性的多面性（由一系列关注点表征），确保可靠性意味着多方面的保证，这需要对各种系统特征进行建模以及对其进行共同评估和共同分析，以便能够管理他们之间的权衡。 CHESS是一种系统工程方法论，是一个开放源码的工具集，其中包括ConcertoFLA。 ConcertoFLA允许用户（系统架构师和可靠性工程师）使用与可靠性相关的信息来装饰基于组件的体系结构模型，执行故障逻辑分析（FLA）技术，并将结果反向传播到原始模型中。在本文中，我们将在ECSS标准的背景下提供CHESS方法和ConcertoFLA的定制，以使架构师和可靠性工程师能够定义系统并执行以可靠性为中心的协分析，以确保系统所需的非功能性。根据ECSS要求。然后，将拟议的定制应用于航天器姿态控制系统工程中，该工程是卫星机载软件的一部分。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号