机载系统软件合格审查:电机选型工具鉴定
需积分: 40 36 浏览量
更新于2024-08-07
收藏 1.79MB PDF 举报
"该资源是一份关于电机选型的通用型最新版手册,结合了DO178B标准,主要探讨了在机载系统和设备合格审查中软件方面的要求。内容涉及工具鉴定的过程,强调了当软件工具自动化部分生命周期过程时,如何确保工具的置信度与手动过程相当。此外,还提到了只有行为确定的工具才能进行鉴定,并介绍了DO-178B标准的背景、目的、适用范围以及与系统层面的关联。"
详细说明:
1. 工具鉴定:
- 在航空软件开发中,当使用软件工具自动化某些过程时,若该过程的输出未经过独立验证,需要对工具进行鉴定,以保证其提供的置信度与手动执行过程相当。
- 工具鉴定的目标是确保工具的可靠性,尤其是那些直接影响软件安全性的工具。仅需鉴定那些自动化且其输出未经验证的部分。
- 工具必须是行为确定的,即在相同输入下始终产生相同输出,以确保结果的一致性和可预测性。
2. DO178B标准:
- DO178B是航空电子系统和设备认证中的软件标准,旨在指导软件开发和审查过程,确保其符合系统安全目标。
- 适用于包含计算机软件的机载系统和设备的开发和审查,既面向开发者也面向合格审查机构。
- 该标准强调了软件生命周期过程的各个阶段,包括系统层面与软件层面的相互作用,以及失效状态和软件等级的定义。
3. 系统层面的内容:
- 系统和软件生命周期过程之间的信息流:描述了系统设计与软件开发之间的信息交互,包括从系统到软件以及从软件回溯到系统的反馈。
- 失效状态和软件等级:定义了不同类型的失效状态,规定了软件等级的定义和确定方法,以评估软件对系统安全性的影响。
- 系统架构考虑:涵盖软件分区、多版本非相似软件处理和安全监控,这些都是确保系统安全的重要因素。
- 用户可修改软件、可选项软件和商用成品软件的处理:说明了在系统设计中如何考虑这些不同类型的软件组件。
该手册不仅提供了电机选型的指导,还深入探讨了航空软件开发中的合规性和安全性问题,对于理解和应用DO178B标准的从业者来说是一份宝贵的参考资料。
点击了解资源详情
点击了解资源详情
点击了解资源详情
161 浏览量
2016-02-14 上传
2016-02-14 上传
2021-11-11 上传
2019-04-25 上传
羊牮
- 粉丝: 41
- 资源: 3857
最新资源
- 数据库系统原理试卷2
- Sun.Intro.Cloud.Computing.Architecture.Jun.2009.pdf
- 自考数据库系统原理试卷
- VC网络安全编程基础PDF
- QT 文件读取和写入
- QT 使用向导对话框
- QT读取系统信息--磁盘管理器
- 工程机械往复式密封进化研究
- java 最新面试题附答案
- 经典的数据挖掘相关算法
- JAVA面试题解(最新)
- The Symbian OS Architecture Sourcebook 手机操作系统的设计和演变
- linux必学的重要命令教程
- Sams - Microsoft Expression Blend Unleashed (Jun 2008)
- java面试题(各大公司的非常全)
- Struts快速学习指南