20、基于语义的Simulink任务自动创建方法

基于语义的Simulink任务自动创建方法

1. 语义保留

在将Matlab Simulink模型进行转换以及后续的任务创建过程中，保留原始规范的语义是关键问题。Matlab Simulink模型本质上是无时间概念的，其模块执行和通信是即时的，不受延迟和抖动的影响。但在实际硬件上运行时，情况并非如此。此外，TBD模型遵循同步范式，而功能网络是基于消息传递通信的异步模型。当在这两种范式之间进行转换时，需要确保模块执行的顺序得以维持，并且每次执行时当前可用的输入与原始语义相匹配。

转换过程会维护由TBD结构所诱导的模块部分顺序，并通过功能网络中的相应事件来保留信号更新的顺序。对于一个同步集中的模块，其对应功能节点的所有输入通道都会被同步。每次模块执行时，其输出信号会更新，这在功能节点中通过每次激活时在每个输出端口产生一个事件来表示。不同同步集之间，功能节点充当速率转换的角色，从一个采样时间转换到另一个采样时间。

为了在平台上正确实现Matlab Simulink语义，还需要确保同步集中的所有功能在其关联的采样时间内执行。因此，我们从任何起始节点的激活到同步集的任何结束节点的完成执行定义（因果）截止时间，截止时间的长度由集合的周期定义。对于连接的同步集，需要在从源到汇的完整路径上定义进一步的截止时间，其长度由路径中任何集合的最小周期决定。这些截止时间可能是非因果的，具体取决于所涉及周期的关系。

1.1 同步集截止时间示例

同步集	截止时间长度
同步集1