Safety Critical Software Development Methodologies in Avionics

机译：航空电子安全关键软件开发方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Pawel Zakrzewski; Janusz Narkiewicz; Darren Brenchley;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software [J] . Wu Ji, Yue Tao, Ali Shaukat, Software . 2015,第7期

机译：一种有助于工业航空电子软件面向安全的体系结构设计的建模方法
2. Software certification of safety-critical avionic systems: DO-178C and its impacts [J] . Youn Won Keun, Hong Seung Bum, Oh Kyung Ryoon, Aerospace and Electronic Systems Magazine, IEEE . 2015,第4期

机译：安全关键型航空电子系统的软件认证：DO-178C及其影响
3. Software and hardware certification of safety-critical avionic systems: A comparison study [J] . Wonkeun Youn, Baeck-jun Yi Computer standards & interfaces . 2014,第6期

机译：安全关键型航空电子系统的软件和硬件认证：比较研究
4. Safety criteria and development methodology for the safety critical railway software [C] . Eui-jin Joung, Se-chan Oh, Sung-hyuk Park, Telecommunications Energy Conference, 2009. INTELEC 2009 . 2009

机译：安全关键铁路软件的安全标准和开发方法
5. Software dependability demonstration for safety-critical military avionics systems by statistical testing. [D] . Tal, Oded. 1999

机译：通过统计测试为安全关键型军用航空电子系统演示软件可靠性。
6. Book III: Scientific and Research Applications in Medical Care: Software Development Methodologies and the User Software Engineering Methodology [O] . Anthony I. Wasserman 1982

机译：第三本书：医疗领域的科学研究应用：软件开发方法论和用户软件工程方法论
7. Model-driven software development of safety-critical avionics systems: an experience report [O] . Hovsepyan Aram, Van Landuyt Dimitri, Op de beeck Steven, 2014

机译：安全关键航空电子系统的模型驱动软件开发：经验报告

Safety Critical Software Development Methodologies in Avionics

著录项

引文网络

相似文献

相关主题

期刊订阅