Name

HONIDEN, Shinichi

Official Title

Professor(without tenure)

Affiliation

(Global Center for Science and Engineering)

Sub-affiliation

Affiliated Institutes

グローバルソフトウェアエンジニアリング研究所

研究所員 2018-

理工学術院総合研究所(理工学研究所)

兼任研究員 2018-

Research Grants & Projects

Grant-in-aids for Scientific Research Adoption Situation

Research Classification:

Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models

2017/-0-2021/-0

Allocation Class:¥14300000

Research Classification:

Models@run.time for software tolerant to unforseen changes in the environment

2016/-0-2018/-0

Allocation Class:¥3380000

Research Classification:

Detection of Unexpected by Runtime Goal Model Tracking

2015/-0-2017/-0

Allocation Class:¥3250000

Research Classification:

Self-healing sensor data for wireless sensor networks

2014/-0-2017/-0

Allocation Class:¥4420000

Research Classification:

Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical Systems

2012/-0-2015/-0

Allocation Class:¥44850000

Research Classification:

Research on Multi-Agent Middleware Supporting Ubiquitous Application Development

Allocation Class:¥19110000

Research Classification:

Research on Design Verification Process Using Model Checking

Allocation Class:¥4160000

Research Classification:

A middleware for open wireless sensor networks

Allocation Class:¥42510000

Research Classification:

Software Development Methodologies and a Supportive Environment for Grid-based Services

Allocation Class:¥45630000

Research Classification:

Realization of Security Polices based on Enterprise Organizational Structur by using Evolutional Agent Architecture

Allocation Class:¥3300000

Research Classification:

Research for Developing Knowledge Symbiosis Models for Network Distributed Knowledge Systems

Allocation Class:¥15000000

On-campus Research System

Special Research Project

保証を伴うしなやかなシステムを実現する制御理論融合自己適応ソフトウェアシステ ム

2018Collaborator:鄭顕志

Research Results Outline:制御理論とソフトウェア工学技術を融合した自己適応ソフトウェア開発方法論を構築し、さらに不確かなオープン環境下におけるソフトウェアシステムの品質保証を制御理論とソフトウェア工学技術を融合した自己適応ソフトウェア開発方法論を構築し、さらに不確かなオープン環境下におけるソフトウェアシステムの品質保証を可能とするソフトウェアアーキテクチャの構築を目指している。その具体化への足がかりとして、代表的なマ...制御理論とソフトウェア工学技術を融合した自己適応ソフトウェア開発方法論を構築し、さらに不確かなオープン環境下におけるソフトウェアシステムの品質保証を可能とするソフトウェアアーキテクチャの構築を目指している。その具体化への足がかりとして、代表的なマルチエージェントプラットフォームであるJADEを利用して、自己適応システムを実現するプラットフォームの設計、実装し、 制御理論を扱うための機能拡張を行った。また、制御理論による自己適応システムを実現するプラットフォーム上で動作するサンプルアプリケーションを開発し、ソフトウェアアーキテクチャの有用性を確認した。

体感品質に基づいたユビキタスサービスの開発を支援するフレームワークの検討

2018Collaborator:鄭顕志

Research Results Outline:大型の外部資金が獲得できた場合の最終的な目標は、視覚・聴覚によるユーザ体感への影響に基づく機器管理システムと、使用できる機器に応じて体感品質を最大化す大型の外部資金が獲得できた場合の最終的な目標は、視覚・聴覚によるユーザ体感への影響に基づく機器管理システムと、使用できる機器に応じて体感品質を最大化するようサービスフローを変更するサービスモデルフレームワークを提案し、それらを統合したユビキタスサー...大型の外部資金が獲得できた場合の最終的な目標は、視覚・聴覚によるユーザ体感への影響に基づく機器管理システムと、使用できる機器に応じて体感品質を最大化するようサービスフローを変更するサービスモデルフレームワークを提案し、それらを統合したユビキタスサービスフレームワークを開発することで、高品質なユビキタスサービスの開発コストを低減することである。それを見据えて、本特定課題研究助成費において、実施項目1では,視覚・聴覚効果に基づく機器管理システムの概要を検討し、実施項目2では体感品質を最大化するサービスフロー切替えに対応したサービスモデルフレームワークの構築手法を検討した。

