SIGNAL模型多线程代码生成研究

• 作者: 杨志斌 阚双龙 黄志球
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 反应式系统 同步语言 SIGNAL 代码生成 卫式操作
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 学术研究
• 页码范围: 536-549
• 页数: 14页
• 分类号: TP311
• 字数: 9886字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1704008

摘要

反应式系统是指与环境不断发生交互的控制系统.这类系统通过接收外部环境输入,对输入进行计算,并将计算结果反馈到外部环境来控制系统的行为.同步语言是一种规约反应式系统的建模语言,同步语言的优势在于支持形式化验证和精确的代码自动生成.面向多时钟同步语言SIGNAL,提出了一种SIGNAL模型到多线程Java代码生成过程.该代码生成过程基于以下3种中间结构:同步时钟卫式操作、卫式操作和带划分的卫式操作.将整个代码生成过程分为4个主要转化步骤,给出每一步转化规则.最后对空客A340的警报系统进行实例分析,评估生成代码的正确性.多线程Java代码生成可以为SIGNAL模型在分布式和多核体系下的应用提供支撑.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	阚双龙	南京航空航天大学计算机科学与技术学院	15	132	5.0	11.0
3	杨志斌	南京航空航天大学计算机科学与技术学院	7	10	1.0	3.0