基于可执行规约的红外热像仪设计方法

摘要

基于可执行规约的红外热像仪设计方法。本方法提出了高速通道的“三层设计模型”、“UML模型”和“Petri网模型”，以及红外热像仪的设计方法学。其中，三层设计模型为SoC设计提供系统结构框架：顶层模块界定各模块功能及接口信号，第二层指出功能构件状态转换路径，第三层就是上述设计对象的逻辑功能描述和具体实现；UML语义既能够描述PIMs，也适合PSMs中软硬件实现。既具有精确的形式化语义，又具有直观易懂的可视化特点；相比于传统的状态机，Petri网模型能够反映资源流动、时间、数值、并行等属性，为更高级的控制器设计提供支撑。基于上述模型设计方法学给出了高速通道的三层设计结构图、功能构件部署图、状态图模型、活动图模型、控制器Petri网模型及其设计，从而为基于可执行规约设计红外热像仪提供了方法指南。