电光与控制
電光與控製
전광여공제
ELECTRONICS OPTICS & CONTROL
2013年
11期
78-83
,共6页
实时系统%时间自动机%流量特性%硬件在回路
實時繫統%時間自動機%流量特性%硬件在迴路
실시계통%시간자동궤%류량특성%경건재회로
real-time system%timed automata%traffic characteristic%hardware-in-the-loop
在实时网络中,受到突发度等指标约束的流量特性是最坏情况下服务质量保证的关键因素之一.采用时间自动机对流量进行模拟,可以反映在到达曲线的组合约束下流量的不确定性.采用硬件描述语言对相应的时间自动机形式化模型进行转换,研究了硬件逻辑与时间自动机模型的对应方法,利用可编程阵列芯片并发运行的优势,充分体现了时间自动机之间的并发行为,用于进行硬件在回路测试.采用此方法构成流量特性模型的转换接口,并采用硬件描述语言实现,经过在典型测试用例下的仿真测试,发现该装置能够根据模型参数对于虚拟链路的流量特性进行约束,模拟生成综合化网络中的实时通信流量,说明了该硬件模拟方法的可行性.
在實時網絡中,受到突髮度等指標約束的流量特性是最壞情況下服務質量保證的關鍵因素之一.採用時間自動機對流量進行模擬,可以反映在到達麯線的組閤約束下流量的不確定性.採用硬件描述語言對相應的時間自動機形式化模型進行轉換,研究瞭硬件邏輯與時間自動機模型的對應方法,利用可編程陣列芯片併髮運行的優勢,充分體現瞭時間自動機之間的併髮行為,用于進行硬件在迴路測試.採用此方法構成流量特性模型的轉換接口,併採用硬件描述語言實現,經過在典型測試用例下的倣真測試,髮現該裝置能夠根據模型參數對于虛擬鏈路的流量特性進行約束,模擬生成綜閤化網絡中的實時通信流量,說明瞭該硬件模擬方法的可行性.
재실시망락중,수도돌발도등지표약속적류량특성시최배정황하복무질량보증적관건인소지일.채용시간자동궤대류량진행모의,가이반영재도체곡선적조합약속하류량적불학정성.채용경건묘술어언대상응적시간자동궤형식화모형진행전환,연구료경건라집여시간자동궤모형적대응방법,이용가편정진렬심편병발운행적우세,충분체현료시간자동궤지간적병발행위,용우진행경건재회로측시.채용차방법구성류량특성모형적전환접구,병채용경건묘술어언실현,경과재전형측시용례하적방진측시,발현해장치능구근거모형삼수대우허의련로적류량특성진행약속,모의생성종합화망락중적실시통신류량,설명료해경건모의방법적가행성.
