RT-Thread是一个来自中国的开源物联网操作系统,它提供了非常强的可伸缩能力:从一个可以运行在ARM Cortex-M0芯片上的极小内核,到中等的ARM Cortex-M3/4/7系统,甚至是运行于MIPS32、ARM Cortex-A系列处理器上功能丰富系统
DC3是一个基于Spring Cloud的开源的、分布式的物联网(IOT)平台,用于快速开发物联网项目和管理物联设备,是一整套物联系统解决方案。
通过OpenEDI开源数据基础构件,用户将可以访问完全开源开放、接口丰富的、统一高效的数据库,算法库及计算架构,利用高效的内存与符号表管理功能,进行层次化设计和增量设计。 由于基于此基础构件开发的EDA工具之间没有数据壁垒,IC芯片的设计者能流畅地在不同设计工具之间切换而不用担心数据丢失,从而提高设计效率,缩短产品研发乃至上市时间,抢占市场。 EDA工具的开发者也能受益于该数据库,激发自己的灵感,设计出顶尖的点工具,从而推动整个IC设计产业链的发展。
EpicSim is a Verilog compiler. It is suitable for use as a simulator
TencentOS tiny 是腾讯面向物联网领域开发的实时操作系统,具有低功耗,低资源占用,模块化,安全可靠等特点,可有效提升物联网终端产品开发效率
IoTSharp 是一个 基于.Net Core 开源的物联网基础平台, 支持 HTTP、MQTT 、CoAp 协议, 属性数据和遥测数据协议简单类型丰富,是一个用于数据收集、处理、可视化与设备管理的 IoT 平台 QQ群:63631741
通过在云端进行智能边缘核心设备的建立、身份制定、策略规则制定、函数编写,然后生成配置文件下发;物联网设备网关技术架构设计(Session 管理、心跳管理、数据上行、数据下行)
YoMo是一个Streaming Serverless Framework,支持低时延边缘计算应用的开发。YoMo基于QUIC Transport和FRP范式,已被应用在工业互联网、物联网领域。
NaveGo: an open-source MATLAB toolbox for simulating integrated navigation systems.
基于Simulink和Flightgear的猎鹰9号软着陆仿真