论文纲要：同步谈话Signal的多核代码机动天生本领接洽与实行

安定要害及时体例普遍运用于宇航电子、航天器、公共汽车遏制等范围。因为该类体例资源受限，功效搀杂性日益减少，运用多核本领将变成兴盛趋向。而多核平台的并路途序不只编写越发艰巨而且更易堕落，怎样保护体例运转的确凿大肆及真实性是学术上和运用上的要害题目。情势化本领具备透彻的语法和语义扶助体例本质的考证和领会，并扶助将考证后的模子机动天生代码，仍旧在单核平台上产生很多表面及运用接洽功效，但在多核平台上的接洽还方才发端，面对很多的科学题目，正文鉴于一种普遍运用于安定要害及时体例安排的情势谈话——同步谈话，接洽其在多核平台上的并行仿真代码天生关系要害题目。  暂时几种合流的同步谈话，囊括 Esterel、Lustre 及 Signal 等都供给了编写翻译器以将同步规格机动天生仿真代码。但是暂时的Signal 编写翻译器沿用的时钟验算及多线程代码天生本领仍有连接矫正的空间。正文采用同步谈话 Signal 动作接洽东西，将对 Signal的时钟验算本领举行接洽，并采用已被普遍运用的跨平台并行编制程序本领OpenMP 动作变换目的，接洽在多核平台下从Signal步调到OpenMP并行仿真代码的机动天生本领，并实行代码天生东西的原形。  开始，Signal 谈话代码天生的一个要害办法是领会时钟联系，天生时钟树。对准现偶尔钟验算本领生存的题目，正文提出了一种鉴于布尔方程领会的时钟验算本领。获得的时钟树将在包括时钟消息的基础下，保护数据依附的精确性，同常常钟将被尽管更深地惠存到时钟树中，以天生功效更高的串行仿真代码。  其次，正文提出了鉴于方程依附图（EDG）的并行代码天生本领。经过领会Signal步调，获得包括旗号间数据依附联系的 EDG。贯串时钟消息，对 EDG 举行分别，获得步调不妨并行实行的局部，最后被映照到OpenMP 的构造中，进而获得符合多核平台的 OpenMP 并行仿真代码。  结果，运用 Java谈话对上述时钟验算及代码天生本领举行实行，开拓了一个扶助从 Signal 步调到串行 C 及 OpenMP 并行仿真代码的机动天生东西原形， 并将其以插件的情势集成在嵌入式体例集成开拓平台 TOPCASED 中。经过一个简直的 Signal 步调示例对代码天生的进程举行证明并考证变换的灵验性。