实时、交互嵌入式系统的频率推导问题

摘要：

嵌入系统在严格的时间约束(外部约束)下连续地与外界环境相互作用,把这些外部约束转换成系统任务的时间预算(内部约束)是非常重要的.知道这些时间预算能降低系统设计与验证问题的复杂度,并有助于设计者对系统的功能和时间正确性从设计的一开始就能同步地控制.转换用系统的任务结构和从环境对系统的输入刺激的频率推导系统中每个任务的频率,推导出的任务频率被用来推导和验证其余的内部和外部约束.提出了一个广义任务图模型去表示系统的任务结构,并给出了推导和验证系统时间约束的方法和一个把它们融合在一起的硬件/软件协同设计方法.

关键词：频率推导、约束、广义任务图、嵌入式系统

所属期刊栏目：39

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金60173053

在线出版日期：2003-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：80-82,222