基于同步语言SIGNAL的一种系统设计方法

• 作者: 钟珊 齐晓斌
• 来源期刊: 航空计算技术
• 关键词: SIGNALl POLYCHRONY 系统设计 PDS 堆栈
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 计算机软件
• 页码范围: 76-79
• 页数: 4页
• 分类号: TP312
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2009.05.021

摘要

简要介绍同步语言SIGNAL,并讨论了一种在POLYCHRONY平台下的嵌入式系统设计方法,同时以有限LIFO堆栈为例进行说明.方法主要是利用SIGNAL进行组件建模,它强调把形式化技术放到验证、分析以及代码生成中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟珊		4	22	2.0	4.0
2	齐晓斌		4	7	2.0	2.0