安全关键系统中 Rust 认证的深度工程实践：从 ISO 26262 ASIL-D 到 DO-178C DAL-A
Rust如何进入安全关键系统领域：Ferrocene编译器认证、Rust-C FFI安全边界设计、Kani/Verus形式化验证实战、ISO 26262/DO-178C认证工程实践全解析
嵌入式
Linux GPIO 子系统深度实战：从内核驱动到 libgpiod 生产级应用
全面解析Linux内核GPIO子系统：从GPIO硬件基础、旧版sysfs接口、新版gpiochardev架构，到用户空间libgpiod库的C与Python生产级编程实战。涵盖设备树绑定、控制器驱动框架gpiolib、中断处理、硬件去抖动支持、批量原子操作、sysfs至libgpiod迁移指南，附完整驱动代码与调试方法。
Linux IIO 子系统深度工程实践：从 ADC 驱动到工业级数据采集
Linux IIO（Industrial IO）子系统深度工程实践指南。从 MCP3208 ADC 驱动开发入手，完整覆盖通道规格定义、设备树绑定、Triggered Buffer 采集、DMA 优化、IMU 多传感器融合、PTP 硬件时钟同步等全部生产级环节。包含完整的驱动代码示例、性能基准测试数据、以及工业数据采集系统的模块化架构设计。
