[发明专利]基于数字化微内核的实时动态调度策略测试方法

摘要

数字化微内核的实时动态调度策略测试方法，其对系统的调度是基于微内核本身的调度策略，数字化微内核动态调度的实质就是针对复杂的任务需求实现任务调度的精准性以及任务调度的实时性，满足系统对精准时间和执行逻辑的要求，其将数字化微内核以及逻辑应用抽象为一个动态实时对象，对其资源包括系统资源以及应用资源进行统一建模，通过模型的表现行为，动态以相对时间跟踪记录模型中资源的实时逻辑行为，通过分析实时逻辑行为时序报告，测试其系统运行的实时性以及精准性。

主权项

数字化微内核的实时动态调度策略测试方法，包括如下步骤：第一步、根据数字化微内核运行资源分配状态，抽取系统级资源配置参数，包括：系统任务数目、系统任务优先级、系统信号量、消息队列运行模式及其配置信息，建立系统级资源时序分析矩阵；第二步、根据数字化智能设备应用特性及抽象应用资源的分配状态，抽取应用资源配置参数，包括：系统应用任务数目、应用任务优先级、应用系统信号量、消息队列运行模式及其配置信息，建立应用任务级资源时序分析矩阵；第三步、根据系统级资源配置参数、应用资源配置参数以及应用触发条件，建立数字化微内核行为模型；第四步、根据数字化微内核行为模型，建立数字化微内核调度时序相对时钟；统一抽象动态时序跟踪点，生成动态时序逻辑描述对象，建立动态跟踪对象监视模型；第五步、根据动态对象监视模型，设置动态跟踪对象输入矩阵、动态跟踪对象输出矩阵；第六步、根据在线监测情况，启动动态跟踪对象触发条件，所述触发条件包含有：数字化微内核实时动态调度策略约束条件、边界条件、时序配合条件以及时间精准条件；第七步数字化微内核根据各种触发条件执行实时动态调度，根据预置调度策略生成过程时序图以及生成动态对象集合记录。