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

　　Abdoulaye Gamatié 　　Designing Embedded 　　Systems with the SIGNAL 　　Programming Language
　　Synchronous, Reactive Specification
　　2010
　　Hardback
　　ISBN9781441909404
　　
　　Abdoulaye Gamatié著
　　同步语言诞生于20世纪80年代初期，由于其利于反应式、嵌入式及实时系统的行为分析，在设计安全关键系统方面具有很强的优越性，引起了学者及工业界的极大关注及研究兴趣。SIGNAL语言是一种同步语言，但不同于其他同步语言的是，SIGNAL语言建立的数学时间模型，采用的是一种局部时序关系，描述多时钟系统时不需要考虑时序基准时钟，在安全关键系统的设计中更为实用。
　　本书分为四部分及附录，共13章。第一部分介绍实时及同步编程，含第1-2章。1.实时编程的概述；2.同步编程的介绍。第二部分描述了SIGNAL语言中元素的概念及符号，含第3-6章。3.信号及其基本关系介绍；4.编程的单元：进程的定义；5.扩展概念；6.在POLYCHRONY环境下的初步设计。第三部分介绍SIGNAL编程的形式特性，含第7-9章。7.形式语法；8.程序分析的形式模型；9.程序的编译。第四部分介绍SIGNAL语言的高级设计，含第10-13章。10.高级设计概念；11.全局非同步而局部同步的GALS（Globally Asynchronous, Locally Synchronous）系统的设计；12.设计的模式；13.基于POLYCHRONY的同步实例设计。附录A.编译命令集和Makefile文件的自动生成；附录B.SIGNAL语言的语法。同时在书后还附有练习题的解答。
　　本书作者Abdoulaye Gamatié在读博士期间就对POLYCHRONY模型的开发做过相关研究，在法国雷恩第一大学及里尔第一大学曾教授“实时编程”课程，已将SIGNAL语言及POLYCHRONY工具成功运用于实际系统的设计。
　　本书从概念到设计实例对SIGNAL语言作了全面详尽的介绍，对研究人员及专业人员来说是很有价值的参考用书，也可作为相关专业研究生的教材。
　　刘晓红，
　　博士生
　　（中国科学院电子所）
　　Liu Xiaohong, Doctoral Candidate
　　(Institute of Electronics, CAS)