Tatsuhiro Tsuchiya's Webpage

For the English version, please visit another page.

基本情報

• 氏名: 土屋 達弘
• 所属: 大阪大学 大学院情報科学研究科 情報システム工学専攻
• 研究室: ディペンダビリティ工学講座
• 役職: 教授

研究テーマ

ディペンダビリティ(総合信頼性)に資する，ソフトウェアシステムを中心とした諸技術

ソフトウェアのテスト

• 組み合わせテスト
• LLMをつかったテスト・リペア

モデル検査

• SPIN/CBMCなどを利用した設計/アルゴリズムの検証

フォールトトレラントシステム

• 故障耐性をもつ分散アルゴリズムの設計・検証
• BDDを用いた信頼度評価・確率フォールトツリー分析

お知らせ

外国から留学を希望する方へ (FrontierLabなどの交換留学をのぞく)

問合せは アドミッション支援デスク (Admissions Assistance Desk (AAD))を利用してください． AADを通さない個別の問合せには，返信しません．