可信实时操作系统 TRT-OS（技术）

可信实时操作系统TRT-OS 商业计划书

一、项目背景

目前计算机已经渗透到各行各业，在各行各业中发挥着愈来愈重要的作用。不过目前的

计算机体系也存在着一些弊端，比如安全性，由于调度单元存在不确定性，系统的行为不是

完全可预知的，另外由于系统的安全策略不太灵活，有可能产生漏洞，并且不容易修复。

我们设计了一套系统设计阶段，可以完全确定系统的调度序列的微内核实时操作系统模

型TRT-OS（Trusted Real-Time Operating System），并且系统模型简洁明了，很方便实现策略

与机制分离的模型，系统的安全策略灵活可定制，相比传统的操作系统更容易实现灵活的安

全策略，漏洞更少，更容易修复。

二、市场机会

目前所有的使用计算机的场景，基本都会使用操作系统。本系统完成之后，对操作系统

做了大幅的改进，尤其是对实时性，可靠性要求比较高的领域，会有旺盛的需求。简单列一

下潜在的应用场景：

1. 手机TEE 系统

2. 航空航天领域

3. 轨道交通领域

4. 自动驾驶领域

5. 高端商用路由器

6. 工业机器人

三、产品介绍

1. 公司提供一系列产品，以一个TRT-OS 微内核为中心，提供上层软件和周边服务。下

图是TRT-OS 的整体架构图，微内核架构保证系统内核足够简单，容易保证内核代码的正确

性，各个组件相对独立，松耦合紧内聚，应用程序也容易实现策略和机制分离的设计。传统

的操作系统基本都是基于时钟中断的tick 驱动的系统，调度执行的时候，进程是一种无序的

方式往前执行的。系统的同步要通过IPC 机制，互斥锁，信号量等来实现，整体代码复杂，

不太好维护。我们基于特殊的内核调度方案，可以实现具有确定性的调度序列，也即是系统

的每个线程谁先执行谁后执行，谁接着谁执行，是可以预先完全确定下来的，提高了系统的

确定性，可靠性，容易实现可信系统，对嵌入式实时系统来说是革命性改进，有较大的技术

壁垒。并且由于内核简化后足够简单，将来准备实现形式化证明的RTOS 内核，进一步保证

系统的正确性，安全性，可靠性，技术壁垒明显。

2. 为方便客户开发，需要提供IDE 工具，可以开发基于Eclipse 的IDE 开发工具。IDE 除

了基本的代码开发和调试功能外，还要集成对系统代码的确定性分析功能，以及其他一些帮

助统计分析的组件，比如调度序列分析图，分析内存使用情况，内存漏洞检测分析，消息传

递统计，各阶段延时分析，热点代码提取，资源使用情况分析。

3. 可以为各个行业编写一些模板应用，方便客户快速实现自己的业务模型方案。

4. 提供系统设计咨询服务

5. 提供系统可信行为验证服务

6. 售卖专为TRT-OS 设计的硬件方案

四、商业模式

前期主要走授权和咨询服务模式，后期还会售卖硬件产品。

TRT-OS 收费组件源代码授权

IDE 工具授权

为TRT-OS 专门设计芯片，并基于芯片TRT-OS 提供行业解决方案。

五、团队组织

待完善

六、战略规划

1. 目标

短期目标：两年成为国内实时系统的领导者，成为手机厂商TEE 系统的供应商。

进阶目标：三内成为自动驾驶系统底层系统的供应商。

长期目标：五年为TRT-OS 系统开发专用芯片，进一步提升系统在实时性，安全性

等方面的指标。

远大目标：抽离芯片设计方案与新型计算机架构方案，产品化，服务化

2. 实现路径

(1) 前期目标实现路径：

1. 快速组建核心技术团队，开发完善产品和服务

(1) 第一阶段：敏捷产品迭代

a. 在不同平台移植TRT-OS

b. TRT-OS 的形式化证明

c. 可信编译器（前期先购买）

d. 提供常用接口驱动，网络协议栈

e. 开发IDE 环境

(2) 第二阶段：开发特定应用模板

a. 提供现有系统移植到TRT-OS 的工具

b. 手机TEE

c. 自动驾驶系统

