21、自动化语义驱动：从Simulink创建任务及性能度量规范

自动化语义驱动：从Simulink创建任务及性能度量规范

在系统设计与性能评估领域，从Simulink模型创建任务以及准确规范性能度量是至关重要的环节。下面将详细介绍从Simulink创建任务的自动化语义方法以及结合CSRL和MSL的性能度量规范。

从Simulink创建任务的自动化语义方法

消除自环操作

自环消除操作会改变包含事件w和a的因果事件链。通过移除从w到a的子链，所有这些事件链会被缩短，具体是通过连接附属转换来实现。即使这些事件被完全移除，组件其余可观察事件的因果关系仍然得以保留。

例如，在图5a中，一个具有自激活功能的函数节点，其涉及的数据节点是该函数节点的局部节点。函数节点中的箭头表示两个依次执行的转换。在消除自激活并移除端口2和3后，两个转换被连接起来。虽然激活端口1仍然会像左侧那样在端口4产生事件，但现在两个转换作为一个转换执行，减少了可能的执行轨迹集。

图5b展示了另一个例子，涉及的数据节点有一个向另一个函数节点f2的输出激活通道。自环消除后，数据节点仍然存在，但指向f的回环通道被移除，输出端口2仍然存在以激活f2，从而保持了与f2的接口事件的因果关系。在时间方面，接口的任何输入和输出事件之间的延迟要么保持不变（如果不受自激活影响），要么会缩短，因为自激活的延迟（始终大于0）不再存在，同时任务切换次数也减少了。

任务创建算法

任务创建算法的目标是将函数节点划分为至少m个分区，同时最小化内聚函数并遵守用户定义的约束。该算法分两步进行：
1. 初始解决方案创建 ：
- 将每个节点n放入一个单独的分区。
- 对