SIL2认证

Posted in

• 其他

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

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

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

Posted in

• 其他

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

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

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

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日|嵌入式安全认证, SIL2认证, 单片机Go程序, 61508, 功能安全架构设计, ASIL-B内存分区, IEC104通信框架

Posted in

• 其他

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

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

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