首页> 中文会议>2011年航天可靠性学术交流会 >安全关键嵌入式软件可信性工程概念模型研究

安全关键嵌入式软件可信性工程概念模型研究

页面导航

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

摘要

软件可信性是国内外软件质量研究的趋势之一。它来源于实际问题，解决软件是否值得信赖的问题，较传统具体的质量特性研究，如软件安全性、可靠性，更加面向最终用户。由于软件的复杂性以及最终用户评价的复杂性，很难使用单纯的工程技术表明软件是否可信，因此本文借鉴STAMP理论，结合国内外软件质量领域的先进经验，提出了一种安全关键嵌入式软件可信性工程概念模型。希望有助于研制和评价安全可信嵌入式软件。

著录项

来源
《2011年航天可靠性学术交流会》|2011年|476-482|共7页
会议地点井冈山
作者
钟德明; 邹学益;
展开▼
作者单位

中国宇航学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类软件工程;性能分析、功能分析;
关键词
软件可信性; 概念模型; 事故致因理论; 社会技术系统;

相似文献

中文文献
外文文献
专利

1. 面向安全关键嵌入式软件工程的“编译原理”课程教学探索 [J] . 杨志斌 ,黄志球 . 工业和信息化教育 . 2016,第003期
2. 基于客观赋权法的嵌入式软件可信性评估方法研究 [J] . 谷海红 ,李苗在 . 计算机应用研究 . 2012,第005期
3. 中国数控机床可靠性工程研究的基地——吉林大学数控装备可信性工程研究所 [J] . . 中国制造业信息化：学术版 . 2005,第3期
4. 水运工程预制桩施工安全关键指标研究 [J] . 黄周泉 ,吴锋 ,邱松 . 中国港湾建设 . 2020,第007期
5. 基于BIM工程施工安全关键技术的研究 [J] . 张飞 . 建材与装饰 . 2019,第003期
6. 水工程规划设计中河道内生态需水计算概念模型研究 [C] . 李国强 ,崔真真 ,杜强 . 国家科技重大专项“水体污染控制与治理”河流主题“流域行业点源水污染控制技术”研讨会 . 2009
7. 嵌入式软件可信性建模与验证技术的研究及其应用 [A] . 倪思如 . 2016

安全关键嵌入式软件可信性工程概念模型研究

摘要

著录项

相似文献

相关主题

期刊订阅