文献

J-GLOBAL ID：201702259441983980   整理番号：17A1592763

1つのCPS向け制御アプリケーション連携検証手法【JST・京大機械翻訳】

Co-Verification Approach to Control Software Program for CPS

著者 (4件)： Zhang Yu (南海海洋資源利用国家重点実験室(海南大学),海南海口 570228;海南大学信息科学技術学院,海南海口 570228) ,  Dong Yunwei (西北工業大学計算机学院,陜西西安,710129) ,  Feng Wenlong (南海海洋資源利用国家重点実験室(海南大学),海南海口 570228;海南大学信息科学技術学院,海南海口 570228) ,  Huang Mengxing (南海海洋資源利用国家重点実験室(海南大学),海南海口 570228;海南大学信息科学技術学院,海南海口 570228)
資料名： Ruanjian Xuebao  (Ruanjian Xuebao)
巻： 28  号： 5  ページ： 1144-1166  発行年： 2017年 
JST資料番号： C2542A  ISSN： 1000-9825  CODEN： RUXUEW  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 物理的および物理的融合システムは,新しい組込みシステムの計算モデルである。それは制御計算過程と制御対象を統合し、両者は相互に影響し、かつ有機的に結合し、情報技術が現実世界でより幅広く、深く応用されるにつれ、知能化の程度は絶えず向上し、情報-物理的緊密結合特徴を持つ組込みシステムにおいて、組込み式制御ソフトウェアの機能比重は急激に上昇した。その作用はより際立っている。安全な関連システムとして,形式的検証法を導入して,組込み制御アプリケーションのセキュリティを保証し,自動メカニズム理論に基づく統一システム検証モデルを確立し,システムのアクセシビリティ,セキュリティ,および活性に対する要求を満たした。このモデルを形式的に検証するためのアルゴリズムを提案した。有界モデル検査法に基づき,可到達性に基づき,システムモデルに関する属性検証問題を充足可能性判定問題に変換し,活性をBougchiオートマトンに変換し,四値意味論に基づいて判断した。解手順において,問題解決の規模を部分的規則化により簡素化し,検証システムの規模を改善し,また,協調シミュレーション技術により,検証の場面を柔軟に構成し,検証の有用性を改善し,シミュレーション結果を示した。形式的共同検証法は,効果的にシステムを検証することができた。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 計算モデル ,  モデル検査 ,  情報技術 ,  安全性 ,  オートマトン ,  アクセシビリティ ,  システムモデル ,  *組込みシステム ,  意味論 ,  制御プログラム ,  シミュレーション ,  決定問題 ,  セキュリティ
準シソーラス用語： システム検証 ,  形式的検証 , 【Automatic Indexing@JST】

著者キーワード (5件)： cyber-physical system ,  embedded control software program ,  automata theoretic ,  co-verification ,  bounded model checking

分類 (4件)： 計算機システム開発  (JD02010R) ,  データ保護  (JD01020V) ,  計算機網  (JC03000K) ,  ディジタル計算機ハードウェア一般  (JC04010C)

タイトルに関連する用語 (4件)： 制御アプリケーション ,  連携 ,  検証 ,  手法