珍珠

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