CVS

center-name

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

第五回
システム検証の科学技術シンポジウム(SSV 2008)・プログラム
last updated: 2008/11/13

【2008年11月17日(月)】 第一日目
13:00-13:10 ●開会挨拶●
13:10-14:10 ●一般講演:システム記述(1) ●

制約概念に基づくハイブリッドシステムモデリング言語HydLa
上田和紀、石井大輔(早稲田大学)、細部博史(国立情報学研究所)

リアクティブシステム仕様の外部環境制約について
北村佑介、島川昌也、萩原茂樹、米崎直樹(東京工業大学大学院情報理工学研究科計算工学専攻)
14:10-14:20 休憩
14:20-14:50 ●函館ワークショップ特別講演(1) ●
分散ECUシステムの開発手法
渡邉 晃(日産自動車株式会社)
14:50-15:50 ●一般講演:モデル検査●

LMNtalに基づくモデル検査環境
堀 泰祐、佐々木隆之(早稲田大学大学院基幹理工学研究科情報理工学専攻)、綾野貴之(早稲田大学理工学部コンピュータ・ネットワーク工学科)、岡部 亮(三菱電機株式会社)、上田和紀(早稲田大学理工学術院情報理工学科)

安全性・余安全性の反例集合の獲得
中野昌弘、高井利憲(産業技術総合研究所)
15:50-16:00 休憩
16:00-17:00 ●招待講演●

オープンシステムとディペンダビリティー
所 眞理雄(株式会社ソニーコンピュータサイエンス研究所)
17:00-17:30 ●休憩および移動●
17:30-18:00 ●ポスターセッション●
  モデル検査支援ソフトウェアを用いたC言語プログラムの不具合解析
早水公二(メルコ・パワー・システムズ株式会社)、篠崎孝一(関西電力株式会社)

様相論理を使ったDeutsch-Schorr-Waiteマーキングアルゴリズムの検証
高橋孝一(産業技術総合研究所)、関澤俊弦(産業技術総合研究所・大阪大学)、湯浅能史(東京工業大学)、田辺良則(東京大学)

車載アーキテクチャ記述による耐故障設計の支援手法
日高隆博、高田広章(名古屋大学)、中條直也(豊田中央研究所)

宇宙機搭載ソフトウェアの高信頼化を目的とした第三者評価活動
(Independent Verification and Validation: IV&V)の成果と今後の課題

氏原頌悟、神武直彦、片平真史(宇宙航空研究開発機構 情報・計算工学センター)

ソフトウェア・プロダクトライン開発とテストプロセス自動化による工業化促進
黒岩正司(富士設備工業電子機器事業部)
18:00-20:00 ●懇親会●


【2008年11月18日(火)】 第二日目
9:30-10:30 ●招待講演●

システムモデリングによるソリューションの創出
二宮 清(ダイキン工業株式会社)
10:30-10:40 休憩
10:40-12:10 ●一般講演:ソフトウェアライフサイクル(分析・テスト・運用)●

リクエストごとの応答時間に注目したインターネットサーバの設定誤り検出
岩田 聡、河野健二(慶應義塾大学)

コンポーネントソフトウェアに対するハザード分析手法の検討
斉藤直希、小川 清(名古屋市工業研究所)、水口大知(産業技術総合研究所)、菊池達也、大西秀一(株式会社ヴィッツ)、長谷部浩二(筑波大学)、 堀 武司(北海道立工業試験場)
  ソフトウエア・プロダクトライン開発とテストプロセス自動化による工業化促進
黒岩正司(富士設備工業株式会社電子機器事業部)
12:10-13:30 昼食休憩
13:30-14:30 ●招待講演●

楽天のWebサービスを支えるインフラ技術と信頼性向上のためのしかけ
〜 止まらないサービス を目指して 〜

千田孝由起(楽天株式会社)
14:30-14:45 休憩
14:45-15:45 ●一般講演:システム記述(2) ●

Spice計算へのブロードキャスト通信の拡張
池田立野、西崎真也(東京工業大学大学院情報理工学研究科)

仕様書の統一様式の策定と仕様整合性検証システムの開発
大崎人士、岡本圭史、北村崇師、木下佳樹、矢田部俊介(産業技術総合研究所)
15:45-16:00 休憩
16:00-17:00 ●一般講演:人材養成●

ソフトウェア開発における安全分析、形式手法、工業標準に焦点をあてた安 全関連スキルと教育訓練
小川 清、斉藤直希(名古屋市工業研究所)、堀 武司(北海道立工業試験場)、水口大知(産業技術総合研究所)、吉岡律夫(日本システム安全研究所)、森川聡久、服部博行(株式会社ヴィッツ)

モデル検査の教育プログラムの構築に向けて
早水公二(メルコ・パワー・システムズ株式会社)、青木利晃(北陸先端科学技術大学院大学)、粂野文洋(国立情報学研究所)、木下佳樹(産業技術総合研究 所)、篠崎孝一(関西電力株式会社)、田口研治(国立情報学研究所)、中原早生、西原秀明(産業技術総合研究所)、本位田真一(国立情報学研究所)
17:00-17:15 休憩
17:15-17:45 ●函館ワークショップ特別講演(2) ●

要求違反の実行時監視と原因診断
中島 震(国立情報学研究所)


【2008年11月19日(水)】 第三日目
9:30-10:30 ●招待講演●

仮想計算機技術の動向
加藤和彦(筑波大学大学院)
10:30-10:40 休憩
10:40-12:10 ●一般講演:検証ツール● 
  BDDの節点数削減による状態爆発の回避 〜企業におけるモデル検査の現場から〜
早水公二、星野光勇、桃本邦重(メルコ・パワー・システムズ株式会社)、篠崎孝一、太田 弘(関西電力株式会社)

タブロー証明器の実装におけるBDDの利用について
宮本佑樹、安藤崇央、萩原茂樹、米崎直樹(東京工業大学)

複数人によるシステム検証を支援するWebアプリケーションの開発
森本祥一(産業技術大学院大学)
12:10-13:30 昼食休憩
13:30-14:30 ●一般講演:いろいろな形式手法●

機能安全対応組込みソフトウェア開発におけるBメソッド導入の試み
堀 武司(北海道立工業試験場)、 岡村真吾、服部智幸(東海ソフト株式会社)、斉藤直希、小川 清(名古屋市工業研究所)

Agdaシステムについて
木下佳樹(産業技術総合研究所)
14:30-14:40
●閉会挨拶●

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


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