CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

第四回
システム検証の科学技術シンポジウム・プログラム
last updated: 2007/11/05

【2007年11月05日(月)】 第一日目
13:00- ●開会挨拶●
古賀伸明(名古屋大学大学院)
13:10-14:10 ●招待講演●
  システムソフトウェアにおける検証技術への期待
石川 裕(東京大学大学院)
14:25-15:55 ●一般講演●
プロセス計算による定性的コスト解析とネットワークシミュレータによるコストの定量的コスト解析
池田立野 西崎真也(東京工業大学)
An Algorithm for Bounded Multi-Valued Model Checking
Jefferson O. Andrade Yukiyoshi Kameyama(University of Tsukuba)
リアクティブシステム仕様の強充足可能性判定問題の計算量について
島川昌也 萩原茂樹 米崎直樹(東京工業大学)
16:10-17:30 ●システム検証研究センター研究紹介●
機能安全のためのソフトウェア認証制度普及に向けた取り組みの紹介
長谷部浩二(産総研システム検証研究センター)
研修コース研究開発
西原秀明(産総研システム検証研究センター)
MLAT
田辺良則(産総研システム検証研究センター)
AgdaIVEの実用問題への適用
加藤紀夫(産総研システム検証研究センター)
図示記法
吉田 聡(産総研システム検証研究センター)
業務システム開発検証ツール
高木 理(産総研システム検証研究センター)
【2007年11月06日(火)】 第二日目
9:45-10:45 ●招待講演●
制御システムにおける制御性能の限界と信頼性の関わり
高浜盛雄(名古屋大学大学院)
11:00-12:00 ●一般講演●
ソフトウェア製品の不具合原因となるコードのパターンを用いた検証手法
福原和哉 猪股俊光 新井義和 曽我正和(岩手県立大学)
ソフトウェアシステムの構成変更におけるAlloyを用いた整合性検証
谷崎裕明 片山卓也(北陸先端科学技術大学院大学)
12:00-13:15 休憩
13:15-14:30 ●一般講演●
モデルベース開発におけるテスト自動化フレームワーク
黒岩正司(富士設備工業株式会社)
環境ドライバを用いたモデル検査による検証事例
高井利憲(産総研システム検証研究センター) 古橋隆宏(矢崎総業株式会社)
尾崎弘幸 大崎人士(産総研システム検証研究センター)
システム検証の事例報告集の作成
渡邊 宏 奥野康二 高井利憲(産総研システム検証研究センター)
14:30-15:10 ●デモ・ポスター展示● (1F)
モデル検査支援ソフトウェア
篠崎孝一(関西電力株式会社) 早水公二(メルコ・パワー・システムズ株式会社)
プロダクトライン開発の延長線上にある、専用のモデル環境
浅野義雄(富士設備工業株式会社)
FODAフィーチャダイアグラムの自動検査法
中島 震(国立情報学研究所) 鵜林尚靖(九州工業大学)
統合検証環境 Agda-IVE
湯浅能史、武山 誠(産総研システム検証研究センター)
プロダクトライン開発のための設計検証ツール
野田夏子(NEC)、岸 知二(JAIST)
通信プロセスモデルに基づく AIBO OPEN-R プログラムの並行オブジェクトの同期フロー解析
末次亮、 結縁祥治、 阿草清滋(名古屋大学)
セッション型の実装に基づく検証可能なネットワークプログラミング
今井敬吾、 結縁祥治、 阿草清滋(名古屋大学)
15:10-16:25 ●一般講演●
Real-Time Maudeによるモデル検査事例と検査式およびモデルの修正方法
中野昌弘 高井利憲(産総研システム検証研究センター)
オーバーラップ制御の設計と検証
藤倉俊幸(イーソル株式会社)
アセンブラプログラムのモデル検査によるバグ解析事例
吉田 聡 高井利憲(産総研システム検証研究センター)
16:40-17:40 ●招待講演●
危機対応業務の標準化を目指した業務の見える化手法BFDの開発
林 春男(京都大学)
18:00- ●懇親会●
【2007年11月07日(水)】 第三日目
 9:45-10:45 ●招待講演●
車載ソフト標準化プラットフォームAUTOSARと底流に見られる欧米の産学連携活動
鈴村延保(アイシン精機株式会社)
11:00-12:00 ●一般講演● 
モデル検査器を使った船舶用システムの検証について
八尾俊佑 高橋和子(関西学院大学大学院)
粟野宏昭 平岡 康(古野電気株式会社)
モデル検査活用のための実践的知識
篠崎孝一(関西電力株式会社) 早水公二(メルコ・パワー・システムズ株式会社)
12:00-13:15 休憩
13:15-14:15 ●函館ワークショップ特別講演●
エラー情報から原因を特定する障害検知システム
酒井将人 松葉浩也 石川 裕(東京大学大学院)
Comparison of the Expressive Power of Language-based Access Control Models
関 浩之(奈良先端科学技術大学院大学) 高田喜朗(高知工科大学)
14:30-16:00 ●一般講演●
n点通過テストのためのモデル検査技法
小池憲史(矢崎総業株式会社) 大崎人士(産総研システム検証研究センター)
構文からみた時相論理で記述されたリアクティブシステム仕様の性質について
吉浦紀晃(埼玉大学大学院)
記号モデル検査による自己安定アルゴリズムの安定時間の計測
木本雅博 土屋達弘 菊野 亨(大阪大学大学院)
16:00 ●閉会挨拶●

※プログラムは、予告なく変更される可能性があることをご承知おきください。


産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2009 AIST Research Center for Verification and Semantics, All Rights Reserved.