Posted in Go语言基础和工具链Golang 1.22+arena在实时注塑机压力曲线分析中的突破：GC周期从12ms降至187μs，已通过IEC 61508 SIL2预认证 第一章：Golang 1.22+ … Golang 1.22+arena在实时注塑机压力曲线分析中的突破：GC周期从12ms降至187μs，已通过IEC 61508 SIL2预认证Read more by 调试大师|2026年8月25日|IEC104通信框架, golang-go包弃用, arena内存管理器, 61508, 功能安全SIL2评估, 1.22编译原理, 实时注塑机, 压力曲线分析
Posted in 其他Golang字符串二进制转换的军工级实践：符合DO-178C/IEC 61508的确定性转换模式（附形式化验证脚本） 第一章：Golang字符串二进制 … Golang字符串二进制转换的军工级实践：符合DO-178C/IEC 61508的确定性转换模式（附形式化验证脚本）Read more by Go实战派|2026年8月9日|DO-178C标准, IEC104通信框架, Golang字符串转换, Coq形式化验证, 61508, Golang二进制转换
Posted in 其他从FreeRTOS到Golang RTOS：基于RISC-V的实时协程调度器原型（硬实时响应<5μs，已通过IEC 61508 SIL2认证） 第一章：Golang在物联网中应 … 从FreeRTOS到Golang RTOS：基于RISC-V的实时协程调度器原型（硬实时响应<5μs，已通过IEC 61508 SIL2认证）Read more by 云原生小白|2026年8月8日|RTOS协同, 61508, 功能安全SIL2评估, RISC-V实时系统, 硬实时调度器, golang-go包弃用, FreeRTOS
Posted in 其他Go实时任务调度器如何满足IEC 61508 SIL3？——基于时间触发调度TTA的Go实现与WCET静态分析工具链 第一章：Go实时任务调度器如何满 … Go实时任务调度器如何满足IEC 61508 SIL3？——基于时间触发调度TTA的Go实现与WCET静态分析工具链Read more by Go实战派|2026年8月6日|Go语言编程实践, IEC104通信框架, SIL3认证, 61508, 实时任务调度器, 时间触发调度（TTA）, WCET静态分析
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语言基础和工具链为什么IEC 61508 SIL3认证拒绝动态内存分配？——工业Go中unsafe.Slice替代方案与形式化验证实践 第一章：IEC 61508 SI … 为什么IEC 61508 SIL3认证拒绝动态内存分配？——工业Go中unsafe.Slice替代方案与形式化验证实践Read more by Go语言日常|2026年4月9日|61508, unsafe.Slice移除, IEC104通信框架, 动态内存分配, Coq形式化验证, SIL3认证
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 问题排查与答疑海思平台Golang实时性达标报告（USDT trace + ftrace双校验）：GC STW < 89μs，满足IEC 61508 SIL2要求 第一章：海思平台Golang实时 … 海思平台Golang实时性达标报告（USDT trace + ftrace双校验）：GC STW < 89μs，满足IEC 61508 SIL2要求Read more by Gopher的成长日记|2026年4月1日|IEC104通信框架, 61508, Golang实时性验证, 分布式TraceID注入, 功能安全SIL2评估, USDT对接, 海思平台
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语言基础和工具链Go嵌入式开发新范式：张燕妮基于TinyGo+RISC-V实现的实时GC停顿<5μs方案（已通过IEC 61508 SIL3认证） 第一章：Go嵌入式开发新范式：张 … Go嵌入式开发新范式：张燕妮基于TinyGo+RISC-V实现的实时GC停顿<5μs方案（已通过IEC 61508 SIL3认证）Read more by Go语言狂热者|2026年3月17日|Go-RISC-V, SIL3认证, 61508, Py+Go嵌入式开发, IEC104通信框架, TinyGo工具链, 实时垃圾回收调优
