松原 豊

准教授 · 名古屋大学 大学院情報学研究科

EN JP

安全性・ディペンダビリティ・セキュリティの研究

設計から運用まで、安心して使い続けられるシステムを支える研究

組込みシステム、モビリティ、IoT、そして多くのシステムが連携する大規模サービスを対象に、 安全性、ディペンダビリティ（総合信頼性）、セキュリティを確保するための方法を研究しています。

このサイトでは、研究テーマ、論文、ソフトウェア、教育・学術活動をまとめています。

研究概要 主な論文 相談・お問い合わせ
主な対象 車載・組込みプラットフォーム、IoT 機器、モビリティサービス
重点テーマ ソフトウェア定義車両（SDV）、ファジング、System of Systems（SoS）のレジリエンス
研究のねらい 設計時だけでなく、運用が始まってからの説明と改善まで扱う

ニュース

お知らせ

最近の論文 SDV、IoT アクセス制御、MaaS の安定運用

近年は、ソフトウェア定義車両（SDV）でのサービス統合、ブロックチェーンを使った IoT 機器のアクセス制御、複数の交通手段を組み合わせた MaaS のレジリエンスなどを論文で扱っています。各テーマは研究ページでわかりやすく紹介しています。

最近の講演・記事 車載システムのディペンダビリティ、組込みセキュリティ、Society 5.0

近年の特別講演や解説記事では、車載システムのディペンダビリティ、リスク管理、社会サービスのガバナンスなどを取り上げています。

研究の特色 設計から運用までを通して考える

システム単体の性能や安全性にとどまらず、運用が始まってからの変化や社会への広がりまで含めて、長い時間軸で研究しています。

研究

主な研究テーマ

詳しく見る

対象は、機器1台から、ネットワークでつながる機器、そして複数のシステムが連携する集合体まで。 スケールごとに異なる「信頼のかたち」を研究しています。

機器1台、つながる機器、システムの集合体という3つのスケールを段階的に示し、それらを検証・保証技術が横断的に支えることを表した図
01 高信頼な組込みシステム

機器1台の信頼

高信頼な組込みシステム

自動車・航空機・産業機器などに使われる組込みシステムを対象に、リアルタイム性（決められた時間内に処理を終える性質）や資源競合、ソフトウェア基盤といった観点から、信頼して使える仕組みを研究しています。

このテーマを見る

02 IoT・ブロックチェーンとセキュリティ

つながる機器の信頼

IoT・ブロックチェーンとセキュリティ

ネットにつながる IoT 機器や車載ソフトウェアを対象に、アクセス制御、脆弱性の検出、ファジング（ソフトウェアにさまざまな入力を自動で与えて不具合を見つける手法）、ブロックチェーンを活用した機器のライフサイクル管理などを研究しています。

このテーマを見る

03 System of Systems とサービス運用

システムの集合体の信頼

System of Systems とサービス運用

System of Systems（複数の独立したシステムが連携して創発的な目的を果たす仕組み）を、自律的に意思決定する主体が相互作用する社会技術システムとして捉え、ルール設計やデジタルツイン（現実のシステムを仮想空間上に再現した複製）を通じて、全体の振る舞いを設計する方法を研究しています。

このテーマを見る

学生向け

研究室で学べること

研究室への参加方法を見る
ハードからOS、アプリまで（フルスタック） ハードウェアから OS、ミドルウェア、アプリケーションまでを一貫して学ぶ

組込みシステムを、ハードウェアに近い層から RTOS（リアルタイム OS）や OS、ミドルウェア、アプリケーションまで一貫したシステムとして捉え、設計・実装・評価を実践します。

異分野融合 IoT と Web3・理論分野を結びつけ、これからの情報システムを構想する

IoT と Web3（ブロックチェーンやスマートコントラクトを活用する分散型の仕組み）に加え、ゲーム理論・契約理論・制御理論などを取り入れながら、新しい情報システムやサービスの姿を構想します。

産学連携 共同研究や実証を通じて、実社会の課題に取り組む

企業や他分野の研究者との共同研究を通じて、実社会の課題を理解し、議論を重ねながら自ら研究を進める経験を積めます。

論文

主な論文

業績一覧を見る

教育

担当授業

  • 計算機アーキテクチャ基礎1,2 — プロセッサ、メモリ、入出力の仕組みと、それらが連携して計算機システムを構成する原理を学ぶ
  • PBL2/3 — チームで組込みシステムや IoT システムの設計・実装・評価に取り組むプロジェクト型演習
  • 情報セキュリティ特論1,2 — 組込みシステムやネットワーク機器を対象とした脅威分析、脆弱性評価、セキュリティ保証の考え方を学ぶ

略歴

経歴の概要

  • 1982年: 静岡県島田市生まれ
  • 2002年: 沼津工業高等専門学校 制御情報工学科 卒業
  • 2004年: 名古屋大学 工学部情報工学科 卒業
  • 2006年: 名古屋大学 大学院情報科学研究科 博士前期課程 修了
  • 2009年: 名古屋大学 大学院情報科学研究科 博士後期課程 単位取得後退学
  • 2009年: 名古屋大学 組込みシステム研究センター 研究員

連絡先

お問い合わせ

連絡先ページを見る

〒464-8603 名古屋市千種区不老町 C3-1(631)

名古屋大学 IB電子情報館南館 491号室

052-789-4597