计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2014年
6期
1770-1773
,共4页
刘明星%马武彬%邓苏%黄宏斌
劉明星%馬武彬%鄧囌%黃宏斌
류명성%마무빈%산소%황굉빈
信息物理融合系统%面向服务%模型验证%时间自动机%Uppaal
信息物理融閤繫統%麵嚮服務%模型驗證%時間自動機%Uppaal
신식물리융합계통%면향복무%모형험증%시간자동궤%Uppaal
Cyber Physical System (CPS)%service oriented%model verification%timed automata%Uppaal
针对信息物理融合系统(C PS)中建模与验证面临的问题与挑战,基于服务组合的思想,提出一种CPS建模与验证方法.首先,综合分析已有研究成果,提出一种CPS的组成结构,包含物理世界、感知系统、信息处理系统、控制系统及时间约束.基于该结构提出CPS资源的服务分类及组成框架,并利用时间自动机理论,提出CPS物理环境建模方法、CPS原子服务建模方法及服务组合方法.最后,通过案例设计和模型检测工具Uppaal,分别对系统安全性、可达性、活性及时间约束四种类型的性质进行了相关验证.结果表明,系统通过了这些性质的验证,这也证明了面向服务的CPS建模方法的正确性.
針對信息物理融閤繫統(C PS)中建模與驗證麵臨的問題與挑戰,基于服務組閤的思想,提齣一種CPS建模與驗證方法.首先,綜閤分析已有研究成果,提齣一種CPS的組成結構,包含物理世界、感知繫統、信息處理繫統、控製繫統及時間約束.基于該結構提齣CPS資源的服務分類及組成框架,併利用時間自動機理論,提齣CPS物理環境建模方法、CPS原子服務建模方法及服務組閤方法.最後,通過案例設計和模型檢測工具Uppaal,分彆對繫統安全性、可達性、活性及時間約束四種類型的性質進行瞭相關驗證.結果錶明,繫統通過瞭這些性質的驗證,這也證明瞭麵嚮服務的CPS建模方法的正確性.
침대신식물리융합계통(C PS)중건모여험증면림적문제여도전,기우복무조합적사상,제출일충CPS건모여험증방법.수선,종합분석이유연구성과,제출일충CPS적조성결구,포함물리세계、감지계통、신식처리계통、공제계통급시간약속.기우해결구제출CPS자원적복무분류급조성광가,병이용시간자동궤이론,제출CPS물리배경건모방법、CPS원자복무건모방법급복무조합방법.최후,통과안례설계화모형검측공구Uppaal,분별대계통안전성、가체성、활성급시간약속사충류형적성질진행료상관험증.결과표명,계통통과료저사성질적험증,저야증명료면향복무적CPS건모방법적정학성.
