一种基于高速协议通道的实时微内核系统及其初始化方法

摘要

本发明涉及一种基于高速协议通道的实时微内核系统及其初始化方法，所述微内核系统包括依次连接的程序功能模块、系统任务模块以及硬件，其中，程序功能模块用于接收用户的任务需求，系统任务模块用于控制硬件响应用户的任务需求，并且，系统任务模块中设置有高速协议通道，通过通用原语直接请求任务执行。本发明提供的基于高速协议通道的实时微内核系统及其初始化方法，通过构建形式化验证的HSPC微内核操作系统并完善高速协议通道的部署，配合终端处置模块，真正实现了工控领域对实时安全操作系统的业务需求。