Formative System Engineering
分散オブジェクト指向システムに対する実行時検証手法
実行時検証（Runtime Verification）
 実行結果が満たすべき性質を満たしているか検証を行う
 性質は時相論理などを用いて記述される
検証対象
検証システム
分散システム
分散オブジェクト指向システム
検証形式
オンラインモニタリング
（実行と検証を同時に実施）
実行結果
状態遷移
Lamportの論理クロックを
用いて定義
計算方法
並列・分散化して計算
時相論理
検証結果
true
or
false
実行結果が性質を満た
すかどうか出力
検証する性質
実行時検証の基本・応用に関する調査・研究をしています

「研究を知る」 日時 平成27年5月27日(水) 12:10～12:40 場所 講師

MIC-Nx133T Video Validation Test Kit の販売を開始致しました。