Lecture Course

Course TitleSchoolYearTerm
Bachelor Thesis ASchool of Fundamental Science and Engineering2019full year
Bachelor Thesis A [S Grade]School of Fundamental Science and Engineering2019full year
Bachelor Thesis BSchool of Fundamental Science and Engineering2019full year
Bachelor Thesis B [S Grade]School of Fundamental Science and Engineering2019full year
Project Research ASchool of Fundamental Science and Engineering2019spring semester
Project Research BSchool of Fundamental Science and Engineering2019fall semester
Bachelor Thesis ASchool of Fundamental Science and Engineering2019full year
Bachelor Thesis A [S Grade]School of Fundamental Science and Engineering2019full year
Bachelor Thesis BSchool of Fundamental Science and Engineering2019full year
Bachelor Thesis B [S Grade]School of Fundamental Science and Engineering2019full year
Project Research ASchool of Fundamental Science and Engineering2019spring semester
Project Research BSchool of Fundamental Science and Engineering2019fall semester
Research Project BSchool of Fundamental Science and Engineering2019spring semester
Research Project BSchool of Fundamental Science and Engineering2019spring semester
Research Project BSchool of Fundamental Science and Engineering2019spring semester
Research Project B [S Grade]School of Fundamental Science and Engineering2019spring semester
Research Project CSchool of Fundamental Science and Engineering2019fall semester
Research Project CSchool of Fundamental Science and Engineering2019fall semester
Research Project C [S Grade]School of Fundamental Science and Engineering2019fall semester
Research Project C [S Grade]School of Fundamental Science and Engineering2019fall semester
Research Project ASchool of Fundamental Science and Engineering2019fall semester
Research Project ASchool of Fundamental Science and Engineering2019fall semester
Research Project DSchool of Fundamental Science and Engineering2019spring semester
Research Project DSchool of Fundamental Science and Engineering2019spring semester
Computer Science and Communications Engineering Laboratory ASchool of Fundamental Science and Engineering2019fall semester
Computer Science and Engineering LaboratorySchool of Fundamental Science and Engineering2019fall semester
Computer Science and Engineering LaboratorySchool of Fundamental Science and Engineering2019fall semester
Computer Science and Communications Engineering Laboratory A [S Grade]School of Fundamental Science and Engineering2019fall semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2019spring semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2019spring semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2019spring semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2019spring semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2019spring semester
Introduction to Computers and NetworksSchool of Fundamental Science and Engineering2019spring semester
Master's Thesis (Department of Computer Science and Communications Engineering)Graduate School of Fundamental Science and Engineering2019full year
Research on Autonomous Agent SystemGraduate School of Fundamental Science and Engineering2019full year
Research on Autonomous Agent SystemGraduate School of Fundamental Science and Engineering2019full year
Special Laboratory A in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019spring semester
Special Laboratory A in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019spring semester
Special Laboratory B in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019fall semester
Special Laboratory B in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019fall semester
Autonomous Agent SystemGraduate School of Fundamental Science and Engineering2019fall semester
Autonomous Agent SystemGraduate School of Fundamental Science and Engineering2019fall semester
Seminar on Autonomous Agent System AGraduate School of Fundamental Science and Engineering2019spring semester
Seminar on Autonomous Agent System AGraduate School of Fundamental Science and Engineering2019spring semester
Seminar on Autonomous Agent System BGraduate School of Fundamental Science and Engineering2019fall semester
Seminar on Autonomous Agent System BGraduate School of Fundamental Science and Engineering2019fall semester
Seminar on Autonomous Agent System CGraduate School of Fundamental Science and Engineering2019spring semester
Seminar on Autonomous Agent System CGraduate School of Fundamental Science and Engineering2019spring semester
Seminar on Autonomous Agent System DGraduate School of Fundamental Science and Engineering2019fall semester
Seminar on Autonomous Agent System DGraduate School of Fundamental Science and Engineering2019fall semester
Master's Thesis (Department of Computer Science and Communications Engineering)Graduate School of Fundamental Science and Engineering2019full year
Research on Autonomous Agent SystemGraduate School of Fundamental Science and Engineering2019full year