统 并得到了FAA 的认证 。 描述 通过使用表格的形式描述需求并在 TVEC工具中建 - 本文主要关注 TVEC对表格式需求进行测试验证的测 - , 。 模 来对错误进行检查和验证分析 。 试向量生成工具 此工具从 SCR需求分析中直接抽取测试 本文第 节介绍了 ; 2 D 和相关方法的基础知识 第 O C -178 输、 。 入...
http://www.faa.gov/aircraft/air_ cert/design_approvals/air_software/cast/cast_papers/media/cast-10.pdf. Hayhurst, K., Veerhusen, D., Chilenski, J., and Rierson, L., A practical tutorial on modified condition/decision coverage, National Aeronautics and Space Administration Langley Research ...
DO-178C简介 所有功能安全领域中使用的安全评估流程都依赖于证明系统故障可能导致损害的概率低于可接受的阈值。 当系统由机械和电子组件组成,其组件故障率已知时,可以计算系统故障的概率,并可以证明达到安全目标。对于软件、复杂系统或电子硬件,系统故障可能是由设计错误(有时称为系统性故障)以及组件故障引起的,但目前...
DO-178B和DO-178C都是RTCA为机载软件所制定的标准,后者发布于2011年,可以理解为前者的升级版,主要根据前者1992年发布以来软件开发实践、技术和工具等方面的进步对其进行了勘误、澄清与补充,修改了原来描述不清晰的方面,并加了模型开发、工具鉴定、面向对象方法等技术。 DO-178C软件生命周期过程和系统之间信息流 DO-...
机载系统的软件合规性从软件工程标准和最佳实践开始,辅之以TÜV认证工具,用于查验和验证DO-178B/C目标,这有助于确保更能易获得FAA及EASA适航证。Parasoft C/C++test为航空电子软件提供了广泛的解决方案。 包括: ✅需求可追溯性 ✅单元、集成、系统测试 ...
DO-178B和DO-178C都是RTCA为机载软件所制定的标准,后者发布于2011年,可以理解为前者的升级版,主要根据前者1992年发布以来软件开发实践、技术和工具等方面的进步对其进行了勘误、澄清与补充,修改了原来描述不清晰的方面,并加了模型开发、工具鉴定、面向对象方法等技术。
（Federal Aviation Administration,FAA ）明确了新开发软件适航标准由DO-178B 升级为DO-178C [1]。DO-178C 是经典软件工程化研制体系在民用航空发动机软件产品研制中的具体实施要求，给出了民用航空发动机控制系统软件的开发过程，标准要求所有关键软件研制数据都必须纳入构 型管理，并提出了构型管理的目标和活动，是...
虽然制定标准过程的参与者说DO-178C仅仅是使用了18年之久的DO-178B的升级，但这或许是太谦虚的声明。据悉供应商尽量将项目计划去适合DO-178B的标准，而不情愿成为寻找适合新标准的方法的机构－FAA的试验品。新标准对于现代技术，例如形式化方法，面向对象的编程语言和基于模型的开发会给予信任，这些技术是开发人员和...
仅仅能够正确地解读DO-178C的目标并不足以让工程师满足这些目标或让软件审查员/DER来判断这些目标的符合性。他们还需要深入理解DO-178C的核心基础和基本原理才能更好地应对实际应用中的千变万化的状态和困难。 此次为期三天的研讨会将使参会者提升这样的能力。 本次研讨还将在涉及工具鉴定、基于模型的开发与验证、...
DO-178C对现代工具和技术给予信任参考.pdf,DO-178C 接近完成,对现代工具和技术给予信任 By Charlotte Adams 五年之后,美国和欧洲的航空电子标准组织 RTCA 和 EUROCAE ,正在接近更改 DO-178B 的最终期限, DO-178B 是安全-苛刻性软件开发人员的圣经。 1000 多位成员已经