CVS

center-name

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

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

【2006年10月30日(月)】 第一日目・・・・・・・・・・
10:35-10:45 ●開会挨拶●
10:45-11:15 ●基調講演●
  システム検証研究の現状
木下佳樹(産業技術総合研究所)
11:15-12:15 ●招待講演●
形式手法の好き嫌い
玉井哲雄(東京大学)
12:15-13:45 昼食
13:45-14:45 ●招待講演● 
  組込みソフトウェアの高信頼化技術の現状
二上貴夫(株式会社東陽テクニカ)
15:00-17:00 ●一般講演● 
  Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析
池田立野、西崎真也(東京工業大学)
  Javaの例外処理のSPINによる検証
斎藤正也、高井利憲、池上大介(産業技術総合研究所)
Detecting Injected Safety Errors in the Chandra-Toueg Algorithm with Model Checking
Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka University)
抽象化ツールMLATについて
高橋孝一、田辺良則、関澤俊弦、湯浅能史(産業技術総合研究所)
17:15-18:15 ●チュートリアル●
クリーニ代数によるプログラム解析入門
高井利憲(産業技術総合研究所)
【2006年10月31日(火)】 第二日目・・・・・・・・・・
9:30-10:30 ●招待講演●
短納期ソフトウェア開発プロジェクトにおける残存バグ数の予測
山浦恒央(東海大学)
10:45-12:15 ●一般講演●
Webアプリケーションに対するモデル検査の適用実験
野中哲(有限会社トゥルーロジック)
モデルベースソフトウェア開発における総合的な検証手法
小西晃輔(株式会社シーディー・アダプコ・ジャパン)
モデル検査ツールUPPAALからJML記述への変換について
田辺誠(宇部工業高等専門学校)
12:15-13:45 昼食
13:45-14:45 ●招待講演●
豊かで高信頼なアンビエントネットワークの構築をめざして
東野輝夫(大阪大学)
15:00-16:30 ●一般講演●
定理証明によるファイアウォールサーバのセキュリティ検証
矢竹健朗、片山卓也(北陸先端科学技術大学院大学)
帰納的アプローチを用いた時間感知型暗号プロトコルの検証
安田武史、高橋和子(関西学院大学)
一階様相μ計算
岡本圭史(産業技術総合研究所)
16:45-17:45 ●チュートリアル●
形式的体系の定理証明支援系上での実現法
木下佳樹、高橋孝一、田辺良則、湯浅能史(産業技術総合研究所)
18:00-20:00 ●懇親会●
【2006年11月01日(水)】 第三日目・・・・・・・・・・
 9:30-10:30 ●招待講演●
IEC 61508の基本的枠組み
田辺安雄(株式会社日本機能安全)
10:45-12:15 ●一般講演● 
機能安全プロセス産業分野規格IEC 61511におけるアプリケーション・ソフトウェアに対する要求事項
米木真哉(東芝プラントシステム株式会社)、佐久間晃(株式会社東芝電力システム社)
モデル検査の実用化課題と支援ソフトウェアの開発
篠崎孝一、太田弘(関西電力株式会社)、早水公二、星野光勇(メルコ・パワー・システムズ株式会社)、今村哲典、吉田雅昭(株式会社エネゲート)
ソフトウェア開発現場におけるモデル検査教育カリキュラム
早水公二、星野光勇(メルコ・パワー・システムズ株式会社)、篠崎孝一、太田弘(関西電力株式会社)、今村哲典、吉田雅昭(株式会社エネゲート)
12:15-12:30 ●閉会挨拶●

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


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