Name

TEI, Kenji

Official Title

Associate Professor(without tenure)

Affiliation

(Global Center for Science and Engineering)

Sub-affiliation

Affiliated Institutes

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

研究所員 2018-

Research Grants & Projects

Grant-in-aids for Scientific Research Adoption Situation

Research Classification:

Research on autonomous cooperative self-adaptation mechanisms and formal verification of them

2018/-0-2022/-0

Allocation Class:¥17290000

Research Classification:

Controlled Adaptation across Ubiquitous Heterogeneous Platforms

2016/-1-2019/-0

Allocation Class:¥2100000

Research Classification:

Self-healing sensor data for wireless sensor networks

2014/-0-2017/-0

Allocation Class:¥4420000

Research Classification:

Research on Establishment of Sensor-based Software Engineering

2013/-0-2018/-0

Allocation Class:¥17550000

Research Classification:

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

2012/-0-2015/-0

Allocation Class:¥44850000

Research Classification:

Configuring Resolution of Wireless Sensor Network for Target Tracking System

2011/-0-2014/-0

Allocation Class:¥4030000

Research Classification:

A middleware for open wireless sensor networks

Allocation Class:¥42510000

On-campus Research System

Special Research Project

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

2009

Research Results Outline: 無線センサーネットワークにおけるアプリケーション開発では,ネットワークの詳細を隠蔽し,複数のノードで実行すべきマクロな振る舞いを記述可能とするDom 無線センサーネットワークにおけるアプリケーション開発では,ネットワークの詳細を隠蔽し,複数のノードで実行すべきマクロな振る舞いを記述可能とする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に移植する事例で開発工数に関する評価を行い,従来の開発手法と比較し,開発工数を低減できることを確認した.

Lecture Course

Course TitleSchoolYearTerm
Research Project CSchool of Fundamental Science and Engineering2019fall semester
Research Project CSchool of Fundamental Science and Engineering2019fall semester
Research Project CSchool of Fundamental Science and Engineering2020fall semester
Research Project CSchool of Fundamental Science and Engineering2020fall 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 C [S Grade]School of Fundamental Science and Engineering2020fall semester
Research Project C [S Grade]School of Fundamental Science and Engineering2020fall semester
Research Project ASchool of Fundamental Science and Engineering2019fall semester
Research Project ASchool of Fundamental Science and Engineering2019fall semester
Research Project ASchool of Fundamental Science and Engineering2020fall semester
Research Project ASchool of Fundamental Science and Engineering2020fall semester
C Programming (3) (APRIL Enrollees : 2nd year / SEPTEMBER Enrollees : 1st year)School of Fundamental Science and Engineering2019spring semester
C Programming (3) (APRIL Enrollees : 2nd year / SEPTEMBER Enrollees : 1st year)School of Creative Science and Engineering2019spring semester
C Programming (3) (APRIL Enrollees : 2nd year / SEPTEMBER Enrollees : 1st year)School of Advanced Science and Engineering2019spring semester
C Programming (3) (APRIL Enrollees : 2nd year / SEPTEMBER Enrollees : 1st year)School of Fundamental Science and Engineering2020spring semester
C Programming (3) (APRIL Enrollees : 2nd year / SEPTEMBER Enrollees : 1st year)School of Creative Science and Engineering2020spring semester
C Programming (3) (APRIL Enrollees : 2nd year / SEPTEMBER Enrollees : 1st year)School of Advanced Science and Engineering2020spring semester
Topics from Computer Science and Communications ResearchSchool of Fundamental Science and Engineering2019spring quarter
Introduction to Computer Science (1)School of Fundamental Science and Engineering2019spring quarter
Introduction to Computer Science (1)School of Creative Science and Engineering2019spring quarter
Introduction to Computer Science (1)School of Advanced Science and Engineering2019spring quarter
Topics from Computer Science and Communications ResearchSchool of Fundamental Science and Engineering2020spring quarter
Introduction to Computer Science (1)School of Fundamental Science and Engineering2020spring quarter
Introduction to Computer Science (1)School of Creative Science and Engineering2020spring quarter
Introduction to Computer Science (1)School of Advanced Science and Engineering2020spring quarter
Topics from Computer Science and Communications Research [S Grade]School of Fundamental Science and Engineering2019spring quarter
Topics from Computer Science and Communications Research [S Grade]School of Fundamental Science and Engineering2020spring quarter
Logic CircuitsSchool of Fundamental Science and Engineering2019fall semester
Logic CircuitsSchool of Fundamental Science and Engineering2019fall semester
Logic CircuitsSchool of Fundamental Science and Engineering2019fall semester
Logic CircuitsSchool of Fundamental Science and Engineering2019fall semester
Logic CircuitsSchool of Fundamental Science and Engineering2020fall semester
Logic CircuitsSchool of Fundamental Science and Engineering2020fall semester
Logic CircuitsSchool of Fundamental Science and Engineering2020fall semester
Logic CircuitsSchool of Fundamental Science and Engineering2020fall semester
Logic Circuits [S Grade]School of Fundamental Science and Engineering2019fall semester
Logic Circuits [S Grade]School of Fundamental Science and Engineering2020fall 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 ASchool of Fundamental Science and Engineering2020fall semester
Computer Science and Engineering LaboratorySchool of Fundamental Science and Engineering2020fall semester
Computer Science and Engineering LaboratorySchool of Fundamental Science and Engineering2020fall semester
Computer Science and Communications Engineering Laboratory A [S Grade]School of Fundamental Science and Engineering2019fall semester
Computer Science and Communications Engineering Laboratory A [S Grade]School of Fundamental Science and Engineering2020fall semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2020spring semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2020spring semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2020spring semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2020spring semester
Algorithms and Data StructuresSchool of Fundamental Science and Engineering2020spring semester
Introduction to Computers and NetworksSchool of Fundamental Science and Engineering2020spring semester
Computer ArchitectureSchool of Fundamental Science and Engineering2019fall semester
Computer SystemsSchool of Fundamental Science and Engineering2020fall semester
Computer SystemsSchool of Fundamental Science and Engineering2020fall semester
Computer SystemsSchool of Fundamental Science and Engineering2020fall semester
Computer ArchitectureSchool of Fundamental Science and Engineering2020fall semester
Computer SystemsSchool of Fundamental Science and Engineering2020fall semester
Computer Science and Communications Engineering Laboratory BSchool of Fundamental Science and Engineering2020spring semester
Autonomous Agent SystemGraduate 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 Engineering2020fall semester
Autonomous Agent SystemGraduate School of Fundamental Science and Engineering2020fall semester