d. ...

(3) 第三阶段：客户支持与服务

a. 客户必要产品支持

b. 提供额外咨询服务

c. 提供可信系统的证明服务

2. 推广市场，赢取客户

(1) 形式化证明系统正确性，安全有保障

(2) 安全认证，双保证

(3) 性能测试数据，实际数据说话，深圳举办黑客大会，寻找漏洞

(4) 手机TEE 系统项目模板，各种指标参数

3. 获取利润，企业正向发展

(1) 逐步吸引优秀人才和投资方加入

(2) 利润再投入研发，分红

4. 向下一阶段目标靠近

3. 资源投入

(1) 公司有型资产投入：服务器，办公电脑，办公用品投入

(2) 移植TRT-OS 到ARM、RISCV、x86、Loongsun 等平台，投入5 人月

(3) TRT-OS 高度集成IDE 开发，12 人月

(4) BSP 驱动开发，常用接口Uart、I2C、SPI、CAN 总线，投入3 人月

(5) TRT-OS 形式化证明，12 人月

(6) 可信编译器，前期购买，后期自己开发，24 人月

(7) 拟引入种子轮投资：1000 万元，占股10%

七、风险管控

1. 外部政策对计算机软硬件创业是利好消息，尤其是自动驾驶领域，是最近的热门领

域。

2. 由于疫情影响，经济形式没有以前那么好，但是对卡脖子的芯片、计算机基础软件

来说影响不大。

3. 前期主要是软件产品，生产销售风险较低，但是软件产品质量是一个风险点，需要

进行安全认证

4. 商业模式为成熟的授权加服务模式

5. 重要岗位资深专业人士，团队能力有保障

6. 具体行业招募资深人士负责行业应用，降低行业业务风险

7. 专门财务人员，降低财务违法风险

8. 产品优势明显，获客容易

9. 根据团队特点因地制宜制定管理策略

10. 扁平化组织管理，合作高效

11. 股权激励，团队主人翁意识，降低团队稳定性风险

八、融资计划

1．天使轮

入驻孵化器，获得天使轮融资，计划融资1000 万。

2．A、B、C 轮融资待定

可信实时操作系统TRT-OS 商业计划书

一、项目背景

目前计算机已经渗透到各行各业，在各行各业中发挥着愈来愈重要的作用。不过目前的

计算机体系也存在着一些弊端，比如安全性，由于调度单元存在不确定性，系统的行为不是

完全可预知的，另外由于系统的安全策略不太灵活，有可能产生漏洞，并且不容易修复。

我们设计了一套系统设计阶段，可以完全确定系统的调度序列的微内核实时操作系统模

型TRT-OS（Trusted Real-Time Operating System），并且系统模型简洁明了，很方便实现策略

与机制分离的模型，系统的安全策略灵活可定制，相比传统的操作系统更容易实现灵活的安

全策略，漏洞更少，更容易修复。

二、市场机会

目前所有的使用计算机的场景，基本都会使用操作系统。本系统完成之后，对操作系统

做了大幅的改进，尤其是对实时性，可靠性要求比较高的领域，会有旺盛的需求。简单列一

下潜在的应用场景：

1. 手机TEE 系统

2. 航空航天领域

3. 轨道交通领域

4. 自动驾驶领域

5. 高端商用路由器

6. 工业机器人

三、产品介绍

1. 公司提供一系列产品，以一个TRT-OS 微内核为中心，提供上层软件和周边服务。下

图是TRT-OS 的整体架构图，微内核架构保证系统内核足够简单，容易保证内核代码的正确

性，各个组件相对独立，松耦合紧内聚，应用程序也容易实现策略和机制分离的设计。传统

的操作系统基本都是基于时钟中断的tick 驱动的系统，调度执行的时候，进程是一种无序的

方式往前执行的。系统的同步要通过IPC 机制，互斥锁，信号量等来实现，整体代码复杂，

不太好维护。我们基于特殊的内核调度方案，可以实现具有确定性的调度序列，也即是系统

的每个线程谁先执行谁后执行，谁接着谁执行，是可以预先完全确定下来的，提高了系统的

确定性，可靠性，容易实现可信系统，对嵌入式实时系统来说是革命性改进，有较大的技术

