研究者
J-GLOBAL ID:201101054500820208
更新日: 2020年11月02日
豊島 真澄
トヨシマ マスミ | Toyoshima Masumi
研究分野 (3件):
情報ネットワーク
, 計算機システム
, ソフトウェア
研究キーワード (7件):
Safety Analysis
, Distributed Systems
, Software Engineering
, 安全性分析
, 分散システム
, ソフトウェア工学
, Cyber-Physical Systems
競争的資金等の研究課題 (4件):
2007 - 2011 車載エレクトロニクスシステムに関する研究
2007 - 2011 高信頼性組込みシステムのための形式手法の適用に関する研究
2009 - Cyber-Physical Systemsに関する調査研究
1998 - 高信頼分散システムの構築方法に関する研究
論文 (8件):
中島震, 豊島真澄. Behavioral Contracts for Energy Consumption. Ada User Journal. 2014. 35. 4. 266-271
Tomohisa Hayakawa, Kyohei Ishikawa, Jun-ichi Imura, Hideaki Tanaka, Masumi Toyoshima, Akihito Iwai. Incentive Based Multi-Objective Optimization in Electric Vehicle Navigation including Battery Charging. IFAC PAPERSONLINE. 2014. 47. 3. 6332-6337
田口博一, 豊島真澄. プロセス代数によるアーキテクチャ記述の容易化に関する研究. 情報処理学会研究報告SE-169. 2010
押川倫憲, 武藤嘉伸, 豊島真澄, 鈴村延保, 鬼頭正広. 軽量形式手法を用いた車載電子システムの安全性分析に関する研究. 情報処理学会研究報告SE-163. 2009. 177-184
Yu, X, M Toyoshima. muAOP - An aspectJ extension for mobile computing. 2005 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS, VOLS 1 AND 2, PROCEEDINGS. 2005. 472-477
もっと見る
書籍 (3件):
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Springer Nature 2017
オープン・イノベーション・システム
晃洋書房 2011
Dependable Network Computing
Kluwer Academic Publishers 2000
講演・口頭発表等 (1件):
EAST-ADLを用いた大規模車載電子システムのモデリング
(ESEC2009(第12回組込みシステム開発技術展)専門セミナー 2009)
学歴 (3件):
2019 - 2020 MIT Sloan School of Management Executive Education
早稲田大学 理工学部 機械工学科(熱制御)
北陸先端科学技術大学院大学 情報科学研究科 博士前期課程,博士後期課程(ソフトウェア基礎講座)
学位 (1件):
博士(情報科学) (北陸先端科学技術大学院大学)
経歴 (2件):
2000 - 2010 北九州市立大学
2000 - 2010 北九州市立大学国際環境工学部 講師
委員歴 (1件):
2008/09 - 2011/03 日本自動車研究所 自動車電子システム調査委員会
所属学会 (4件):
INCOSE
, IEEE
, ACM
, ソサエティ・オブ・オートモーティブ・エンジニアズ
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM