Shuji Morisaki 研究室

主宰者：Shuji Morisaki
名古屋大学

AI 要約（直近 5 年の研究成果）

本研究室は、複雑なシステムの設計・開発段階において品質と安全性を確保するための体系的な手法を開発しています。特に、要件分析から実装まで、システム開発全体のライフサイクルにおいて潜在的な不具合を早期に発見し、防止することに力を入れています。衛星システムやサイバーフィジカルシステムなど、物理要素と計算要素が複雑に相互作用する大規模なシステムを対象に、モデル検査や段階的な分解などの形式的手法を組み合わせた検証・妥当性確認の枠組みを提案しています。 また、ソフトウェアレビューやシステムのアーキテクチャ設計において、人間の判断や意思決定を支援する評価手法の開発も進めています。ソフトウェアコード理解時の認知プロセスや、設計レビューにおける欠陥検出メカニズムを調査し、より効果的なレビュープロセスの設計を目指しています。さらに、量的データ分析技術を活用して、ソフトウェア工学データから実践的な知見を抽出し、セキュリティ品質評価やIoTデバイスの信頼性向上など、現代的なシステム開発課題への応用も展開しています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（13 件）

続きを表示（残り 3 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。