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