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
有关论文范文主题研究: | 关于博士生的论文范文素材 | 大学生适用: | 专升本毕业论文、高校毕业论文 |
---|---|---|---|
相关参考文献下载数量: | 25 | 写作解决问题: | 本科论文怎么写 |
毕业论文开题报告: | 论文任务书、论文总结 | 职称论文适用: | 核心期刊、中级职称 |
所属大学生专业类别: | 本科论文怎么写 | 论文题目推荐度: | 优质选题 |
(Institute of Electronics, CAS)