DO-178C认证

Posted in

• 其他

【嵌入式C语言新范式】：如何用纯ANSI C89实现Go-style接口？附NASA DO-178C认证级代码样例

第一章：嵌入式C语言新范式：Go … 【嵌入式C语言新范式】：如何用纯ANSI C89实现Go-style接口？附NASA DO-178C认证级代码样例Read more

by 低调的Gopher|2026年9月20日|DO-178C认证, 104规约第89条, 嵌入式C语言规范, Ansible部署模板, net包接口抽象, NASA级诊断流程, Go风格接口

Posted in

• 其他

【C语言生存指南2024】：为什么92.7%的实时操作系统仍强制要求C，而Go至今无法通过DO-178C航空认证？

第一章：go语言的出现会淘汰c语 … 【C语言生存指南2024】：为什么92.7%的实时操作系统仍强制要求C，而Go至今无法通过DO-178C航空认证？Read more

by 调试大师|2026年9月19日|实时操作系统移植, Go语言局限性, C语言维护成本, DO-178C认证, 航空软件安全

Posted in

• 其他

为什么Linux基金会拒绝Go作为内核语言？但3家航天公司已用Go OS通过DO-178C A级认证（附安全验证清单）

第一章：golang能够编写操作 … 为什么Linux基金会拒绝Go作为内核语言？但3家航天公司已用Go OS通过DO-178C A级认证（附安全验证清单）Read more

by Go语言笔记|2026年7月30日|Go语言编程实践, DO-178C认证, eBPF内核开发, Linux基金会审计, 航天操作系统

Posted in

• 其他

Go语言和C语言差别，航天级嵌入式项目禁用Go的真实原因（附DO-178C认证差距分析表）

第一章：Go语言和C语言差别 内 … Go语言和C语言差别，航天级嵌入式项目禁用Go的真实原因（附DO-178C认证差距分析表）Read more

by 代码流浪者|2026年6月25日|Go语言编程实践, C语言维护成本, NASA航天嵌入式开发, DO-178C认证, 实时系统选型

Posted in

• 其他

Ada安全关键系统×Go网关：DO-178C认证环境下，Go作为通信中间件的隔离设计、形式化验证接口契约与WCET实测报告（FAA预审通过）

第一章：Ada安全关键系统×Go … Ada安全关键系统×Go网关：DO-178C认证环境下，Go作为通信中间件的隔离设计、形式化验证接口契约与WCET实测报告（FAA预审通过）Read more

by 技术布道者|2026年2月27日|DO-178C认证, Ada安全关键系统, 形式化验证接口契约, WCET实测, Go语言网关日志监控

Posted in

• 其他

【军工级上位机开发标准】：Golang实现DO-178C Level A数据链路认证路径（含TCB证据包结构）

第一章：军工级上位机开发的认证范 … 【军工级上位机开发标准】：Golang实现DO-178C Level A数据链路认证路径（含TCB证据包结构）Read more

by 云上码农|2026年2月27日|go.language.level, 南京Golang开发, DO-178C认证, 军工级上位机, A安全等级, TCB证据包

Posted in

• 其他

为什么你的Golang仿真无法通过DO-178C A级认证？实时性验证缺失的4个致命缺口（附TÜV认证自查清单）

第一章：Golang仿真在DO- … 为什么你的Golang仿真无法通过DO-178C A级认证？实时性验证缺失的4个致命缺口（附TÜV认证自查清单）Read more

by 低调的Gopher|2026年2月23日|A级适航认证, TÜV认证自查, DO-178C认证, Golang实时性验证, 航空软件安全