| 基于同步语言SIGNAL的一种系统设计方法 |
| |
| 引用本文： | 齐晓斌,钟珊.基于同步语言SIGNAL的一种系统设计方法[J].航空计算技术,2009,39(5):76-79. |
| |
| 作者姓名： | 齐晓斌 钟珊 |
| |
| 作者单位： | 中国航空计算技术研究所,陕西,西安,710068 |
| |
| 摘 要： | 简要介绍同步语言SIGNAL,并讨论了一种在POLYCHRONY平台下的嵌入式系统设计方法,同时以有限LIFO堆栈为例进行说明。方法主要是利用SIGNAL进行组件建模,它强调把形式化技术放到验证、分析以及代码生成中。
|
| 关 键 词： | SIGNALl POLYCHRONY 系统设计 PDS 堆栈 |
A Method of Embedded System Design Based on Synchronous Language SIGNAL |
| |
| QI Xiao-bin,ZHONG Shan.A Method of Embedded System Design Based on Synchronous Language SIGNAL[J].Aeronautical Computer Technique,2009,39(5):76-79. |
| |
| Authors: | QI Xiao-bin ZHONG Shan |
| |
| Institution: | (Aeronautical Computing Technique Research Institute ,Xi＇an 710068, China) |
| |
| Abstract: | This paper briefly introduced synchronous language SIGNAL,and discussed a method of embedded system design on POLYCHRONY platform,and at the same time used an example of limited LIFO stack to discribe this method.This method mainly used SIGNAL for components modeling,and emphasized to put formal techniques on the process of verification,analysis and code′s generation. |
| |
| Keywords: | SIGNALl POLYCHRONY PDS |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
