首页> 外文期刊>Computer >Software Tools for Safety-Critical Systems According to DO-254

【24h】

Software Tools for Safety-Critical Systems According to DO-254

机译：符合DO-254的安全关键系统软件工具

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Software and hardware components of safety-critical systems must be developed in a unified manner.

机译：安全关键系统的软件和硬件组件必须以统一的方式开发。

著录项

来源
《Computer》 |2008年第12期|p.112-115|共4页
作者
Kornecki Andrew; Butka Brian; Zalewski Janusz;
展开▼
作者单位

Embry-Riddle Aeronautical University;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
safety-critical systems; software engineering; tool certification;

机译：关键安全系统;软件工程;工具认证;

相似文献

外文文献
中文文献
专利

1. Software tools to support incident reporting in safety-critical systems [J] . Chris Johnson Safety science . 2002,第9期

机译：支持安全关键系统中事件报告的软件工具
2. DO-254: The other safety-critical specification [J] . Chris A. Ciufo Military embedded systems . 2009,第3期

机译：DO-254：另一个对安全至关重要的规范
3. Software FMEA for Safety-Critical System Based on Co-analysis of System Model and Software Model [J] . Guoqi LI IEICE transactions on information and systems . 2012,第12期

机译：基于系统模型与软件模型协同分析的安全关键系统软件FMEA
4. Research of software tools for DO-254 projects [C] . Yi Tian, Peng Wang 2011 International Conference on Computer Science and Service System . 2011

机译：DO-254项目的软件工具研究
5. Software dependability demonstration for safety-critical military avionics systems by statistical testing. [D] . Tal, Oded. 1999

机译：通过统计测试为安全关键型军用航空电子系统演示软件可靠性。
6. Agile Methods for Open Source Safety-Critical Software [O] . Kevin Gary, Andinet Enquobahrie, Luis Ibanez, -1

机译：敏捷方法的开源安全关键软件
7. Assessment of Software Development Tools for Safety-Critical Real-Time Systems [O] . Andrew J. Kornecki 2008

机译：评估安全关键实时系统的软件开发工具

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号