珍珠

应用PEARL规范对分布式实时应用进行建模研究提出了一种基于PEARL规范的嵌入式控制系统软硬件协同设计方法。硬件和软件用PEARL语言规范建模,它起源于标准的多处理器PEARL。它_的_有用_性_增强_了_对_分层_和_非_对称_多_处理器_系统_的_建模_ , _并_增加_了_可_调度_性_分析_的_参数_ 。_在其构造中引入了图形符号,以便在保持语义背景的同时启用图形建模。它是一个基于PEARL编程模型的程序的超级层。为了对程序任务建模,定义了定时状态转换图。通过联合仿真验证了协同设计系统模型的可行性。当考虑当前设计中的变更,以产生一个时间上可行的模型时,应该使用得到的信息。为了支持动态重配置,在模型中引入了配置管理。由于UML正在成为设计嵌入式控制系统的事实标准,并且由于定时状态转换图和状态图具有很大的相似性,因此使用UML的扩展机制,定义了一个与uml2的方法接口。