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

A Method of Embedded System Design Based on Synchronous Language SIGNAL

作　　者：齐晓斌[1] 钟珊[1] 

机构地区：[1]中国航空计算技术研究所,陕西西安710068

出　　处：《航空计算技术》2009年第5期76-79,共4页Aeronautical Computing Technique

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

关 键 词：SIGNALl POLYCHRONY 系统设计 PDS 堆栈 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]