SIL2认证

Posted in

• 其他

还在用C写嵌入式？Go for MCU已通过IEC 61508 SIL2认证——2024嵌入式安全开发新标准速览

第一章：Go for MCU安全 … 还在用C写嵌入式？Go for MCU已通过IEC 61508 SIL2认证——2024嵌入式安全开发新标准速览Read more

by Go语言日常|2026年8月2日|Go语言嵌入式开发, IEC104通信框架, SIL2认证, 61508, MCU安全编程, 嵌入式安全标准, 2024嵌入式开发趋势

Posted in

• 其他

Go语言+RT-Thread=机器人实时内核新组合？国内首款通过IEC 61508 SIL2认证的Go嵌入式运行时正式开源

第一章：机器人可以用go语言吗 … Go语言+RT-Thread=机器人实时内核新组合？国内首款通过IEC 61508 SIL2认证的Go嵌入式运行时正式开源Read more

by Gopher老张|2026年4月3日|RT-Thread音频网关, Go语言编程实践, 机器人操作系统接入, IEC104通信框架, SIL2认证, 嵌入式实时系统, 61508

Posted in

• 其他

Go语言实现符合IEC 61508 SIL2认证要求的MES安全逻辑模块：形式化验证+WCET静态分析全流程

第一章：Go语言实现符合IEC … Go语言实现符合IEC 61508 SIL2认证要求的MES安全逻辑模块：形式化验证+WCET静态分析全流程Read more

by Go语言进阶之路|2026年4月1日|Coq形式化验证, SIL2认证, 61508, MES安全逻辑, Go语言编程实践, IEC104通信框架

Posted in

• 其他

Go语言数控机安全启动机制（符合IEC 61508 SIL2认证的3层可信链设计）

第一章：Go语言数控机安全启动机 … Go语言数控机安全启动机制（符合IEC 61508 SIL2认证的3层可信链设计）Read more

by 程序员老李|2026年2月12日|Go语言编程实践, IEC104通信框架, SIL2认证, 61508, 数控机床安全, 可信执行链

Posted in

• 其他

单片机Go程序如何通过IEC 61508 SIL2认证？——功能安全架构设计白皮书（含ASIL-B级内存分区图）

第一章：单片机Go程序的功能安全 … 单片机Go程序如何通过IEC 61508 SIL2认证？——功能安全架构设计白皮书（含ASIL-B级内存分区图）Read more

by 性能优化专家|2026年2月10日|IEC104通信框架, 嵌入式安全认证, SIL2认证, 单片机Go程序, 61508, 功能安全架构设计, ASIL-B内存分区

Posted in

• 其他

Go语言工控生态现状报告（2024Q2）：仅7个库通过IEC 61131-3 SIL2兼容性认证，附官方认证清单

第一章：Go语言工控生态概览与S … Go语言工控生态现状报告（2024Q2）：仅7个库通过IEC 61131-3 SIL2兼容性认证，附官方认证清单Read more

by 加密骑士|2026年2月7日|Go语言工控库, SIL2认证, 工控生态, IEC104通信框架, 工业控制软件, 61131-3认证