|
|||||
|
|
| SIGNAL模型多线程代码生成研究 | |
| 作者单位： | ;1.南京航空航天大学计算机科学与技术学院 |
| 摘 要： | 反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入,对输入进行计算,并将计算结果反馈到外部环境来控制系统的行为。同步语言是一种规约反应式系统的建模语言,同步语言的优势在于支持形式化验证和精确的代码自动生成。面向多时钟同步语言SIGNAL,提出了一种SIGNAL模型到多线程Java代码生成过程。该代码生成过程基于以下3种中间结构:同步时钟卫式操作、卫式操作和带划分的卫式操作。将整个代码生成过程分为4个主要转化步骤,给出每一步转化规则。最后对空客A340的警报系统进行实例分析,评估生成代码的正确性。多线程Java代码生成可以为SIGNAL模型在分布式和多核体系下的应用提供支撑。 |
| 关 键 词： | 反应式系统 同步语言 SIGNAL 代码生成 卫式操作 |
Research on Multi-Threaded Code Generation of SIGNAL Models |
|
| Abstract: | |
| Keywords: | |