壁垒。并且由于内核简化后足够简单，将来准备实现形式化证明的RTOS 内核，进一步保证

系统的正确性，安全性，可靠性，技术壁垒明显。

2. 为方便客户开发，需要提供IDE 工具，可以开发基于Eclipse 的IDE 开发工具。IDE 除

了基本的代码开发和调试功能外，还要集成对系统代码的确定性分析功能，以及其他一些帮

助统计分析的组件，比如调度序列分析图，分析内存使用情况，内存漏洞检测分析，消息传

递统计，各阶段延时分析，热点代码提取，资源使用情况分析。

3. 可以为各个行业编写一些模板应用，方便客户快速实现自己的业务模型方案。

4. 提供系统设计咨询服务

5. 提供系统可信行为验证服务

6. 售卖专为TRT-OS 设计的硬件方案

四、商业模式

前期主要走授权和咨询服务模式，后期还会售卖硬件产品。

TRT-OS 收费组件源代码授权

IDE 工具授权

为TRT-OS 专门设计芯片，并基于芯片TRT-OS 提供行业解决方案。

五、团队组织

待完善

六、战略规划

1. 目标

短期目标：两年成为国内实时系统的领导者，成为手机厂商TEE 系统的供应商。

进阶目标：三内成为自动驾驶系统底层系统的供应商。

长期目标：五年为TRT-OS 系统开发专用芯片，进一步提升系统在实时性，安全性

等方面的指标。

远大目标：抽离芯片设计方案与新型计算机架构方案，产品化，服务化

2. 实现路径

(1) 前期目标实现路径：

1. 快速组建核心技术团队，开发完善产品和服务

(1) 第一阶段：敏捷产品迭代

a. 在不同平台移植TRT-OS

b. TRT-OS 的形式化证明

c. 可信编译器（前期先购买）

d. 提供常用接口驱动，网络协议栈

e. 开发IDE 环境

(2) 第二阶段：开发特定应用模板

a. 提供现有系统移植到TRT-OS 的工具

b. 手机TEE

c. 自动驾驶系统

d. ...

(3) 第三阶段：客户支持与服务

a. 客户必要产品支持

b. 提供额外咨询服务

c. 提供可信系统的证明服务

2. 推广市场，赢取客户

(1) 形式化证明系统正确性，安全有保障

(2) 安全认证，双保证

(3) 性能测试数据，实际数据说话，深圳举办黑客大会，寻找漏洞

(4) 手机TEE 系统项目模板，各种指标参数

3. 获取利润，企业正向发展

(1) 逐步吸引优秀人才和投资方加入

(2) 利润再投入研发，分红

4. 向下一阶段目标靠近

3. 资源投入

(1) 公司有型资产投入：服务器，办公电脑，办公用品投入

(2) 移植TRT-OS 到ARM、RISCV、x86、Loongsun 等平台，投入5 人月

(3) TRT-OS 高度集成IDE 开发，12 人月

(4) BSP 驱动开发，常用接口Uart、I2C、SPI、CAN 总线，投入3 人月

(5) TRT-OS 形式化证明，12 人月

(6) 可信编译器，前期购买，后期自己开发，24 人月

(7) 拟引入种子轮投资：1000 万元，占股10%

七、风险管控

1. 外部政策对计算机软硬件创业是利好消息，尤其是自动驾驶领域，是最近的热门领

域。

2. 由于疫情影响，经济形式没有以前那么好，但是对卡脖子的芯片、计算机基础软件

来说影响不大。

3. 前期主要是软件产品，生产销售风险较低，但是软件产品质量是一个风险点，需要

进行安全认证

4. 商业模式为成熟的授权加服务模式

5. 重要岗位资深专业人士，团队能力有保障

6. 具体行业招募资深人士负责行业应用，降低行业业务风险

7. 专门财务人员，降低财务违法风险

8. 产品优势明显，获客容易

9. 根据团队特点因地制宜制定管理策略

10. 扁平化组织管理，合作高效

11. 股权激励，团队主人翁意识，降低团队稳定性风险

八、融资计划

1．天使轮

入驻孵化器，获得天使轮融资，计划融资1000 万。

2．A、B、C 轮融资待定