1) portable WCET analysis
可迁移的最坏执行时间分析
2) WCET analysis
最坏执行时间分析
1.
Most of thecurrent WCET analysis tools rely on the interaction between compiler and WCET tools orthe availability of source code.
当前的很多最坏执行时间分析工具都是针对特定的编程语言或特定的编译器的,因而缺乏平台间的迁移性,从而不能被广泛使用。
2.
The results of most WCET analysis tools are over pessimistic,and cause great waste of resources if scheduling is based on such results.
通常的最坏执行时间分析方法的结果过于悲观(overpessimistic),根据这种结果进行调度将导致资源的极大浪费。
3) Symbolic WCET analysis
基于符号的最坏执行时间分析
4) WCET
最坏执行时间
1.
The result of a traditional real-time WCET(worst-case execution time) analysis method is usually a constant, and is applied everywhere.
通常的最坏执行时间分析方法只是得到一个常数,然后将这个常数应用在所有的地方,这将造成所得的值过于悲观(overpessimistic)。
2.
Together with schedulability analysis,Worst-Case Execution Time analysis(WCET analysis) forms the basis for establishing confidence into the timely operation of a real-time system.
最坏执行时间分析与可调度性分析构成了实时系统时间方面操作可信的基础。
5) worst case execution Ttime (WCET)
最坏情况下执行时间
6) WCET
最坏情况执行时间
1.
The most important parameter judging the system is the Worst-Case Execution Time (WCET), which supplies warrants for task real-time scheduling, judging task PRI, resource collision, and corresponding betw.
衡量系统实时性的最重要的参数是任务的最坏情况执行时间(Worst Case Execution Time，WCET)，WCET为任务的实时调度、任务的优先级仲裁、资源的冲突仲裁以及任务间通信提供依据，是确保系统安全运行的可信基础。
2.
When constructing real-time system, safe and tight estimations of the worst-case execution time (WCET) of programs are needed.
构造一个实时系统的时候，安全性和程序最坏情况执行时间(WCET)是必需的，为了给出WCET估计值，必须同时考虑到系统的软件特性和硬件特性。
3.
The most important parameter judging the system is the Worst-Case Execution Time (WCET).
衡量系统实时性的最重要的参数是任务的最坏情况执行时间(Worst Case ExceutionTime,WCET)。
补充资料：离散时间系统的复频域分析
利用变换&dbname=ecph&einfoclass=item">Z变换在复频域(Z域)中对离散时间线性时不变系统在零状态下激励信号产生响应的问题进行分析。系统的复频域分析包括转移函数的研究、转移函数的零点和极点的研究以及由此而确定系统的特性等。转移函数一般表示为实系数多项式或实系数有理分式，可以分解为一阶、二阶实系数因式和一阶、二阶有理分式组成的部分分式。所以，研究系统的性能时着重研究二阶系统的性能。
离散时间系统可以根据它的转移函数而实现。系统的实现可以用硬件，也可以用软件。硬件实现是指用基本单元（如加法器、乘法器、延迟器等）；软件实现是指用计算机程序，由输入得出系统的输出。
转移函数 指系统在零状态下响应的 Z变换与激励的Z变换之比，即
式中H(z)、Y(z)、X(z)分别是系统的单位冲激响应h(n)、系统的响应 y(n)、系统的激励χ(n)的Z变换。由离散时间系统的差分方程
(1)
经Z 变换，可得系统的转移函数H(z)为
(2)
系统的输入、输出和转移函数的关系可用框图表示(图1)。由式(2)表示的系统的转移函数，在将其分子分母多项式分解为因式后，又可表示为若干子系统的转移函数的乘积
(3)
式中每一Hi(z)(i=1,2,...,k)都是一阶或二阶有理分式，即或将转移函数作部分分式展开，又有
(4)
式(4)中如果有某Pi为复数,则在求和号中必有与之共轭的项，此二项合并得到一个实系数二阶有理式。
零点与极点 对系统的网络函数的分子分母多项式作因子分解后，可以将其写作
(5)
式中Pi(i=1,2,...,N)是H(z)的极点，zj(j=1,2,...,M)是H(z)的零点。零点、极点在Z平面上所取的位置对系统的性能有着决定性的影响。
系统的转移函数的零点、极点可以由令分子分母多项式为零得到的方程式解出。由式(3)和式(4)可以看出，研究极点与系统性质的关系可归结为研究一阶和二阶系统的极点分布及系统性质与极点位置的关系。考察一阶系统的转移函数
式中P为实数的情况，其中A设为常数，它的冲激响应是
当0＜P＜1，h(n)随n的增加而逐渐衰减，如图2a所示；当P＝1,如图2b所示；当P＞1，如图2c所示；当-1＜P＜0,如图2d所示;当P＝-1,如图2e所示；当P＜-1,如图2f所示。可以看出,凡是极点在单位圆内的，则系统的单位冲激响应都呈指数衰减,h(n)绝对可和（即）,因而系统是稳定的；当极点在单位圆外时，系统的单位冲激响应都呈指数增长,是发散的,因而系统是不稳定的；当极点在单位圆上时，h(n)的幅度为常数值，不是绝对可和，系统也不稳定。
对于二阶系统式中&λ为复数（）,其中A为常数，这时转移函数的极点在Z平面上以共轭对的形式出现（图3），系统的冲激响应是可见,当|&λ|＜1时，极点在单位圆内，h2(n)是一衰减的余弦振荡,系统是稳定的；当|&λ|＞1时,极点在单位圆外，h2(n)为一增幅的余弦振荡，系统是不稳定的。
综上可见,仅当转移函数的所有极点都在Z平面的单位圆内，系统才是稳定的。转移函数有多重极点的情况也如此。
当已知线性时不变离散系统的数学模型时，给定其初始条件，在给定输入序列作用下的响应即其输出序列，可以用Z变换方法求得。
离散时间系统可以根据它的转移函数而实现。系统的实现可以用硬件，也可以用软件。硬件实现是指用基本单元（如加法器、乘法器、延迟器等）；软件实现是指用计算机程序，由输入得出系统的输出。
转移函数 指系统在零状态下响应的 Z变换与激励的Z变换之比，即
式中H(z)、Y(z)、X(z)分别是系统的单位冲激响应h(n)、系统的响应 y(n)、系统的激励χ(n)的Z变换。由离散时间系统的差分方程
(1)
经Z 变换，可得系统的转移函数H(z)为
(2)
系统的输入、输出和转移函数的关系可用框图表示(图1)。由式(2)表示的系统的转移函数，在将其分子分母多项式分解为因式后，又可表示为若干子系统的转移函数的乘积
(3)
式中每一Hi(z)(i=1,2,...,k)都是一阶或二阶有理分式，即或将转移函数作部分分式展开，又有
(4)
式(4)中如果有某Pi为复数,则在求和号中必有与之共轭的项，此二项合并得到一个实系数二阶有理式。
零点与极点 对系统的网络函数的分子分母多项式作因子分解后，可以将其写作
(5)
式中Pi(i=1,2,...,N)是H(z)的极点，zj(j=1,2,...,M)是H(z)的零点。零点、极点在Z平面上所取的位置对系统的性能有着决定性的影响。
系统的转移函数的零点、极点可以由令分子分母多项式为零得到的方程式解出。由式(3)和式(4)可以看出，研究极点与系统性质的关系可归结为研究一阶和二阶系统的极点分布及系统性质与极点位置的关系。考察一阶系统的转移函数
式中P为实数的情况，其中A设为常数，它的冲激响应是
当0＜P＜1，h(n)随n的增加而逐渐衰减，如图2a所示；当P＝1,如图2b所示；当P＞1，如图2c所示；当-1＜P＜0,如图2d所示;当P＝-1,如图2e所示；当P＜-1,如图2f所示。可以看出,凡是极点在单位圆内的，则系统的单位冲激响应都呈指数衰减,h(n)绝对可和（即）,因而系统是稳定的；当极点在单位圆外时，系统的单位冲激响应都呈指数增长,是发散的,因而系统是不稳定的；当极点在单位圆上时，h(n)的幅度为常数值，不是绝对可和，系统也不稳定。
对于二阶系统式中&λ为复数（）,其中A为常数，这时转移函数的极点在Z平面上以共轭对的形式出现（图3），系统的冲激响应是可见,当|&λ|＜1时，极点在单位圆内，h2(n)是一衰减的余弦振荡,系统是稳定的；当|&λ|＞1时,极点在单位圆外，h2(n)为一增幅的余弦振荡，系统是不稳定的。
综上可见,仅当转移函数的所有极点都在Z平面的单位圆内，系统才是稳定的。转移函数有多重极点的情况也如此。
当已知线性时不变离散系统的数学模型时，给定其初始条件，在给定输入序列作用下的响应即其输出序列，可以用Z变换方法求得。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条