氏名

テイ ケンジ

鄭 顕志

職名

准教授(任期付)

所属

(国際理工学センター)

本属以外の学内所属

学内研究所等

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

研究所員 2018年-

学歴・学位

学位

博士

外部研究資金

科学研究費採択状況

研究種別:

行動の意図を把握するソーシャルセンサ~物理センサ融合マイニング基盤

2018年-0月-2022年-0月

配分額:¥17160000

研究種別:

IoT向け自律協調自己適応機構とその形式検証手法の研究

2018年-0月-2022年-0月

配分額:¥17290000

研究種別:

想定に漏れた環境変化にしなやかに耐える実行時モデルフレームワーク

2018年-0月-2022年-0月

配分額:¥16640000

研究種別:

しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク

2017年-0月-2022年-0月

配分額:¥43940000

研究種別:

想定に漏れた環境変化に耐えるソフトウェアを実現する実行時モデル更新技術

2016年-0月-2018年-0月

配分額:¥3380000

研究種別:

異種ユビキタスプラットフォームを横断する,保障を伴う自己適応に関する研究

2016年-1月-2019年-0月

配分額:¥2100000

研究種別:

センサネットワークにおけるセンサデータの自己修復に関する研究

2014年-0月-2017年-0月

配分額:¥4420000

研究種別:

センサーソフトウェア工学の確立に関する研究

2013年-0月-2018年-0月

配分額:¥17550000

研究種別:

想定外に備えた空間制御ソフトウェアの分析・設計・検証手法

2012年-0月-2015年-0月

配分額:¥44850000

研究種別:

対象追跡システムのための無線センサーネットワーク感度調整に関する研究

2011年-0月-2014年-0月

配分額:¥4030000

研究種別:

オープン無線センサーネットワークのためのミドルウェアに関する研究

配分額:¥42510000

学内研究制度

特定課題研究

センサーネットワークにおけるアプリケーション開発手法に関する研究

2009年度

研究成果概要: 無線センサーネットワークにおけるアプリケーション開発では,ネットワークの詳細を隠蔽し,複数のノードで実行すべきマクロな振る舞いを記述可能とするDomain Specific Language(DSL)を用いた開発が主流となってい... 無線センサーネットワークにおけるアプリケーション開発では,ネットワークの詳細を隠蔽し,複数のノードで実行すべきマクロな振る舞いを記述可能とするDomain Specific Language(DSL)を用いた開発が主流となっている.しかし,現在は,抽象化の度合いが異なるDSLが乱立しており,記述したアプリケーションを他のDSLに移植するコストが増大している.そこで本研究では,モデル駆動開発に基づき,アプリケーションをDSL非依存のモデルで記述し,変換ルールによってDSL依存のモデルを自動生成する,開発プロセスを目指す. このようなモデル駆動開発では,DSL非依存のモデルを記述するモデリング言語と,各DSL依存のモデルに変換する変換ルールが必要となる.しかし,DSL非依存モデルのモデリング言語を設計する場合,その記述の抽象度が課題となる.既存のDSLは,計測したいデータに関する性質のみを宣言的に記述するDSLや,分散ネットワーク上での分散計測処理を手続き的に記述するDSLなど,DSL上で記述される抽象度が異なる.DSL非依存のモデルの抽象度をある抽象度にあわせた場合,他の抽象度で記述するDSLに変換する場合,記述の抜け漏れ・重複が生じてしまい,開発工数の増加,保守性の低下などを招いてしまう. そこで本研究では,DSLを抽象度毎のカテゴリに分け,各カテゴリの抽象度に合わせたDSL非依存モデリング言語と,抽象度毎の非依存モデル間を変換する変換ルールを提案した.抽象度に基づいたカテゴリに応じて非依存モデルを記述することで,複数のセンサーネットワークに移植する際に生じる冗長な作業工程を排除し,開発工数低減,保守性の向上することができる. 本研究では,提案した開発手法に基づき,火災検知アプリケーションを抽象度の異なる2つのDSLに移植する事例で開発工数に関する評価を行い,従来の開発手法と比較し,開発工数を低減できることを確認した.

現在担当している科目

科目名開講学部・研究科開講年度学期
Research Project C基幹理工学部2020秋学期
Research Project C基幹理工学部2020秋学期
Research Project C 【前年度成績S評価者用】基幹理工学部2020秋学期
Research Project C 【S Grade】基幹理工学部2020秋学期
Research Project A基幹理工学部2020秋学期
Research Project A基幹理工学部2020秋学期
C Programming (3) (APRIL Enrollees : 2nd year / SEPTEMBER Enrollees : 1st year)基幹理工学部2020春学期
C Programming (3) (APRIL Enrollees : 2nd year / SEPTEMBER Enrollees : 1st year)創造理工学部2020春学期
C Programming (3) (APRIL Enrollees : 2nd year / SEPTEMBER Enrollees : 1st year)先進理工学部2020春学期
Topics from Computer Science and Communications Research基幹理工学部2020春クォーター
Introduction to Computer Science (1)基幹理工学部2020春クォーター
Introduction to Computer Science (1)創造理工学部2020春クォーター
Introduction to Computer Science (1)先進理工学部2020春クォーター
Topics from Computer Science and Communications Research [S Grade]基幹理工学部2020春クォーター
Logic Circuits基幹理工学部2020秋学期
Logic Circuits基幹理工学部2020秋学期
Logic Circuits基幹理工学部2020秋学期
Logic Circuits基幹理工学部2020秋学期
Logic Circuits [S Grade]基幹理工学部2020秋学期
Computer Science and Communications Engineering Laboratory A基幹理工学部2020秋学期
Computer Science and Engineering Laboratory基幹理工学部2020秋学期
Computer Science and Engineering Laboratory基幹理工学部2020秋学期
Computer Science and Communications Engineering Laboratory A [S Grade]基幹理工学部2020秋学期
Algorithms and Data Structures基幹理工学部2020春学期
Algorithms and Data Structures基幹理工学部2020春学期
Algorithms and Data Structures基幹理工学部2020春学期
Algorithms and Data Structures基幹理工学部2020春学期
Algorithms and Data Structures基幹理工学部2020春学期
Introduction to Computers and Networks基幹理工学部2020春学期
Computer Architecture基幹理工学部2020秋学期
Computer Systems基幹理工学部2020秋学期
Computer Systems基幹理工学部2020秋学期
Computer Systems基幹理工学部2020秋学期
Computer Systems基幹理工学部2020秋学期
Computer Science and Communications Engineering Laboratory B基幹理工学部2020春学期
Autonomous Agent System大学院基幹理工学研究科2020秋学期
自律エージェントシステム特論大学院基幹理工学研究科2020秋学期