OpenTSN4.0开源项目的新特性：（1）交换平面深度解耦，硬件代码由TSS（时间敏感交换），TSE（时间敏感端），HCP（硬件控制点）和OEM（Opensync MAC）实现。（2）集成了TSN硬件测试工具流量规划生成器TSNBuilder、TSN流量测试仪，用户可根据需要运行OpenTSN4.0交换机、网卡、控制器来进行实验验证。
BDSim由测控导航国地中心研发并由北斗开放实验室开源。 其可模拟卫星运行真实环境，提供多样化的场景仿真以及数据分析功能，能直观、全面地展现卫星导航系统的运作机理及运行流程。BDSim以“专业特色、兼容并包”为理念，构建了系统级仿真对象，具备空间段、地面段、用户段和环境段全系统场景设计和仿真；具备丰富全面的仿真产品，可生成轨道、钟差、电离层、各类观测数据等，并支持Rinex标准格式数据文件。
软件形式化验证（Software formal verification）
Interface of a state machine for implementing fault-tolerant components https://github.com/ropod-project/ftsm
