国产有代表性的嵌入式RTOS主要包括：1、深圳商夏高科的RTOS名称是什么？2、电子科技大学“道系统”名称是什么？3、中科院凯思公司的RTOS名称是什么？4、广州周立功公司的RTOS名称是什么？