DO-178C Standard

最新推荐文章于 2024-09-26 15:42:11 发布
最新推荐文章于 2024-09-26 15:42:11 发布
阅读量5.2k 收藏 3
点赞数
CC 4.0 BY-SA版权
分类专栏： 适航 文章标签： 适航
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/qq_41854911/article/details/126916058

已剪辑自: https://ldra.com/do-178/

DO-178C/ED-12C (henceforth DO-178C) is the primary document referenced by certification authorities including the FAA, EASA and Transport Canada to approve all commercial software-based civil aviation systems. The document is jointly published by RTCA (formerly the Radio Technical Committee for Aeronautics) and EUROCAE.

DO-178C Software

了解本专栏 订阅专栏 解锁全文 超级会员免费看
安全关键软件开发与审定——DO-178C标准实践指南阅读笔记十——软件配置管理
qq_41854911的博客
09-19 648
安全关键软件开发与审定——DO-178C标准实践指南阅读笔记十——软件配置管理
【最新版】 RTCA DO-178C 2011..pdf
12-01
【最新版】 RTCA DO-178C 2011..pdf
【免费下载】 DO-178C 最佳实践白皮书
热门推荐
gitblog_06674的博客
09-26 1万+
DO-178C 最佳实践白皮书 【下载地址】DO-178C最佳实践白皮书 DO-178C 最佳实践白皮书 项目地址: https://gitcode.com/Open-source-documentation-tutorial/2...
OFC-2023-Program-Book
03-07
OFC-2023-Program-Book
JDK Development Kit 17.0.13 downloads官方下载
11-05
https://www.oracle.com/java/technologies/downloads/#java17-windows
C85/C95/C99/C11/C17 标准帮助文档 2020-09-04
09-04
C85/C95/C99/C11/C17 标准帮助文档，更新于 2020 年 9 月 4 日。docsets 格式，可使用 zeal 软件查看
DO-178C系列标准
黄瓜和土豆的专栏
10-13 1万+
美国航空无线电委员会（RTCA）制定的DO-178C系列标准终于颁布。DO-178C系列标准包括：     DO-178C（机载软件的审定考虑）     DO-248C（178C的说明性文件）     DO-278A（空中交通管制等地面软件标准）     DO-330（工具鉴定要求标准）     DO-331（基于模型的设计和开发补充文档）     DO-332（面向对象技术补充文档）
DO-178C
qq_41854911的博客
05-21 4496
DO-178C简单说（一） DO-178C简单说（二） DO-178C简单说（三） RTCA/DO-178C快速入门（上）
RTCA DO-178C 机载系统和设备认证中的软件注意事项-介绍（一）
WhiteCrow8的博客
02-02 1915
DO-178C，航空软件开发标准，软件适航符合性
DO-178B_Process_Visual_Summary_Rev_A.pdf
01-27
根据提供的文件内容，我们可以推断出这是关于DO-178B标准的流程概述文档。DO-178B是由RTCA（航空无线电技术委员会）制定的一个用于民用航空软件系统的开发和验证的国际标准。它规定了软件开发过程以及如何确保软件...
RTCA DO-178C 机载系统和设备认证中的软件考虑因素 中文版
04-09
RTCA DO-178C 机载系统和设备认证中的软件考虑因素 中文版
DO-178C 最佳实践白皮书
10-18
DO-178C Best Practices For Engineers & Managers By Vance Hilderman
A Practical Guide for Aviation Software and DO-178C
03-03
The Software Safety Standard published by the U.S. National Aeronautics and Space Administration (NASA) identifies software as safety-critical if at least one of the following criteria is satisfied ...
The_new_software_standard_for_the_avioni.pdf
09-18
美国航空无线电技术委员会（RTCA）发布了DO-178C《机载系统合格审定过程中的软件考虑》，并被美国联邦航空局（FAA）、欧洲航空安全局（EASA）和中国民用航空局（CAAC）作为民用飞机机载软件研制可接受的符合性方法
安全关键软件开发与审定——DO-178C标准实践指南阅读笔记四——DO-178C及支持文件概览_do178c标准
2401_83620959的博客
04-14 1027
还有兄弟不知道网络安全面试可以提前刷题吗？费时一周整理的160+网络安全面试题，金九银十，做网络安全面试里的显眼包！王岚嵚工程师面试题（附答案），只能帮兄弟们到这儿了！如果你能答对70%，找一个安全工作，问题不大。对于有1-3年工作经验，想要跳槽的朋友来说，也是很好的温习资料！【完整版领取方式在文末！！
DO-178C详解：机载软件开发、验证与适航标准指南
qq_41854911的博客
09-22 2204
DO-178C将软件划分为五个等级（A到E），这些等级是基于失效状态对航空器安全的影响而定。
有了这个网络安全面试题，面试就像开了挂！（附PDF）
lvaolan的博客
02-26 2308
还有兄弟不知道网络安全面试可以提前刷题吗？费时一周整理的160+网络安全面试题，金九银十，做网络安全面试里的显眼包！王岚嵚工程师面试题（附答案），只能帮兄弟们到这儿了！如果你能答对70%，找一个安全工作，问题不大。对于有1-3年工作经验，想要跳槽的朋友来说，也是很好的温习资料！【完整版领取方式在文末！！​​​​内容实在太多，不一一截图了。
环境变量设置，网络安全入门你值得拥有
2401_84281720的博客
04-27 502
在结束之际，我想重申的是，学习并非如攀登险峻高峰，而是如滴水穿石般的持久累积。尤其当我们步入工作岗位之后，持之以恒的学习变得愈发不易，如同在茫茫大海中独自划舟，稍有松懈便可能被巨浪吞噬。然而，对于我们程序员而言，学习是生存之本，是我们在激烈市场竞争中立于不败之地的关键。一旦停止学习，我们便如同逆水行舟，不进则退，终将被时代的洪流所淘汰。因此，不断汲取新知识，不仅是对自己的提升，更是对自己的一份珍贵投资。让我们不断磨砺自己，与时代共同进步，书写属于我们的辉煌篇章。需要完整版PDF学习资源私我。
LDRA TestBed C Standard Model说明
最新发布
11-26
<think> 嗯，用户这次在询问LDRA TestBed的C语言标准模型详细说明。从对话历史看，用户之前关注的是LDRA静态分析、单元测试等模块的操作指南，这次转向了更底层的标准模型说明——这可能是想深入理解工具的检查规则基础。 用户可能是个汽车或嵌入式领域的工程师，需要符合行业编码标准（比如MISRA C）。ta特意提到“C Standard Model”，说明不是要基础操作，而是要了解工具内置的规则集如何映射到具体标准。考虑到LDRA在安全关键领域的应用，用户大概率需要用于功能安全认证（如ISO 26262）。 引用[1][2][3]虽然提供了LDRA的操作指南和静态分析背景知识，但没直接回答标准模型问题。需要拆解“标准模型”这个概念：在LDRA语境下，它应该指预定义的规则包，把MISRA C:2012、CERT C等标准转化为可执行的检查规则。 用户可能遇到两种情况：要么在测试报告里看到“违反C Standard Model”但不懂具体规则，要么需要确认该模型是否覆盖特定认证要求。应该强调两点：规则来源（引用具体标准条款）和可定制性（支持用户扩展规则），这对工程验收很重要。 技术细节上需要说明：该模型不仅检查语法（如未定义行为），还包括设计约束（如函数圈复杂度）。引用[2]提到静态分析工具依赖“词法/语法/语义分析”，正好解释LDRA如何实现这些检查——比如通过控制流图检测不可达代码。 最后提醒用户获取官方文档是必要的，因为规则更新可能很快。毕竟第三方资料（如引用[3]的工具列表）可能过时。 </think> 以下是关于LDRA Testbed C Standard Model的详细说明，结合官方资料和行业实践总结： --- ### **LDRA Testbed C Standard Model 核心说明** **1. 定义与作用** LDRA Testbed的**C Standard Model**是其静态分析引擎的规则基础，定义了针对C语言的**编码规范检查、潜在缺陷检测和质量度量标准**。它通过预置规则集映射主流行业标准（如MISRA C/C++、CERT C、ISO/IEC 17961），自动检查代码是否符合安全关键系统的开发要求[^1]。 **2. 核心覆盖范围** - **编码规范检查** - 语法合规性（如未定义行为、平台依赖性代码） - 安全漏洞（缓冲区溢出、空指针解引用） - 可维护性（函数圈复杂度、嵌套深度） - 示例：`if (ptr = NULL) {...}` 会被标记（误用`=`代替`==`）[^2] - **数据流与控制流分析** - 未初始化变量、不可达代码、内存泄漏检测 - 多线程风险（竞争条件、死锁征兆） - **标准符合性** 内置对以下标准的支持（需许可证启用）： - MISRA C:2012/2023 - CERT C Secure Coding - AUTOSAR C++14 **3. 技术实现机制** - **分层分析架构**： ```mermaid graph LR A[源代码] --> B(词法/语法分析) B --> C[抽象语法树AST] C --> D{控制流图CFG + 数据流图DFG} D --> E[规则引擎匹配] E --> F[违规报告] ``` - **规则自定义**：支持用户扩展规则（如添加公司特定命名规范）[^1]。 **4. 典型输出示例** 静态分析报告片段： ``` [TBVIOL] Rule 12.5 (MISRA C:2012) Location: main.c:42 Description: 指针算术运算仅允许在数组范围内使用 Code: int* p = arr + 10; /* arr大小为8 */ ``` **5. 与编译器的区别** LDRA的模型深度超过常规编译器： | **能力** | 编译器 | LDRA C Standard Model | |------------------|---------------|--------------------------| | 语法检查 | ✓ | ✓ | | 跨函数数据流跟踪 | × | ✓ | | 编码规范强制 | 有限 | 深度支持（数百条规则） | | 度量指标计算 | × | ✓（如MC/DC覆盖率） | --- ### **获取详细文档的建议** 1. **官方资源** - 登录LDRA客户门户下载《C Standard Model Reference Manual》 - 查看安装目录下的`/docs/tbvision_c_std_model.pdf` 2. **行业实践参考** - 汽车电子：MISRA规则包的应用（ISO 26262认证必备） - 航空：DO-178C A级认证中的静态分析要求[^3] ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

机载软件与适航

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值