航天控制
航天控製
항천공제
AEROSPACE CONTROL
2014年
5期
59-64
,共6页
梁昊%艾云峰%沈怀荣%赵永超
樑昊%艾雲峰%瀋懷榮%趙永超
량호%애운봉%침부영%조영초
多重中断%数据竞争%原子性违背%偏序化简
多重中斷%數據競爭%原子性違揹%偏序化簡
다중중단%수거경쟁%원자성위배%편서화간
Multiple interrupt%Data race%Atomicity violation%DPOR
随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.
隨著控製繫統軟硬件平檯的設計複雜度不斷增加,特彆是飛行控製繫統中集成的傳感器不斷增多,中斷數量也隨之不斷增加.本文根據飛控繫統的具體特點,使用標記遷移繫統對多重中斷併髮程序進行建模,提齣瞭原子性違揹和數據競爭的形式化描述,運用動態偏序化簡算法對程序的狀態空間進行化簡,併設計實現瞭多重中斷控製繫統程序的動態檢測工具,實驗結果錶明該檢測算法可以在滿足對多重中斷併髮程序錯誤檢測的基礎上,大大的縮短檢測時間.
수착공제계통연경건평태적설계복잡도불단증가,특별시비행공제계통중집성적전감기불단증다,중단수량야수지불단증가.본문근거비공계통적구체특점,사용표기천이계통대다중중단병발정서진행건모,제출료원자성위배화수거경쟁적형식화묘술,운용동태편서화간산법대정서적상태공간진행화간,병설계실현료다중중단공제계통정서적동태검측공구,실험결과표명해검측산법가이재만족대다중중단병발정서착오검측적기출상,대대적축단검측시간.
