计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2013年
4期
700-710
,共11页
信息物理融合系统%微分代数动态逻辑%HybridUML%微分代数程序%验证
信息物理融閤繫統%微分代數動態邏輯%HybridUML%微分代數程序%驗證
신식물리융합계통%미분대수동태라집%HybridUML%미분대수정서%험증
随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑对系统安全性进行规约,最后依据微分代数动态逻辑推理规则对CPS进行安全性验证.通过对飞机空中避撞系统的实例研究,表明该方法能够有效地验证避撞策略的正确性,从而保证避撞系统的安全性.
隨著CPS在工業控製、智能交通、智能醫療等領域的廣汎應用,安全性已成為目前CPS理論和應用研究的覈心問題.提齣瞭一種基于微分代數動態邏輯的CPS安全性驗證方法,該方法首先把HybridUML模型轉換成微分代數程序,然後使用微分代數動態邏輯對繫統安全性進行規約,最後依據微分代數動態邏輯推理規則對CPS進行安全性驗證.通過對飛機空中避撞繫統的實例研究,錶明該方法能夠有效地驗證避撞策略的正確性,從而保證避撞繫統的安全性.
수착CPS재공업공제、지능교통、지능의료등영역적엄범응용,안전성이성위목전CPS이론화응용연구적핵심문제.제출료일충기우미분대수동태라집적CPS안전성험증방법,해방법수선파HybridUML모형전환성미분대수정서,연후사용미분대수동태라집대계통안전성진행규약,최후의거미분대수동태라집추리규칙대CPS진행안전성험증.통과대비궤공중피당계통적실례연구,표명해방법능구유효지험증피당책략적정학성,종이보증피당계통적안전성.
