• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Model-Based Safety and Assessment >Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems
【24h】

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems

机译：基于模型的安全评估在航空电力系统验证中的应用

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

摘要

System safety assessments are integral part of system development as indicated by the ARP4754A standard. These activities are usually performed manually and rely on reviews and engineering judgments with limited use of models to support the assessment phase. In this paper we present an application of Model-Based Safety Assessment to the validation of an Aircraft Electrical Power System (EPS). Safety assessment is a fundamental part of the development for aircraft systems and the use of model-based techniques provides an effective method for the formalization and analysis of such complex systems. A toolchain that integrates the Formal Specs Verifier and the xSAP toolsets is presented and results of the application of the toolchain to the EPS use case are shown.
机译：系统安全评估是ARP4754A标准所示系统开发的组成部分。这些活动通常是手动进行的，并依赖于审查和工程判断，利用模型使用有限，以支持评估阶段。在本文中，我们向飞机电力系统（EPS）的验证呈现了基于模型的安全评估。安全评估是飞机系统开发的基本部分，使用基于模型的技术提供了对这种复杂系统的形式化和分析的有效方法。展示了一款集成了正式规格验证器和XSAP工具集的工具链条，并示出了将工具链应用于EPS用例的结果。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号