Rationale for the development of the UK defence standards for safety-critical computer software

Brown M.J.D.

首页> 外文期刊>IEEE Aerospace and Electronic Systems Magazine >Rationale for the development of the UK defence standards for safety-critical computer software

【24h】

Rationale for the development of the UK defence standards for safety-critical computer software

机译：制定安全关键型计算机软件的英国国防标准的理由

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Changes in the procurement environment and developments in technology that will require the adoption of new development certification procedures within the next few years are examined. Characteristics of safety-critical computer systems and the safety problems posed by digital computers are described. The way in which the changes have influenced the preparation of the new draft defence standards offered for public debate in the UK prior to their formal adoption by the Ministry of Defence is discussed. Principle features of the future safety-critical systems policy are outlined. The use of Ada for safety-critical software is considered.

机译：研究了采购环境的变化和技术的发展，这些变化将要求在未来几年内采用新的开发认证程序。描述了安全关键型计算机系统的特性以及数字计算机带来的安全问题。讨论了这些变化对国防部正式采纳之前在英国公开辩论的新国防标准草案的准备产生影响的方式。概述了未来安全关键型系统策略的主要特征。考虑将Ada用于对安全至关重要的软件。

著录项

来源
《IEEE Aerospace and Electronic Systems Magazine》 |1990年第11期|P.31-37|共7页
作者
Brown M.J.D.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类航空;
关键词

相似文献

外文文献
中文文献
专利

1. Computer Games as Virtual Environments for Safety-Critical Software Validation [J] . ?tefan Kore?ko, Branislav Sobota Journal of Information and Organizational Sciences . 2017,第2期

机译：计算机游戏作为安全关键软件验证的虚拟环境
2. Formal methods for safety-critical embedded software -flight warning computer case study [J] . Patrick Courty, Ian Hodgson Electronic engineering . 2002,第904期

机译：安全关键型嵌入式软件的正式方法-飞行预警计算机案例研究
3. Identifying common problems in the acquisition and deployment of large-scale, safety-critical, software projects in the US and UK healthcare systems [J] . C. W. Johnson Safety science . 2011,第5期

机译：识别在美国和英国的医疗保健系统中获取和部署大规模，安全关键的软件项目中的常见问题
4. Rationale for the development of the UK defence standards for safety-critical computer software [C] . Brown, M.J.D. . 1990

机译：制定安全关键型计算机软件的英国国防标准的理由
5. Software lifecycle and analysis techniques for safety-critical computer-controlled systems. [D] . Mojdehbakhsh, Ramin. 1994

机译：安全关键型计算机控制系统的软件生命周期和分析技术。
6. Agile Methods for Open Source Safety-Critical Software [O] . Kevin Gary, Andinet Enquobahrie, Luis Ibanez, -1

机译：敏捷方法的开源安全关键软件
7. A standard Operation Protocol on the Environmental Measurement and Control Systems Aiming at Promoting Development of Computer Software for Remote Measurement, Control and Analysis of Greenhouse Environment. [O] . Takehiko HOSHI, Jyunya FUSE, Tsutomu WATANABE, 1999

机译：旨在促进计算机软件开发的环境测量和控制系统的标准操作协议，进行温室环境的远程测量，控制和分析。
8. Automated computer software development standards enforcement. [R] . Yule, H. P., Formento, J. W. 1991

机译：自动化计算机软件开发标准执行。

Rationale for the development of the UK defence standards for safety-critical computer software

摘要

著录项

相似文献

相关主题

期刊订阅