Software Safety Analysis of the Speace Shuttle Main Engine (SSME) Control Software

机译：航天飞机主机（SAME）控制软件的软件安全性分析

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

In the project described in this paper, modeling and analysis of the Space Shuttle Main Engine (SSME) control software at obth the system level and the unit (or module) level, using the Dynamic Flowgraph Methodology (DFM), is demonstrated on the subset of the software.

机译：在本文描述的项目中，使用动态流图方法（DFM）在系统级别和单元（或模块）级别对航天飞机主机（SSME）控制软件进行了建模和分析，并在子集上进行了演示。该软件。

著录项

来源
《International conference on probabilistic safety assessment and management;PSAM4》|1998年|p.1313-1318|共6页
会议地点
作者
A. Milici; S. Guarro; M. Yau;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类一般工业技术;
关键词

相似文献

外文文献
中文文献
专利

1. Banner Engineering recives first UL 1998 software safety certificate for machine control [J] . instrumentation amp, control systems group Instrumentation & Control System . 1998,第2期

机译：横幅工程公司获得第一台用于机器控制的UL 1998软件安全证书
2. Banner Engineering receives first UL 1998 software safety certificate for machine control [J] . Anonymous Instrumentation & Control Systems . 1998,第2期

机译：Banner Engineering获得机器控制的首个UL 1998软件安全证书
3. State/event fault trees-A safety analysis model for software-controlled systems [J] . Bernhard Kaiser, Catharina Gramlich, Marc Foerster Reliability Engineering & System Safety . 2007,第11期

机译：状态/事件故障树-软件控制系统的安全分析模型
4. Software Safety Analysis of the Speace Shuttle Main Engine (SSME) Control Software [C] . A. Milici, S. Guarro, M. Yau International conference on probabilistic safety assessment and management . 1998

机译：Space Shuttle主机（相同）控制软件的软件安全分析
5. Software lifecycle and analysis techniques for safety-critical computer-controlled systems. [D] . Mojdehbakhsh, Ramin. 1994

机译：安全关键型计算机控制系统的软件生命周期和分析技术。
6. Patient Safety—Incorporating Drawing Software into Root Cause Analysis Software [O] . Linda Williams, Diana Grayson, John Gosbee 2002

机译：患者安全—将绘图软件整合到根本原因分析软件中
7. A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software [O] . Abdulkhaleq, Asim, Wagner, Stefan 2016

机译：安全分析实证评估的对照实验安全关键软件的技术
8. Data Base and Analysis Program for Shuttle Main Engine Dynamic Pressure Measurements. Appendix E: Data Base Plots for SSME (Space Shuttle Main Engine) Tests 750-112 Through 750-118 [R] . Coffin, T. 1986

机译：航天飞机主机动态压力测量的数据库和分析程序。附录E：ssmE（航天飞机主引擎）的数据库测试750-112到750-118

Software Safety Analysis of the Speace Shuttle Main Engine (SSME) Control Software

摘要

著录项

相似文献

相关主题

期刊订阅