利用SIGNAL编程语言设计嵌入式系统——同步，反应式规约

• 作者: 刘晓红
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: SIGNAL 语言设计 嵌入式系统 反应式 同步 安全关键系统 编程 利用
• 年，卷（期）: 2010,（12）
• 页码范围: 15-16
• 页数: 2页
• 分类号: TP312

摘要

同步语言诞生于20世纪80年代初期，由于其利于反应式、嵌入式及实时系统的行为分析，在设计安全关键系统方面具有很强的优越性，引起了学者及工业界的极大关注及研究兴趣。SIGNAL语言是一种同步语言，但不同于其他同步语言的是，SIGNAL语言建立的数学时间模型，采用的是一种局部时序关系，描述多时钟系统时不需要考虑时序基准时钟，在安全关键系统的设计中更为实用。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晓红	中国科学院电子所	43	158	8.0	12.0