航空计算技术
航空計算技術
항공계산기술
AERONAUTICAL COMPUTER TECHNIQUE
2009年
5期
76-79
,共4页
SIGNALl%POLYCHRONY%系统设计%PDS%堆栈
SIGNALl%POLYCHRONY%繫統設計%PDS%堆棧
SIGNALl%POLYCHRONY%계통설계%PDS%퇴잔
简要介绍同步语言SIGNAL,并讨论了一种在POLYCHRONY平台下的嵌入式系统设计方法,同时以有限LIFO堆栈为例进行说明.方法主要是利用SIGNAL进行组件建模,它强调把形式化技术放到验证、分析以及代码生成中.
簡要介紹同步語言SIGNAL,併討論瞭一種在POLYCHRONY平檯下的嵌入式繫統設計方法,同時以有限LIFO堆棧為例進行說明.方法主要是利用SIGNAL進行組件建模,它彊調把形式化技術放到驗證、分析以及代碼生成中.
간요개소동보어언SIGNAL,병토론료일충재POLYCHRONY평태하적감입식계통설계방법,동시이유한LIFO퇴잔위례진행설명.방법주요시이용SIGNAL진행조건건모,타강조파형식화기술방도험증、분석이급대마생성중.
