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

A Method of Embedded System Design Based on Synchronous Language SIGNAL

简要介绍同步语言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.