松原 豊


メッセージ認証を用いたCANの集中監視システム
倉地 亮 松原 豊 高田 広章 上田 浩史 堀端 啓史 
誌名:   電子情報通信学会論文誌 A
発行日: 2016/02/01
Vol. J99-A  No. 2  pp. 118-130
論文種別:  特集論文 (組込みシステムセキュリティ論文小特集)
専門分野: 車載システムセキュリティ
キーワード: 
Controller Area Network (CAN)組込みセキュリティ車載制御ネットワークEmbedded SecurityIn-vehicle network
 あらまし | 本文:PDF(1.5MB)

組込みシステムにおける階層型状態遷移図に基づく安全分析手法
金 周慧 松原 豊 高田 広章 
誌名:   電子情報通信学会論文誌 A
発行日: 2013/01/01
Vol. J96-A  No. 1  pp. 34-48
論文種別:  論文
専門分野: 信頼性,保全性,安全性
キーワード: 
状態遷移図安全分析SASTDSMHAHAZOP
 あらまし | 本文:PDF(1.1MB)

schesim: リアルタイムアプリケーション向けスケジューリングシミュレータ
佐野 泰正 松原 豊 本田 晋也 高田 広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/12/01
Vol. J95-D  No. 12  pp. 2008-2020
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
リアルタイムOSシミュレータスケジューリングリアルタイム性検証環境開発・検証支援ツール
 あらまし | 本文:PDF(1.7MB)

状態遷移図に着目した安全分析手法
金 周慧 松原 豊 高田 広章 
誌名:   電子情報通信学会論文誌 A
発行日: 2012/02/01
Vol. J95-A  No. 2  pp. 198-209
論文種別:  論文
専門分野: 信頼性,保全性,安全性
キーワード: 
状態遷移図安全分析FMEASMHAHAZOP
 あらまし | 本文:PDF(728.3KB)