• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Eleventh Safety-Critical Systems Symposium Feb 4-6, 2003 Bristol, UK >Managing Complex Safety Cases
【24h】

Managing Complex Safety Cases

机译：管理复杂的安全案例

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

摘要

Safety case reports are often complex documents presenting complex arguments. To manage the complexity of safety case construction, system safety cases are often decomposed into subsystem safety cases. In this paper we discuss the motivation and problems of partitioning the safety case, both as practiced historically, and as required in new modular, reconfigurable systems such as Integrated Modular Avionics. Recent work on managing safety cases "in-the-large" is presented. In particular, we demonstrate how notions of software and systems architecture design can be read-across to establish the concepts of "safety case architecture" and contract based reasoning for managing inter-safety case dependency. Problems of division of responsibility in safety case development will also be discussed.
机译：安全案例报告通常是复杂的文档，表示复杂的论点。为了管理安全案例构建的复杂性，通常将系统安全案例分解为子系统安全案例。在本文中，我们讨论了划分安全案例的动机和问题，既有历史经验，也有新模块化，可重配置系统（如集成模块化航空电子系统）中的要求。介绍了“大规模”管理安全案例的最新工作。特别是，我们演示了如何跨软件和系统架构设计的概念来阅读以建立“安全案例架构”和基于契约推理的概念，以管理安全案例之间的依赖性。还将讨论安全案例开发中的责任划分问题。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号