计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
z1期
64-66,86
,共4页
带标记混合Petri网%信息物理融合系统%建模%验证
帶標記混閤Petri網%信息物理融閤繫統%建模%驗證
대표기혼합Petri망%신식물리융합계통%건모%험증
Labeled hybrid Petri net%Cyber physical system%Modeling%Verification
由于信息物理融合系统(CPS)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得CPS的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀问题.提出利用带标记混合Petd网方法对CPS进行建模和验证研究,在CPS中采用模型检测和定理证明相结合的形式化方法,对试图解决系统验证时状态空间膨胀问题供理论依据.提出一种自动抽取及英简化模型的方法,在容错温度传感器系统中的初步实验结果表明该方法是可行的,通过一个实例原型的应用说明了该方法的有效性.
由于信息物理融閤繫統(CPS)的硬件集成度和軟件參與度不斷提高,大量軟件與硬件間異構連通併相互控製,使得CPS的分析設計、建模與驗證也愈加睏難,由此引起模型的狀態空間膨脹問題.提齣利用帶標記混閤Petd網方法對CPS進行建模和驗證研究,在CPS中採用模型檢測和定理證明相結閤的形式化方法,對試圖解決繫統驗證時狀態空間膨脹問題供理論依據.提齣一種自動抽取及英簡化模型的方法,在容錯溫度傳感器繫統中的初步實驗結果錶明該方法是可行的,通過一箇實例原型的應用說明瞭該方法的有效性.
유우신식물리융합계통(CPS)적경건집성도화연건삼여도불단제고,대량연건여경건간이구련통병상호공제,사득CPS적분석설계、건모여험증야유가곤난,유차인기모형적상태공간팽창문제.제출이용대표기혼합Petd망방법대CPS진행건모화험증연구,재CPS중채용모형검측화정리증명상결합적형식화방법,대시도해결계통험증시상태공간팽창문제공이론의거.제출일충자동추취급영간화모형적방법,재용착온도전감기계통중적초보실험결과표명해방법시가행적,통과일개실례원형적응용설명료해방법적유효성.