7、实时系统UML标准执行模型扩展与FlexRay网络任务迁移

实时系统UML标准执行模型扩展与FlexRay网络任务迁移

实时系统UML标准执行模型扩展

在可执行UML模型的基础子集（fUML）执行模型中，当前的执行方式是纯顺序的，确定下一个要调度动作的机制被埋藏在每个ActionExecution访问者类的实现中。若要使执行模型易于针对实时领域进行定制，就需要将调度方面从访问者类中提取出来，并添加一个明确的实体来负责动作执行的调度。

目前的执行模型架构并不适合实时领域的需求，因为它缺乏明确的实体来描述调度规则，也没有可用于同步运行中活动对象的同步原语。为了解决这个问题，可以借鉴基于模型的并发系统模拟中的现有解决方案。

相关工作

• SystemC ：在硬件描述语言（HDLs）领域，SystemC是解决在非并发设计平台上模拟并发硬件系统问题的典型方案。它由一组C++扩展、类定义和模拟内核组成，核心是基于事件驱动的模拟器。进程是行为，事件是同步点，SystemC调度器控制进程执行的时间、顺序并处理事件通知，还提供了同步和通知进程的原语，如wait()和notify()。可以将类似机制集成到fUML执行模型中，添加调度器和相关原语。
• Ptolemy ：专注于并发、实时、嵌入式系统的建模、模拟和设计。基于参与者的概念，参与者通过端口进行通信，模型由参与者和端口间的关系构建，由导演负责解释端口关系和端口上可用的值。Ptolemy有多种导演，支持离散事件和进程网络等多种计算模型，其导演/参与者架构灵活，可支持多种执行语义。对于fUML执行模型，可以将活动对象和/或动作执行视为参与者，负责调度的实体视为Ptolemy导演