文献

J-GLOBAL ID：201802277203300136   整理番号：18A1221307

観察者モデルに基づくリアルタイムシステム検証手法【JST・京大機械翻訳】

Real-time System Verification Approach Based on Observer Patterns

著者 (4件)： Zhao He (四川大学計算机学院 成都610065) ,  Hong Mei (四川大学計算机学院 成都610065) ,  Yang Qiuhui (四川大学計算机学院 成都610065) ,  Gao Wanling (四川大学計算机学院 成都610065)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 44  号： 12  ページ： 156-162,174  発行年： 2017年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 複雑なリアルタイムシステムの検証問題はずっと注目され、検証の過程において、検証特性は時系列論理で記述することができるが、時相論理は非専門人員にとって比較的に複雑であり、難度が大きいことを指すことができる...........................................観察者モデルは,複雑な検証特性を,複雑な検証アルゴリズムを,簡単な可到達性問題に変換するための追加のサブシステムとして,同時に使用することができるので,それは,複雑な検証アルゴリズムの使用を避けることができるだろう。............................EtienneとNouhaAbidらによって提案された抽象的観察者モデルを,Train-Gateシステムに適用した。比較結果により、観察者モデルと検証特性を用いて、正しい検証結果を得られるが、観察者は時間を節約し、非専門スタッフにとってより簡単で、受け入れやすいことが分かった。........................................従って,Train-Gateのリアルタイムシステムの検証は,観察者モードを用いて実行可能である。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *実時間処理 ,  時間論理 ,  *モデル ,  アルゴリズム
準シソーラス用語： サブシステム ,  *観測者 , 【Automatic Indexing@JST】

著者キーワード (5件)： Observer patterns ,  Real-time system ,  UPPAAL ,  Train-Gate ,  Model checking

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 観察者 ,  モデル ,  リアルタイム ,  システム検証 ,  手法