2月13日(水) 午前  テスト生成 座長: 細川 利典（日本大） 10:00 - 10:50
(1)	10:00-10:25	解の再利用によるテスト生成のためのハードウェアSATソルバの実装 DC2012-80	○向井俊矢・上田健司・岩垣　剛・市原英行・井上智生（広島市大）
(2)	10:25-10:50	SATソルバを用いたテスト生成の高速化手法について DC2012-81	○松永裕介（九大）
	10:50-11:10	休憩　（ 20分 ）
2月13日(水) 午前  欠陥検出能力評価 座長: 四柳 浩之（徳島大） 11:10 - 12:00
(3)	11:10-11:35	クリティカルエリア解析に基づく故障カバレージ見積りに関する一考察 DC2012-82	○清水貴弘・中山裕太・新井雅之・岩崎一彦（首都大東京）
(4)	11:35-12:00	縮退故障テスト集合と遷移故障テスト集合を用いた欠陥検出能力向上のためのドントケア割当て法 DC2012-83	○若杉諒介・細川利典（日大）・吉村正義（九大）
	12:00-13:30	休憩　（ 90分 ）
2月13日(水) 午後  遅延テスト 座長: 井上 智生（広島市大） 13:30 - 14:20
(5)	13:30-13:55	半断線故障検出のための信号遅延の特性評価 DC2012-84	○大栗裕人・四柳浩之・橋爪正樹（徳島大）・堤　利幸・山崎浩二（明大）・樋上善信・高橋　寛（愛媛大）
(6)	13:55-14:20	隣接TSVを考慮したTSV遅延故障検出法について DC2012-85	○中村真規・四柳浩之・橋爪正樹（徳島大）
	14:20-14:40	休憩　（ 20分 ）
2月13日(水) 午後  セキュリティとテスト 座長: 井上 美智子（奈良先端大） 14:40 - 15:30
(7)	14:40-15:05	AES暗号回路におけるトロイ回路設計の影響評価およびその一考察 DC2012-86	○荻田英実・細川利典（日大）・吉村正義（九大）
(8)	15:05-15:30	テスト応答圧縮器のセキュリティ評価の一手法 DC2012-87	○吉村正義・松永裕介（九大）
	15:30-15:50	休憩　（ 20分 ）
2月13日(水) 午後  フィールドテストと許容故障判定 座長: 新井 雅之（首都大東京） 15:50 - 17:05
(9)	15:50-16:15	エラートレラントアプリケーションのための論理回路簡単化における必須割当てを利用した許容故障判定法 DC2012-88	○松木伸伍・亀井惇平・岩垣　剛・市原英行・井上智生（広島市大）
(10)	16:15-16:40	モニタ回路による製造バラツキを考慮した温度・電圧推定手法 DC2012-89	○三宅庸資・津森　渉・佐藤康夫・梶原誠司（九工大）・三浦幸也（首都大東京）
(11)	16:40-17:05	フィールドでの組込み自己テストにおける不定値処理に関するデータ量の削減手法 DC2012-90	○吉見優太（奈良先端大）・畠山一実・大和勇太・米田友和・井上美智子（奈良先端大/JST）

問合先と今後の予定
DC	ディペンダブルコンピューティング研究会（DC）   [今後の予定はこちら]
	問合先	土屋 達弘 （大阪大学大学院情報科学研究科） E-:t-tuist-u 開催担当：細川 利典（日本大学）n-u 井上 智生（広島市立大学）o-cu
	お知らせ	◎最新情報は，DC研究会ホームページを御覧下さい． http://www.ieice.org/iss/dc/jpn/index.html

Last modified: 2013-01-22 01:34:35