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

作     者：翟正利 Zhai Zhengli(Department of Computer,Linyi Teacher’s University,Linyi,S handong276005)(College of Information,Shandong University of Science an d Technology,Tai’an,Shandong271019)

作者机构：临沂师范学院计算机系 山东科技大学信息科学与工程学院山东泰安271019 

基　　金：国家自然科学基金(编号:60173053)课题 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2003年第39卷第17期

页      码：80-82,222页

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

主 题 词：频率推导 约束 广义任务图 嵌入式系统 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2003.17.028

馆 藏 号：203982622...