研究課題
基盤研究(C)
近年、情報処理基盤として注目されているクラウドコンピューティング環境で、企業情報システムなどの基幹システムを稼働させるための基本技術となる、データ整合性の保証と性能予測、およびセキュリティ機能の適合性に関する基礎研究および応用研究を行い、カラーペトリネットによるシミュレーションとUPPAALによる論理的な検証・評価を統合した手法を確立した。また、システムの機能面を厳密に定義するため、仕様記述言語のVDM++も補完的に使用した。出来る限り広範囲のアプリケーションに対応できるようにするため、クラウドの共通的基盤部分とアプリケーション固有部分を明確に分離する手法も開発した。
すべて 2016 2015 2014 2013
すべて 雑誌論文 (13件) (うち査読あり 7件、 謝辞記載あり 11件) 学会発表 (12件)
Proceedings of the 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing
巻: 978-1-4673-9473-4 ページ: 134-140
Communications in Computer and Information Science
巻: 555 ページ: 251-265
10.1007/978-3-319-25579-8_15
電子情報通信学会技術研究報告
巻: 115(353) ページ: 19-24
巻: 115(486) ページ: 253-258
Proceedings of the 30th International Conference on Computers and Their Applications
巻: 978-1-880843-98-7 ページ: 169-174
巻: 114-525 ページ: 25-30
Proceedings of the 4th International Conference on Cloud Computing and Services
巻: 978-989-758-019-2 ページ: 457-462
巻: 114-188 ページ: 29-34
巻: 114-188 ページ: 35-39
Proceedings of the 9th International Conference on Software Engineering and Applications
巻: 978-989-758-036-9 ページ: 393-400
巻: 978-989-758-036-9 ページ: 401-406
巻: 113 ページ: 15-20
巻: 113 ページ: 1-7
