[发明专利]一种支持多种时序约束的嵌入式系统仿真方法与装置

权利要求书

1.一种支持多种时序约束的嵌入式系统仿真方法，其特征在于，包括：

建立嵌入式系统的任务模型，其中，所述任务模型包括周期任务、偶发任务、随机任务和事件触发任务；

定义任务触发关系；

定义任务间通信模型；

定义系统资源模型；

定义任务资源访问控制模型；

定义数据访问控制模型；

设置仿真参数；

根据所述任务模型、所述任务触发关系、所述任务间通信模型、所述系统资源模型、所述任务资源访问控制模型、所述数据访问控制模型和所述仿真参数对所述嵌入式系统进行仿真处理；其中，所述仿真处理包括：在每个仿真步开始时，判断当前仿真步数是否小于等于仿真次数，其中，所述仿真次数是根据所述仿真参数中的仿真总时长和仿真步长确定；若所述当前仿真步数小于等于所述仿真次数，则进行所述仿真步的仿真，依次执行任务释放作业、作业调度、资源分配、数据分配、作业产生消息、作业依赖消息、作业产生数据、作业依赖数据以及资源回收操作；若所述当前仿真步数大于所述仿真次数，则仿真结束。

2.根据权利要求1所述的方法，其特征在于，建立嵌入式系统的任务模型，包括：

根据所述嵌入式系统抽象出所述任务模型，其中，所述任务模型的表达式如下：

其中，C表示任务的最坏情况执行时间；D表示任务时限；T表示所述周期任务的周期或所述偶发任务的最小到达间隔；P表示任务优先级；SYNC表示任务的同步类型；et表示任务执行时间抖动；srt表示任务第一次释放作业的时间；Θ表示随机任务释放时间集合，Θ＝{rt₁,...,rt_n}；rj表示任务释放作业时间抖动；type表示任务类型；PT表示所述周期任务；ST表示所述偶发任务；AT表示所述随机任务；ET表示所述事件触发任务。

3.根据权利要求1所述的方法，其特征在于，定义任务触发关系，包括：

任务释放的作业在执行完成后触发另一个任务释放作业，其中，所述任务触发关系定义为：

其中，τ_k、τ_j表示τ_i的作业触发的任务；at_k表示τ_i的作业执行at_k时长后触发任务τ_k；at_j表示τ_i的作业执行at_j时长后触发任务τ_j；C_i表示任务τ_i的最坏情况执行时间。

4.根据权利要求1所述的方法，其特征在于，定义任务间通信模型，包括：

任务在执行的过程中产生对消息的依赖，所述消息由其它任务产生，当所述任务依赖的消息存在时，所述任务继续执行，否则将被阻塞直至所述消息到达；其中，在所述任务的同步类型为true时，所述任务释放的作业产生消息后会被阻塞，直至所述任务产生的消息被其它作业使用；在所述任务的同步类型为false时，所述任务释放的作业产生消息后无需等待回令继续执行；

其中，任务τ_i产生消息的表达式如下：

其中，mn表示作业产生消息的名称；mt表示作业产生消息的时间；C_i表示任务τ_i的最坏情况执行时间；

作业在执行过程中依赖多个消息，任务τ_i在执行过程中依赖消息的表达式如下：

其中，dmn表示作业依赖消息的名称；dmt表示作业依赖消息的时间；C_i表示任务τ_i的最坏情况执行时间。

5.根据权利要求1所述的方法，其特征在于，所述系统资源模型的表达式如下：

ω＝{name,num}

其中，ω表示被申请的资源；name表示申请资源的名称；num表示申请资源的数量。