2022/06/28 更新

写真a

テイ ケンジ
鄭 顕志
所属
理工学術院 国際理工学センター(理工学術院)
職名
准教授(任期付)
プロフィール

2008 年早稲田大学大学院理工学研究科博士課程修了.

同大学助手,助教,国立情報学研究所助教,准教授,早稲田大学研究院准教授/主任研究員を経て 2019 年より早稲田大学准教授.現在に至る.現在,国立情報学研究所 GRACEセンター特任准教授を兼任.

博士 (工学) (早稲田大学).

自己適応システム,ソフトウェアアーキテクチャ,モデル駆動工学の研究に従事.

情報処理学会,IEEE Computer Society各会員.

兼担

  • 政治経済学術院   政治経済学部

  • 理工学術院   大学院基幹理工学研究科

学内研究所等

  • 2020年
    -
    2022年

    理工学術院総合研究所   兼任研究員

学位

  • 2008年03月   早稲田大学   博士(工学)

経歴

  • 2019年09月
    -
    継続中

    早稲田大学   理工学術院 国際理工学センター   准教授

  • 2018年04月
    -
    継続中

    国立情報学研究所   GRACEセンター   特任准教授

  • 2018年04月
    -
    2019年09月

    早稲田大学   理工学術院総合研究所   研究院准教授 / 主任研究員

  • 2015年04月
    -
    2018年03月

    総合研究大学院大学   准教授

  • 2015年04月
    -
    2018年03月

    国立情報学研究所   アーキテクチャ科学研究系   准教授

  • 2010年04月
    -
    2015年03月

    国立情報学研究所   アーキテクチャ科学研究系   助教

  • 2010年04月
    -
    2015年03月

    総合研究大学院大学   助教

  • 2008年04月
    -
    2010年03月

    国立情報学研究所アーキテクチャ科学研究系   特任助教(非常勤)

  • 2008年04月
    -
    2010年03月

    早稲田大学   メディアネットワークセンター   助教

  • 2008年04月
    -
    2010年03月

    Information Systems Architecture Science Research Division, National Institute of Informatics   Project Assistant Professor

  • 2008年04月
    -
    2010年03月

    早稲田大学   メディアネットワークセンター

  • 2007年04月
    -
    2008年03月

    早稲田大学基幹理工学部   助手

  • 2006年04月
    -
    2008年03月

    早稲田大学   理工学術院

  • 2005年04月
    -
    2008年03月

    国立情報学研究所   リサーチアシスタント

  • 2006年04月
    -
    2007年03月

    早稲田大学理工学部   助手

▼全件表示

所属学協会

  •  
     
     

    ACM

  •  
     
     

    IEEE Computer Society

  •  
     
     

    情報処理学会

 

研究分野

  • ソフトウェア

研究キーワード

  • 要求分析

  • ソフトウェアアーキテクチャ

  • 自己適応システム

  • Cyber-Physical System

  • Software Pattern

  • Model-driven Architecture

  • Wireless Sensor Network

  • Distributed Computing

  • モデル駆動開発

  • モバイルエージェント

  • ソフトウェア工学

  • センサーネットワーク

▼全件表示

論文

  • Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation

    Jialong Li, Kenji Tei

    the 30th IEEE International Requirements Engineering (RE'22)    2022年08月  [査読有り]  [国際誌]

    担当区分:最終著者

     概要を見る

    to appear

  • From Local to Global: A Curriculum Learning Approach for Reinforcement Learning-based Traffic Signal Control

    Nianzhao Zheng, Jialong Li, Zhenyu Mao, Kenji Tei

    the 2022 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI)    2022年06月  [査読有り]  [国際誌]

    担当区分:最終著者

     概要を見る

    to appear

  • Towards scalable model checking of reflective systems via labeled transition systems

    Kenji Tei, Yasuyuki Tahara, Akihiko Ohsuga

    IEEE Transactions on Software Engineering (TSE)     1 - 23  2022年05月  [査読有り]  [国際誌]

    担当区分:筆頭著者, 責任著者

     概要を見る

    early access

    DOI

  • Safe Reinforcement Learning through Hierarchical Shielding with Self-Adaptive Techniques

    Prasanth Senthilvelan, Jialong Li, Kenji Tei

    IEEE 9th International Conference on Industrial Engineering and Applications (ICIEA 2022)    2022年04月  [査読有り]  [国際誌]

    担当区分:最終著者

     概要を見る

    to appear

  • 列車自動運転を伴う運転整理MIPモデルの移動閉塞下への適用

    川添 宏介, 山内 拓人, 鄭 顕志, 富井 規雄, 本位田 真一

    情報処理学会論文誌    2022年03月  [査読有り]  [国内誌]

     概要を見る

    to appear

  • Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework

    Jiali Ling, Jialong Li, Kenji Tei, Shinichi Honiden

    The 5th IEEE International Conference on Agents (IEEE ICA2021)     47 - 52  2021年12月  [査読有り]  [国際誌]

    DOI

  • A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis

    Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, Kenji Tei

    The 14th IEEE International Conference on Internet of Things (IEEE iThings-2021)     130 - 137  2021年12月  [査読有り]  [国際誌]  [国際共著]

    担当区分:最終著者

    DOI

  • OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations

    Pengcheng Jiang, Kenji Tei

    the 2021 IEEE Symposium Series on Computational Intelligence (SSCI 2021)     1 - 9  2021年12月  [査読有り]  [国際誌]

    担当区分:最終著者

    DOI

  • Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring

    Yichen Ding, Jialong Li, Kenji Tei, Shinichi Honiden

    IEEE 10th Global Conference on Consumer Electronics (GCCE 2021)     736 - 739  2021年10月  [査読有り]  [国際誌]

    DOI

  • Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control

    Zhenyu Mao, Jialong Li, Nianzhao Zheng, Kenji Tei, Shinichi Honiden

    IEEE 10th Global Conference on Consumer Electronics (GCCE 2021)     304 - 307  2021年10月  [査読有り]  [国際誌]

    DOI

  • A Meta Reinforcement Learning-based Approach for Self-Adaptive System

    Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden, Zhi Jin

    2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS2021)     1 - 10  2021年09月  [査読有り]  [国際誌]  [国際共著]

    DOI

  • 離散制御器合成によるサービスロボット向け行動計画自動生成手法

    笠井 栄良, 鄭 顕志

    マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2021)    2021年06月  [査読有り]  [国内誌]

    担当区分:最終著者

     概要を見る

    to appear

  • Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning

    Danny Weyns, Bradley Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei

    16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2021)     217 - 223  2021年05月  [査読有り]  [国際誌]  [国際共著]

    担当区分:最終著者

     概要を見る

    to appear

  • Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model

    Takanori Hirano, Kenji Tei, Kazuya Aizawa, Shinichi Honiden

    IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA 2021)     91 - 100  2021年04月  [査読有り]  [国際誌]

    DOI

  • Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence

    Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden

    IEEE 3rd Global Conference on Life Sciences and Technologies (LifeTech2021)     204 - 206  2021年03月  [査読有り]

    DOI

  • Heterogeneous Information Network based Adaptive Social Influence Learning for recommendation and explanation

    Munan Li, Kenji Tei, Yoshiaki Fukazawa

    The 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'20)     137 - 144  2020年12月  [査読有り]  [国際誌]

    DOI

  • Identifying achievable goals for adaptive replanning against runtime environment change

    Jialong Li, Kenji Tei, Shinichi Honiden

    The 20th International Conference on Intelligent Systems Design and Applications (ISDA)     945 - 955  2020年12月  [査読有り]  [国際誌]

    DOI

  • Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis

    Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    IEEE Third International Conference on AI and Knowledge Engineering (AIKE)     168 - 173  2020年12月  [査読有り]  [国際誌]

    DOI

  • Method for Low-Cost Environment Partitioning Modeling in Dynamic Update

    Takuto Yamauchi, Kenji Tei, Shinichi Honiden

    IEEE Third International Conference on AI and Knowledge Engineering (AIKE)     183 - 187  2020年12月  [査読有り]  [国際誌]

    DOI

  • Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault

    Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden

    The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)     33 - 40  2020年12月  [査読有り]

    DOI

  • Dynamic Update of Discrete Event Controllers

    L. Nahabedian, V. Braberman, N. DIppolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel

    IEEE Transactions on Software Engineering (TSE)   46   1220 - 1240  2020年11月  [査読有り]  [国際共著]

    DOI

  • Smart SE: Smart Systems and Services Innovative Professional Education Program

    Hironori Washizaki, Kenji Tei, Kazunori Ueda, Hayato Yamana, Yoshiaki Fukazawa, Shinichi Honiden, Shoichi Okazaki, Nobukazu Yoshioka, Naoshi Uchihira

    The 44th IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2020)     1113 - 1114  2020年07月  [査読有り]

    DOI

  • モデル予測制御と離散制御器合成による外部環境の動的特性を考慮した適応制御手法

    安曽 徳康, 小川 雅俊, 松塚 貴英, 鄭 顕志

    マルチメディア,分散,協調とモバイルシンポジウム(DICOMO2020)    2020年06月  [査読有り]

    担当区分:最終著者

  • Towards Bridging the Gap between Control and Self-Adaptive System Properties

    Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei

    15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020)     78 - 84  2020年05月  [査読有り]

    担当区分:最終著者

     概要を見る

    to appear

  • 違反状態抽象化による保証可能な安全性特定のための分析空間削減

    相澤和也, 鄭 顕志, 本位田 真一

    電子情報通信学会論文誌 D   J103-D ( 4 ) 238 - 246  2020年04月  [査読有り]

  • 活性と同時に保証可能な安全性特定のためのゲーム分析アルゴリズム

    相澤和也, 鄭顕志, 本位田真一

    情報処理学会論文誌   61 ( 4 ) 853 - 862  2020年04月  [査読有り]

  • An Efficient Adaptive Attention Neural Network for Social Recommendation

    Munan Li, Kenji Tei, Yoshiaki Fukazawa

    IEEE Access   8   63595 - 63606  2020年  [査読有り]

    DOI

  • Minimising Makespan of Discrete Controllers: A Qualitative Approach

    Ezequiel Castellano, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel, Kenji Tei

    2019 IEEE 58th Conference on Decision and Control (CDC)     1068 - 1075  2019年12月  [査読有り]

    DOI

  • An efficient co-Attention Neural Network for Social Recommendation

    Munan Li, Kenji Tei, Yoshiaki Fukazawa

    IEEE/WIC/ACM International Conference on Web Intelligence (WI'19)     34 - 42  2019年10月  [査読有り]

     概要を見る

    to appear

  • 自己適応システムのための環境モデル実行時更新手法

    田邉 萌香, 鄭 顕志, 本位田 真一

    情報処理学会論文誌   60 ( 10 ) 1617 - 1630  2019年10月  [査読有り]

  • Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems

    Kazuya Aizawa, Kenji Tei, Shinichi Honiden

    The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019)     1363 - 1370  2019年08月  [査読有り]

     概要を見る

    to appear

  • A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments

    Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei

    2nd International Workshop on Robotics Software Engineering (RoSE 2019)     5 - 12  2019年05月  [査読有り]

    DOI

  • Modelling and Analysing Resilient Cyber-Physical Systems

    Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinishi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao

    the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)     70 - 76  2019年05月  [査読有り]

    DOI

  • 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム

    相澤和也, 鄭顕志, 本位田真一

    情報処理学会論文誌   60 ( 4 ) 1025 - 1039  2019年04月  [査読有り]

  • Identifying safety properties guaranteed in changed environment at runtime

    Kazuya Aizawa, Kenji Tei, Shinichi Honiden

    the 3rd IEEE International Conference on Agents (ICA 2018)     75 - 80  2018年09月  [査読有り]

    DOI

  • Applicability of earned value management for deadline energy constrained applications

    S. Suenaga, K. Tei, S. Honiden

    IEEE International Conference on Industrial Engineering and Engineering Management   2017-   691 - 695  2018年02月  [査読有り]

     概要を見る

    Earned Value Management (EVM) is a progress management method in project management. EVM is used as metrics to analyze execution statuses of projects that need to be accomplished within deadlines and limited budgets. By replacing budgets used in project management with energy used in applications, we can apply EVM as metrics to analyze execution statuses of Deadline Energy Constrained (DEC) applications that execute tasks within deadlines and limited energy. DEC applications are often seen in applications that need to consume energy within limits, for example, Wireless Sensor Networks (WSNs), Electric Cars (ECs), and Unmanned Aerial Vehicle (UAV). In this paper, we introduce new possibilities of applying EVM by showing that EVM can be used to analyze execution statuses of and make changes to DEC applications.

    DOI

  • Soft-Goal Approximation Context Awareness of Goal-Driven Self-Adaptive Systems

    Aurelien Vialon, Kenji Tei, Samir Aknine

    Proceedings - 2017 IEEE International Conference on Autonomic Computing, ICAC 2017     233 - 238  2017年08月  [査読有り]

     概要を見る

    In goal-driven self-adaptive systems, a goal model is used as a requirement model and is held by the system even at runtime. At this moment, the self-adaptive system, which can change its behaviour at runtime, will be able to reason over the variability within the goal model. It will then be able to find the best behaviour to deal with environment evolutions. However, the uncertain nature of the requirements engineering concepts in a real dynamic world is not always rightfully defined. In particular, quality requirements runtime changes are almost never considered in the literacy. Specifically, a problem we highlight here is the lack of context consideration in quality constraint approximation. Our purpose is to clearly define this problem and to propose a first solution. In this paper, we introduce a flexible version of the quality constraints. This new kind of quality constraints can be rewritten at runtime to tackle the context change induced by the environment change. To stick the constraint definition to the context change, we developed a new algorithm which modifies the specification of the quality constraints at runtime.

    DOI

  • Learning environment model at runtime for self-adaptive systems

    Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    Proceedings of the ACM Symposium on Applied Computing   128005   1198 - 1204  2017年04月  [査読有り]

     概要を見る

    Self-adaptive systems alter their behavior in response to environmental changes to continually satisfy their requirements. Self-adaptive systems employ an environment model, which should be updated during runtime to maintain consistency with the real environment. Although some techniques have been proposed to learn environment model based on execution traces at the design time, these techniques are time consuming and consequently inappropriate for runtime learning. Herein, a technique using a stochastic gradient descent and the difference in the data acquired during the run-time is proposed as an efficient learning environment model. The computational time and accuracy of our technique are verified through a case study.

    DOI

  • A comparative analysis of machine learning algorithms for faults detection in wireless sensor networks

    Ehsan Ullah Warriach, Kenji Tei

    INTERNATIONAL JOURNAL OF SENSOR NETWORKS   24 ( 1 ) 1 - 13  2017年  [査読有り]

     概要を見る

    Wireless sensor networks (WSNs) deployment experiences show that collected data is prone to be faulty. Faults are due to internal and external influences, such as calibration, low battery, environmental interference and sensor aging. In this paper, we focus on faults occurred due to low battery and calibration in WSNs. Machine learning algorithms have been successfully used to identify and classify various types of faults. In this paper, we evaluate and compare the performance of k-nearest neighbour, support vector machine (SVM), and Naive Bayes machine learning algorithms by using the real-world datasets to identify and classify the faults. We present here a comparative study of the above mentioned approaches on experimental datasets. The approach is validated using real data obtained from over one month of samples from motes deployed in an actual living lab. The results show that the k-nearest neighbour (kNN) algorithm obtained a better fault detection rate than other algorithms based on given performance metrics.

    DOI

  • 自己適応システムのための実行時環境モデル学習手法

    Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    合同エージェントワークショップ&シンポジウム2016 (JAWS2016)     1 - 8  2016年09月  [査読有り]

  • 階層離散制御器合成によるマルチロボットシステムの仕様生成手法

    Masaki Katae, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    合同エージェントワークショップ&シンポジウム2016 (JAWS2016)     1 - 8  2016年09月  [査読有り]

  • Relaxing Requirements with Environment Changes for Graceful Degradation

    Kazuya Aizawa, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    5th Asian Workshop of Advanced Software Engineering    2016年03月  [査読有り]

  • Involving End-Users in Web-Based System Development with INTER-Mediator

    Masayuki Nii, Kenji Tei, Fuyuki Ishikawa

    Transactions on Engineering Technologies     79 - 93  2016年03月  [査読有り]

    DOI

  • Benchmark Datasets for Fault Detection and Classification in Sensor Data

    Bas de Bruijn, Tuan Anh Nguyen, Doina Bucur, Kenji Tei

    5th International Conference on Sensor Networks (SENSORNETS 2016)     185 - 195  2016年02月  [査読有り]

    DOI

  • Assured and Correct Dynamic Update of Controllers

    L. Nahabedian, V. Braberman, N. D'Ippolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel

    PROCEEDINGS OF 2016 IEEE/ACM 11TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS)     96 - 107  2016年  [査読有り]

     概要を見る

    In many application domains, continuous operation is a desirable attribute for software-intensive systems. As the environment or system requirements change, so the system should change and adapt without stopping or unduly disturbing its operation. There is, therefore, a need for sound engineering techniques that can cope with dynamic change. In this paper we address the problem of dynamic update of controllers in reactive systems when the specification (environment assumptions, requirements and interface) of the current system changes. We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update. Seven case studies have been implemented to validate the approach.

    DOI

  • 時空間データのためのメッシュベース結合・拡張型キャッシュ管理方式

    平山秀昭, 鄭顕志, 清雄一, 大須賀昭彦

    マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2015)     1276 - 1283  2015年07月  [査読有り]

  • EVMを利用したDBCアプリケーションのための適応フレームワーク

    末永俊一郎, 鄭顕志

    情報処理学会論文誌   56 ( 5 ) 1363 - 1376  2015年05月  [査読有り]

  • Model-driven-development-based stepwise software development process for wireless sensor networks

    Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden

    IEEE Transactions on Systems, Man, and Cybernetics: Systems   45 ( 4 ) 675 - 687  2015年04月  [査読有り]

     概要を見る

    To meet future demands for wireless sensor network (WSN) software, both experts and average software developers should be involved in WSN software development. However, WSN software development is difficult for the average software developer because data processing-related design and network-related design are tangled in the software. Here, we propose a software development process for WSN software by stepwise refinement. Our process enables stepwise refinement to separately address data processing-related and network-related concerns, reuse of well-defined designs, and implementations for network-related concerns prepared by the experts, and perform model-driven development to obtain source codes from models by model transformations. Additionally, we used case studies using actual WSN software development and user studies to evaluate how our proposed process can support actual WSN software development.

    DOI

  • Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks

    Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden

    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS   45 ( 4 ) 675 - 687  2015年04月  [査読有り]

     概要を見る

    To meet future demands for wireless sensor network (WSN) software, both experts and average software developers should be involved in WSN software development. However, WSN software development is difficult for the average software developer because data processing-related design and network-related design are tangled in the software. Here, we propose a software development process for WSN software by stepwise refinement. Our process enables stepwise refinement to separately address data processing-related and network-related concerns, reuse of well-defined designs, and implementations for network-related concerns prepared by the experts, and perform model-driven development to obtain source codes from models by model transformations. Additionally, we used case studies using actual WSN software development and user studies to evaluate how our proposed process can support actual WSN software development.

    DOI

  • Framework Enabling End-Users to Maintain Web Applications

    Masayuki Nii, Kenji Tei, Fuyuki Ishikawa

    IAENG International Conference on Internet Computing and Web Services (ICICWS'15)     387 - 394  2015年03月  [査読有り]

  • A Self-healing Framework for Online Sensor Data

    Tuan Anh Nguyen, Marco Aiello, Takuro Yonezawa, Kenji Tei

    2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING     295 - 300  2015年  [査読有り]

     概要を見る

    In pervasive computing environments, wireless sensor networks (WSNs) play an important role, collecting reliable and accurate context information so that applications are able to provide services to users on demand. In such environments, sensors should be self-adaptive by taking correct decisions based on sensed data in real-time. However, sensor data is often faulty. Faults are not so exceptional and in most deployments tend to occur frequently. Therefore, the capability of self-healing is important to ensure higher levels of reliability and availability. We design a framework which provides self-healing capabilities, enabling a flexible choice of components for detection, classification, and correction of faults at runtime. Within our framework, a variety of fault detection and classification algorithms can be applied, depending on the characteristics of the sensor data types as well as the topology of the sensor networks. A set of mechanisms for each and every step of the self-healing framework, covering detection, classification, and correction of faults are proposed. To validate the applicability, we illustrate a case study where our solution is implemented as an adaptation engine and integrated seamlessly into the ClouT system. The engine processes data coming from physical sensors deployed in Santander, Spain, providing corrected sensor data to other smart city applications developed in the ClouT project.

    DOI

  • Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case

    Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    the 11th International Conference Applied Computing 2014 (AC 2014)    2014年10月  [査読有り]

  • 無線センサネットワークにおけるデータ品質改善の為の開発プロセス

    清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一

    電子情報通信学会論文誌 D   J97-D ( 3 ) 473 - 487  2014年03月  [査読有り]

  • 自己適応ソフトウェアのための自己適応性設計に関する研究動向

    鄭 顕志, 清水 遼, 高橋 竜一, 石川 冬樹

    コンピュータソフトウェア   31 ( 1 ) 49 - 59  2014年02月  [査読有り]

    DOI

  • エンドユーザーによる保守作業を可能にする Web アプリケーションフレームワーク

    新居 雅行, 鄭 顕志, 石川 冬樹

    コンピュータソフトウェア   31 ( 1 ) 60 - 74  2014年02月  [査読有り]

    DOI

  • HoppingDuster: Self-adaptive cleaning robot based on aerial vehicle

    Kenji Tei, Shunichiro Suenaga, Shun Lee, Kazuya Aizawa, Ryuichi Takahashi, Yoshiaki Fukazawa

    UbiComp 2014 - Adjunct Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing     271 - 274  2014年  [査読有り]

     概要を見る

    Home cleaning robots have become popular. Most of the home cleaning robots are based on ground vehicles. While the cleaning robots based on ground vehicles can vacuum or wash floors robustly and efficiently, but they only clean on floors, not on stairs or furnitures. In this demo, we show a new concept of cleaning robot, called HoppingDuster. HoppingDuster is based on an aerial vehicle, which can y to stairs or furnitures to be cleaned, and hop or hover to wipe or blow down dust on them toward the floor so that the ground cleaning robot can vacuum the dust. HoppingDuster adapts its behavior to finish it cleaning within designated time and battery capacity.

    DOI

  • Project Management Inspired Framework for Action Selection in Wireless Sensor Networks

    Shunichiro Suenaga, Kenji Tei

    2014 IEEE ASIA PACIFIC CONFERENCE ON WIRELESS AND MOBILE     54 - 59  2014年  [査読有り]

     概要を見る

    Applications in wireless sensor networks (WSNs) sometimes cannot deliver the quality required by users due to packet loss and node leaving. There is a trade-off between energy and quality: increasing quality requires energy, and decreasing energy invites a lack of quality. To adjust the trade-off, actions which make changes to the energy and quality condition are required. There has been previous research on actions to reduce energy and to improve quality, but how to select actions and methods in accordance with the condition has not been established. To overcome this problem, we propose a framework that can select suitable actions from multiple choices based on an analysis of the condition by applying methods found in Project Management. This framework consists of (1) Earned Value Management (EVM) and (2) an Action Table. EVM is a metric that is used to analyze cost and progress, and the Action Table is a method to select appropriate actions in accordance with condition. Simulation results show that the proposed framework can adjust the trade-off more effectively than conventional frameworks by selecting and changing the most suitable actions.

    DOI

  • ClouT : Cloud of Things for Empowering the Citizen Clout in Smart Cities

    Kenji Tei, Levent Guergen

    2014 IEEE WORLD FORUM ON INTERNET OF THINGS (WF-IOT)     369 - +  2014年  [査読有り]

    DOI

  • Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software

    Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    2014 INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP)     253 - 260  2014年  [査読有り]

     概要を見る

    Wireless sensor networks (WSNs) play important roles in systems that interact with the real world (e.g., cyber-physical systems and internet of things). To mitigate the complex nature of WSNs, many platforms at different abstraction levels (e.g., abstraction of hardware, communications, and individual nodes) have been proposed in the last decade. WSNs in different environments might employ different platforms to satisfy nonfunctional requirements (NFRs) because the diversity of platforms results in trade-offs of NFRs and the quality of WSN heavily depends on the environment it runs. Although WSN software should be highly portable, existing approaches only support porting between operating systems and not more abstract middleware. Herein we propose a methodology with a framework to capture various platforms in the WSN domain with platform-independent multi-level models. A case study demonstrates that our framework can port WSN software to platforms at different abstraction levels and adapt the software to the new platform to improve performance.

    DOI

  • A Decentralized Scheme for Fault Detection and Classification in WSNs

    Tuan Anh Nguyen, Marco Aiello, Kenji Tei

    the 1st International Conference on Cyber-Physical Systems, Networks, and Applications, WIP session     1 - 4  2013年08月  [査読有り]

  • Fault detection in wireless sensor networks: A machine learning approach

    Ehsan Ullah Warriach, Kenji Tei

    Proceedings - 16th IEEE International Conference on Computational Science and Engineering, CSE 2013     758 - 765  2013年  [査読有り]

     概要を見る

    Wireless Sensor Network (WSN) deployment experiences show that collected data is prone to be faulty. Faults are due to internal and external influences, such as calibration, low battery, environmental interference and sensor aging. However, only few solutions exist to deal with faulty sensory data in WSN. We develop a statistical approach to detect and identify faults in a WSN. In particular, we focus on the identification and classification of data and system fault types as it is essential to perform accurate recovery actions. Our method uses Hidden Markov Models (HMMs) to capture the fault-free dynamics of an environment and dynamics of faulty data. It then performs a structural analysis of these HMMs to determine the type of data and system faults affecting sensor measurements. The approach is validated using real data obtained from over one month of samples from motes deployed in an actual living lab. © 2013 IEEE.

    DOI

  • Applying time series analysis and neighbourhood voting in a decentralised approach for fault detection and classification in WSNs

    Tuan Anh Nguyen, Doina Bucur, Marco Aiello, Kenji Tei

    ACM International Conference Proceeding Series     234 - 241  2013年  [査読有り]

     概要を見る

    In pervasive computing environments, wireless sensor networks play an important infrastructure role, collecting reliable and accurate context information so that applications are able to provide services to users on demand. In such environments, sensors should be self-adaptive by taking correct decisions based on sensed data in real-time in a decentralised manner
    however, sensed data is often faulty. We thus design a decentralised scheme for fault detection and classification in sensor data in which each sensor node does localised fault detection. A combination of neighbourhood voting and time series data analysis techniques are used to detect faults. We also study the comparative accuracy of both the union and the intersection of the two techniques. Then, detected faults are classified into known fault categories. An initial evaluation with SensorScope, an outdoor temperature dataset, confirms that our solution is able to detect and classify faulty readings into four fault types, namely, 1) random, 2) malfunction, 3) bias, and 4) drift with accuracy up to 95%. The results also show that, with the experimental dataset, the time series data analysis technique performs comparable well in most of the cases, whilst in some other cases the support from neighbourhood voting technique and histogram analysis helps our hybrid solution to successfully detects the faults of all types. Copyright © 2013 ACM.

    DOI

  • Intention-based automated composition approach for coordination protocol

    Ryuichi Takahashi, Fuyuki Ishikawa, Kenji Tei, Yoshiaki Fukazawa

    Proceedings - IEEE 20th International Conference on Web Services, ICWS 2013     260 - 267  2013年  [査読有り]

     概要を見る

    In systems that require several services to collaborate, specifying coordination protocols is vital, but costly. Additionally, several properties, which are derived from laws, regulations, requirements, etc., must be satisfied. Coordination protocol composition approaches construct specific protocols in a cost effective manner in accordance with the composition intentions. However, existing composition approaches are insufficient in terms of satisfying properties. Existing approaches use concrete specifications to identify composition intentions and do not consider interference between compositions. Herein we propose a new composition approach in which a developer directly expresses his or her intentions as constraints via metadata, and then the system searches for optimal composition methods based on the constraints. © 2013 IEEE.

    DOI

  • Faults in Sensory Readings: Classification and Model Learning

    Valentina Baljak, Tei Kenji, Shinichi Honiden

    Sensors & Transducers Journal   18   177 - 187  2013年01月  [査読有り]

  • Fault Classification and Model Learning from Sensory Readings - Framework for Fault Tolerance in Wireless Sensor Networks

    Valentina Baljak, Kenji Tei, Shinichi Honiden

    2013 IEEE EIGHTH INTERNATIONAL CONFERENCE ON INTELLIGENT SENSORS, SENSOR NETWORKS AND INFORMATION PROCESSING     408 - 413  2013年  [査読有り]

     概要を見る

    Primary task of wireless sensor networks is to deliver reliable and accurate information about the phenomena of interest. However, faults are a frequent occurrence and their accumulation affects the quality of service significantly. This leads to a shorter effective lifetime of the network. In this work, we propose a framework for the fault tolerance in sensory readings. The main concept is based on the observation of the pattern that faults leave in data behavior. Based on the duration, continuity and the impact, we propose a complete and consistent classification of faults as they can be observed in sensory readings independently of the underlying cause. Further, we propose that network learns a model of a fault for each faulty node from the past behavior. Each phase of the framework can be implemented with the use of different algorithms appropriate for the task. In this paper we present an instance that relies on neighborhood vote, time series analysis and statistical pattern recognition. Results so far confirm that the scheme works well for dense data-centric wireless sensor networks.

    DOI

  • Classification of Faults in Sensor Readings with Statistical Pattern Recognition

    Valentina Baljak, Kenji Tei, Shinichi Honiden

    The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012)     270 - 276  2012年08月  [査読有り]

     概要を見る

    Best Paper Award

  • Meta-Models for Wireless Sensor Network Applications: Data, Group, and Node Views

    Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    GRACE Technical Report   GRACE-TR-2012-01   1 - 9  2012年02月

  • S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study

    Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi

    ANT 2012 AND MOBIWIS 2012   10   30 - 37  2012年  [査読有り]

     概要を見る

    This paper introduces a declarative agent-oriented language for Ambient Intelligence - S-CLAIM - that allows programming reactive or cognitive mobile agents in a simple, easy-to-use manner while meeting AmI requirements. Based on a hierarchical representation of the agents, the language offers a natural solution to achieve context-sensitivity. S-CLAIM is light-weight and, being transparently underpinned by the JADE framework, allows deployment on mobile devices and easy interoperation with other components by means of web services. The usefulness of the proposed language for AmI is illustrated through a scenario and a demo featuring an AmI application in a Smart Room. (C) 2011 Published by Elsevier Ltd.

    DOI

  • A Machine Learning Approach for Identifying and Classifying Faults in Wireless Sensor Networks

    Ehsan Ullah Warriach, Marco Aiello, Kenji Tei

    15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012)     618 - 625  2012年  [査読有り]

     概要を見る

    Wireless Sensor Network (WSN) deployment experiences show that collected data is prone to be faulty. Faults are due to internal and external influences, such as calibration, low battery, environmental interference and sensor aging. However, only few solutions exist to deal with faulty sensory data in WSN. We develop a statistical approach to detect and identify faults in a WSN. In particular, we focus on the identification and classification of data and system fault types as it is essential to perform accurate recovery actions. Our method uses Hidden Markov Models (HMMs) to capture the fault-free dynamics of an environment and dynamics of faulty data. It then performs a structural analysis of these HMMs to determine the type of data and system faults affecting sensor measurements. The approach is validated using real data obtained from over one month of samples from motes deployed in an actual living lab.

    DOI

  • A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks

    Ehsan Ullah Warriach, Tuan Anh Nguyen, Marco Aiello, Kenji Tei

    9TH IEEE INTERNATIONAL CONFERENCE ON MOBILE AD-HOC AND SENSOR SYSTEMS (MASS 2012)     281 - 289  2012年  [査読有り]

     概要を見る

    Wireless Sensor Network (WSN) deployment experiences show that data collected is prone to be imprecise and faulty due to internal and external influences, such as battery drain, environmental interference, sensor aging. An early detection of such faults is necessary for the effective operation of the sensor network. We focus on identifying data fault types and their causes. In particular, we propose a hybrid approach to the detection of faults based on three qualitatively different classes of fault detection methods. Rule-based methods leverage domain and expert knowledge to develop heuristic rules for identifying and classifying faults. Estimation methods predict normal sensor behavior by leveraging sensor spatial and temporal correlations, identifying erroneous sensor readings as faults. Finally, learning-based methods are inferred a model for the faulty sensor readings using training data and statistically detect and identify classes of faults. We illustrate the performance of a hybrid approach on data coming from two actual sensor deployments.

    DOI

  • S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study

    Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi

    ANT 2012 AND MOBIWIS 2012   10   30 - 37  2012年  [査読有り]

     概要を見る

    This paper introduces a declarative agent-oriented language for Ambient Intelligence - S-CLAIM - that allows programming reactive or cognitive mobile agents in a simple, easy-to-use manner while meeting AmI requirements. Based on a hierarchical representation of the agents, the language offers a natural solution to achieve context-sensitivity. S-CLAIM is light-weight and, being transparently underpinned by the JADE framework, allows deployment on mobile devices and easy interoperation with other components by means of web services. The usefulness of the proposed language for AmI is illustrated through a scenario and a demo featuring an AmI application in a Smart Room. (C) 2011 Published by Elsevier Ltd.

    DOI

  • Case studies on the development of wireless sensor network applications using multiple abstraction levels

    Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings     22 - 28  2012年  [査読有り]

     概要を見る

    Model-driven development (MDD) facilitates the development of wireless sensor network (WSN) applications because MDD can deal with models at the abstraction level to the concrete level. In the MDD for WSN applications, the developers model the dataflow at the abstract level and model the designs of a communication and task assignment at the concrete level. In our previous work we proposed a MDD process for WSN applications with three domain specific languages (DSLs). However, we did not sufficiently evaluate the description capabilities of our DSLs. For that reason, we report case studies on real-world applications to prove the feasibility of our approach. Our DSL can be used to describe both the application logic and design decisions concerning the quality of data, which are adopted in target applications. Additionally, we demonstrate the effectiveness of the DSLs at multiple abstraction levels. © 2012 IEEE.

    DOI

  • Poster Abstract: Fault Detection in Wireless Sensor Networks: A Hybrid Approach

    Ehsan Warriach, Tuan Anh Nguyen, Marco Aiello, Kenji Tel

    IPSN'12: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS     87 - 88  2012年  [査読有り]

     概要を見る

    Wireless Sensor Network (WSN) deployment experiences show that data collected is prone to be imprecise and faulty due to internal and external influences, such as battery drain, environmental interference, sensor aging. An early detection of such faults is necessary for the effective operation of the sensor network. In this preliminary work, we propose a hybrid approach to the detection of faults and we illustrate its performance on data coming from a real sensor deployment. The proposal is a first step to have a hybrid method towards automated on-line fault detection and classification in context-aware WSNs middleware framework.

    DOI

  • 無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル

    鄭 顕志, 中里 彦俊, 深澤 良彰, 本位田 真一

    電子情報通信学会論文誌   J94-B ( 10 ) 1351 - 1362  2011年10月  [査読有り]

  • Autonomic role and mission allocation framework for wireless sensor networks

    Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden, Morris Sloman

    Proceedings - 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2011     61 - 70  2011年  [査読有り]

     概要を見る

    Pervasive applications incorporate physical components that are exposed to everyday use and a large number of conditions and external factors that can lead to faults and failures. It is also possible that application requirements change during deployment and the network needs to adapt to a new context. Consequently, pervasive systems must be capable to autonomically adapt to changing conditions without involving users becoming a transparent asset in the environment. In this paper, we present an autonomic mechanism for initial task assignment in sensor networks, an NP-hard problem. We also study on-line adaptation of the original deployment which considers real-time metrics for maximising utility and lifetime of applications and smooth service degradation in the face of component failures. © 2011 IEEE.

    DOI

  • Model driven development for rapid prototyping and optimization of wireless sensor network applications

    Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Shinichi

    Proceedings - International Conference on Software Engineering     31 - 36  2011年  [査読有り]

     概要を見る

    In order to develop Wireless Sensor Network (WSN) applications, it is necessary to develop prototypes in a low-cost way and to optimize application performance. Existing development approaches enable to develop a low-cost prototype by concealing the detail of WSN from the developers. However, there is a trade-off between the development cost of prototype and the description capability needed to optimize the application performance. We propose a Model-Driven Development (MDD) process to enable a low-cost prototyping and detailed optimization. To enable such a development process, we define modeling languages, which describe an application at three abstraction levels, and transformation rules, which transform models described by our modeling language to concrete one. Using our process, in prototyping, the developer describes a model by using the modeling language at the highest abstraction level and automatically obtains an executable model by using transformation rules. In addition, in optimizing, the developer can automatically obtain the models at more concrete abstraction level than the prototype by using transformation rules and modifies them in greater detail by using each modeling language. © 2011 ACM.

    DOI

  • 組合せによる条件付き品質を考慮したWebサービス選択の高速化手法

    渡辺 敦, 片渕 聡, 高橋 竜一, 鄭 顕志, 石川 冬樹, 深澤 良彰, 本位田 真一

    マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム    2010年07月  [査読有り]

  • 無線センサネットワークの為のモデル駆動開発に向けたDSL非依存モデルの提案

    清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一

    マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム    2010年07月  [査読有り]

  • イベント駆動型Webサービス検索のためのイベントマッチング

    片渕 聡, 鄭 顕志, 高橋 竜一, 深澤 良彰, 石川 冬樹, 本位田 真一

    人工知能学会全国大会(第24回)(JSAI2010)    2010年06月  [査読有り]

  • N-ary Sensor Model for Target Tracking in Wireless Sensor Networks

    Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden

    In Proceedings of the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS’10), in conjunction with CPSWEEK    2010年04月  [査読有り]

  • 組み合わせQoSを考慮した自動サービス合成に関する研究

    渡辺敦, 片渕聡, 高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一

    ウィンターワークショップ2010・イン・倉敷    2010年01月  [査読有り]

  • サービス設計における付随機能の考慮によるQoSの向上

    高橋 竜一, 鄭 顕志, 石川 冬樹, 本位田 真一, 深澤 良彰

    ウィンターワークショップ2010・イン・倉敷    2010年01月  [査読有り]

  • Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ

    片渕 聡, 鄭 顕志, 高橋 竜一, 石川 冬樹, 深澤 良彰, 本位田 真一

    ウィンターワークショップ2010・イン・倉敷    2010年01月  [査読有り]

  • マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法

    高橋 竜一, 鄭 顕志, 石川 冬樹, 本位田 真一, 深澤 良彰

    電子情報通信学会論文誌「ソフトウェアエージェントとその応用特集号」   J92-D ( 11 ) 1827 - 1839  2009年11月  [査読有り]

  • サービス合成における メタデータを用いた協調プロトコル合成手法

    高橋 竜一, 鄭 顕志, 石川 冬樹, 本位田 真一, 深澤 良彰

    電子情報通信学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会    2009年07月  [査読有り]

  • Webサービス 検索のための操作カテゴリ分類手法の提案

    片渕 聡, 鄭 顕志, 高橋 竜一, 石川 冬樹, 深澤 良彰, 本位田 真一

    電子情報通信 学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会    2009年07月  [査読有り]

  • 無線センサネットワークにおけるアプリケーション配置を考慮した生存時間延長

    鳥海晋, 清雄一, 末永俊一郎, 鄭顕志, 本位田真一

    マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2009)    2009年07月  [査読有り]

  • 無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築

    鄭顕志, 深澤良彰, 本位田真一

    第15回ソフトウェア工学の基礎ワークショップ(FOSE2008)     69 - 75  2008年11月  [査読有り]

  • An Efficient Node Selection Metric for In-network Process Deployment

    Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    The Fourth International Wireless Internet Conference (WICON 2008), November 17-19     1 - 8  2008年11月  [査読有り]

  • 協調プロトコル合成における制御構造付与のためのハイレベルオペレーション

    高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一

    合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)    2008年10月  [査読有り]

  • ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向

    鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一

    コンピュータソフトウェア   25 ( 4 ) 121 - 132  2008年10月  [査読有り]

  • 適応エージェントのためのユビキタスコンピューティングミドルウェア(<特集>エージェント)

    鄭顕志, 石川冬樹, 吉岡信和, 深澤良彰, 本位田真一

    コンピュータソフトウェア   25 ( 4 ) 11 - 19  2008年10月  [査読有り]  [招待有り]

     概要を見る

    エージェントは,環境変化に対応して適切な動作を選択,実行する適応能力を備えるソフトウェアとして,実環境への適用が期待されている.このような適応能力を備えたエージェントを実環境上で実行させる場合,実環境の状態を把握し,さらに実環境に影響を与える動作を実行するためのシステムが必要となる.一方で,ユビキタスコンピューティングの分野では,実環境への入出力に関する研究が活発に行われ,様々なミドルウェアが提案されている.本論文では,ユビキタスコンピューティング向けのミドルウェアを紹介し,適応能力を備えたエージェントとの連携についての可能性や課題について論じる.

    DOI CiNii

  • 通信コストと計測精度を考慮したトラッキングのためのセンサモデルの提案

    中里彦俊, 中村善行, 鄭顕志, 深澤良彰, 本位田真一

    マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)    2008年07月  [査読有り]

  • 無線センサネットワークにおける省資源性を考慮したセンサセレクション手法

    中村善行, 鄭顕志, 深澤良彰, 本位田真一

    マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)    2008年07月  [査読有り]

  • 効率の良いネットワーク内処理のための配置ノード選択指標の提案

    鄭顕志, 深澤良彰, 本位田真一

    情報処理学会論文誌   49 ( 6 ) 1872 - 1884  2008年06月  [査読有り]

  • A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems

    Ryuichi Takahashi, Kenji Tei, Yoshiaki Fukazawa, Fuyuki Ishikawa, Shinichi Honiden

    2008 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS     609 - +  2008年  [査読有り]

     概要を見る

    Multi-agent systems need protocols to coordinate among agents implemented by different owners. However specifying coordination protocols for many participating agents is a complex task. A protocol composition approach, which can reduce the complexity of specifying such a coordination protocol, must specify how to compose coordination protocols in a composition configuration. Current protocol compositions cannot sufficiently reduce the complexity because composing a protocol several times requires the specification of too many configurations. We propose a protocol composition approach that can specify composition configurations in an abstract way. We assign metadata to the messages in a coordination protocol and use the metadata to specify the configuration. An abstract configuration using metadata can be applied to various protocol compositions and can reduce the number of specifications required for configuration composition.

    DOI

  • Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems

    Ryuichi Takahashi, Kenji Tei, Yoshiaki Fukazawa, Fuyuki Ishikawa, Shinichi Honiden

    EDOC 2008: 12TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING, PROCEEDINGS     372 - +  2008年  [査読有り]

     概要を見る

    In e-Business, agents need to coordinate with each other Coordination protocols that specify the defining orders of message passing are very important. The scale of e-Business grows with the advancement of technology, and the number of agents involved continues to increase. Specifying the coordination protocols for so many participating agents is a complex task. A coordination protocol composition approach reduces the complexity of specifying such a coordination protocol. It treats coordination protocols as individual parts and composes them to construct the intended protocols. However existing approaches do not sufficiently reduce the complexity when a coordination protocol is composed several times, because too many configurations are required to specify a composition. A new approach is proposed that uses metadata to specify the compositions by specifying only one configuration. It can reduce the number of configurations when a coordination protocol is composed several times.

    DOI

  • Region-based sensor selection for wireless sensor networks

    Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    Proceedings - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing     326 - 331  2008年  [査読有り]

     概要を見る

    In a sensor network, the technique that limits the number of sensors used for observation is effective to reduce the energy consumption of each sensor. To limit the number of sensors without sacrificing observation accuracy, an appropriate sensor combination must be selected by evaluating the observation effectiveness of various combinations. However, the computational workload for evaluating all the sensor combinations is quite large. We can define a parameter related to the optimal size of a region around an observation target by making a trade-off between accuracy and the computational workload. In region-based sensor selection, a combination of sensors is selected from that is near the observation target. Accuracy is better in a larger region with a lot of sensors, but the computational workload is heavier. In contrast, a smaller region with fewer sensors has poorer accuracy, but a lighter workload. The size of the region controls the trade-off between accuracy and the computational workload. We define a parameter related to the optimal size of a region, and use it to dynamically adjust the region's size. Our simulations confirmed that region-based sensor selection reduces the computational workload and improves accuracy in comparison to existing techniques. © 2008 IEEE.

    DOI

  • Real-time POI detection and rating using floating car data

    Osamu Masutani, Hirotoshi Iwasaki, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    14th World Congress on Intelligent Transport Systems    2007年10月

  • マルチエージェントシステムにおける柔軟なプロトコル合成言語

    高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一

    合同エージェントワークショップ&シンポジウム2007 (JAWS2007)    2007年10月  [査読有り]

  • ユビキタスコンピューティングにおけるコンテキストのモデル化,管理に関する研究動向

    中村善行, 清家良太, 鄭顕志, 吉岡信和, 深澤良彰, 本位田真一

    合同エージェントワークショップ&シンポジウム2007 (JAWS2007)    2007年10月  [査読有り]

  • ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向

    鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一

    合同エージェントワークショップ&シンポジウム2007 (JAWS2007)    2007年10月  [査読有り]

  • MANETにおけるコスト基準経路探索プロトコルへのコスト基準拡張リング探索の適用

    河村美嗣, 鄭顕志, 深澤良彰, 本位田真一

    マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2007)     238 - 244  2007年07月  [査読有り]

  • 無線センサーネットワークにおける計測処理記述のためのデザインパターンの抽出と適用

    鄭顕志, 深澤良彰, 本位田真一

    マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2007)     506 - 515  2007年07月  [査読有り]

  • KAOSによる無線センサーネットワークのための計測処理中間モデルの導出

    鄭顕志, 深澤良彰, 本位田真一

    マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2007)     1168 - 1179  2007年07月  [査読有り]

  • A sensor middleware for lightweight relocatable sensing programs

    Makoto Ishiguro, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...    2007年  [査読有り]

     概要を見る

    Wireless sensor networks (WSNs) have attracted attention in recent years. Many sensors will be equipped in buildings and provide data about the context of buildings in the future. We can provide many kinds of services that use various context information acquired from wireless sensor networks. However, sensing programs may not be able to be executed concurrently on the same sensor node because of sensors' resource restrictions. So, sensing programs sometimes have to relocate to other sensors if necessary. In this paper, we suggest a middleware for the relocation of a sensing program. Considering severe resource restrictions in a wireless sensor network, we can make a sensing program with a small code footprint. © 2006 IEEE.

    DOI

  • Introducing auction scheme to route allocation to prolong the lifetime of ad-hoc networks

    Kenji Tei, Hiromi Muto, Yoshiaki Fukazawa, Shinichi Honiden

    CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...    2007年  [査読有り]

     概要を見る

    Prolonging a network lifetime is one of crucial issues of message routing protocol in mobile ad-hoc networks (MANETs), because MANETs consist of mobile devices powered by batteries. Previous routing protocols focus on route selection by a message sender to balance message forwarding load. However, in this approach, message routes determined by different senders cannot be coordinated, because each sender selects its message route independently. In this paper, we propose an auction-based route allocation scheme where message routes are determined by auctions between message senders and forwarders, and apply the route allocation scheme to the Dynamic Source Routing protocol. Simulation results show the DSR protocol with our allocation scheme can prolong the network lifetime comparing with the routing protocol proposed in the previous works. © 2006 IEEE.

    DOI

  • Applying design patterns to wireless sensor network programming

    Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden

    PROCEEDINGS - 16TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, VOLS 1-3     1099 - +  2007年  [査読有り]

     概要を見る

    Middleware for wireless sensor network (WSN) abstracts a network as an entity and hides programming difficulties from programmers. Many middlewares have been proposed, but they use different programming languages to manipulate functions in WSNs. This inhibits usability when manipulating multiple WSNs managed by different middlewares, because the primitives of each language have different descriptive capabilities. In this paper, we propose and apply design patterns in WSN programming to complement the capabilities of language primitives, and discuss the effectiveness of these design patterns. First, we discuss major middleware languages and compare the capabilities of their primitives. Second, we extract design patterns from the representative middlewares to cover the missing capabilities identified in the comparison. Finally, we discuss the effectiveness of design patterns for WSN programming. The discussion indicates that design patterns improve the usability of manipulating multiple WSNs.

    DOI

  • MANETにおける省資源性を考慮した位置依存情報収集手法

    鄭 顕志, 深澤 良彰, 本位田 真一

    電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition)   89 ( 12 ) 2625 - 2636  2006年12月  [査読有り]

    CiNii

  • 無線センサーネットワークミドルウェアの研究動向とエージェント技術の適用可能性

    鄭顕志, 深澤良彰, 本位田真一

    合同エージェントワークショップ&シンポジウム2006 (JAWS2006)    2006年10月  [査読有り]

  • コンテンツ流通エージェントのための強化学習メカニズム

    片岡慧, 吉岡信和, 石川冬樹, 鄭顕志, 本位田真一

    合同エージェントワークショップ&シンポジウム2006 (JAWS2006)    2006年10月  [査読有り]

  • センサーの資源制約を考慮したセンシングプログラムの退避行動手法の提案

    石黒真, 鄭顕志, 深澤良彰, 本位田真一

    合同エージェントワークショップ&シンポジウム2006 (JAWS2006)    2006年10月  [査読有り]

  • MANETにおける送信遅延と電力消費を考慮したルーティングプロトコルの提案

    河村美嗣, 鄭顕志, 深澤良彰, 本位田真一

    マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2006)     265 - 268  2006年07月  [査読有り]

  • センシングプログラムの軽量な退避行動を実現するセンサーミドルウェア開発

    石黒真, 鄭顕志, 深澤良彰, 本位田真一

    マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2006)     797 - 800  2006年07月  [査読有り]

  • MANETにおける情報収集プログラム再配備手法の提案と評価

    鄭顕志, 深澤良彰, 本位田真一

    マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2006)     133 - 136  2006年07月  [査読有り]

  • Adaptive geographically bound mobile agents

    K. Tei, Ch. Sommer, Y. Fukazawa, S. Honiden, P. -L. Garoche

    MOBILE AD-HOC AND SENSOR NETWORKS, PROCEEDINGS   4325   353 - +  2006年  [査読有り]

     概要を見る

    With the spread of mobile phones, the use of Mobile Adhoc NETworks (MANETs) for disaster recovery finally becomes feasible. Information retrieval from the catastrophic place is attended in an energy-efficient manner using the Geographically Bound Mobile Agent (GBMA) model. The GBMA, which is a mobile agent on MANETs that retrieves geographically bound data, migrates to remain in a designated region to maintain low energy consumption for data retrieval, and provides location based migration scheme to eliminate needless migration to reduce energy consumption. In the data retrieval using the GBMA model, survivability of the agent is important. In a MANET, a GBMA with retrieved data may be lost due to its host's death. The lost of the agent causes re-execution of the retrieval process, which depraves energy efficiency. We propose migration strategies of the GBMA to improve its survivability. In the migration strategies, the selection of the next host node is parameterized by node location, speed, connectivity, and battery level. Moreover, in the strategies, multiple migration trigger policies are defined to escape from a dying node. We present the implementation of migration strategies and confirm the achievements with several simulations. This finally leads to the adaptive Geographically Bound Mobile Agent model, which consumes even less energy.

    DOI

  • 位置に束縛されたモバイルエージェントによる位置依存情報の収集

    鄭 顕志, 深澤 良彰, 本位田 真一

    合同エージェントワークショップ&シンポジウム2005 (JAWS2005)     421 - 428  2005年11月  [査読有り]

  • アドホックネットワークのルーティングへの市場原理の適用

    武藤 宏美, 鄭 顕志, 深澤 良彰, 本位田 真一

    合同エージェントワークショップ&シンポジウム2005 (JAWS2005)     227 - 233  2005年11月  [査読有り]

  • センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)

    石黒真, 鄭顕志, 深澤良彰, 本位田真一

    情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告]   2005 ( 113 ) 121 - 128  2005年11月

     概要を見る

    近年、センサーネットワークが注目されており、将来的に建物内などではセンサーが完備された環境が実現されると予想される。このセンサーネットワークを利用することでセンサーから取得できる様々なコンテキスト情報を利用したサービスを実現することができる。しかし、センサーは計算資源が少ないなど様々な問題があり、全てのサービスからの要求に対応することは困難となる。そこで、本研究ではセンサーの空き容量やサービスの特徴を考慮した上で、センシングプログラムの退避をサポートするセンサーミドルウェアであるSemiFloAを提案する。

    CiNii

  • Geographically bound mobile agent in MANET

    K Tei, N Yoshioka, Y Fukazawa, S Honiden

    PROCEEDINGS OF MOBIQUITOUS 2005     516 - 518  2005年  [査読有り]

     概要を見る

    A location-specific data retrieval, which is data retrieval from nodes in a designated region at the time, is an attractive application in a Mobile Ad-hon Network (MANET). However, almost all nodes in a MANET are powered by batteries, the location-specific data retrieval should involve a small number of messages. In this paper, we use a mobile agent to retrieve the location-specific data. A mobile agent migrates to a node in a designated region, and retrieves data from nodes in this region. Since, after migration, the agent can communicate with nodes in the designated region through low overhead short length hops, the mobile agent can retrieve data at low message cost for long periods, even if the owner of this agent moves around. However, even after migrating to node in the designated region, in order to stay near this region, a mobile agent should migrate to other nodes in response to the movement of the node hosting this agent. In this paper, we propose the Geographically Bound Mobile Agent (GBMA) which is a mobile agent that periodically migrates in order to always be located in a designated region. In order to clarify where the GBMA should be located and when the GBMA starts to migrate, two geographic zones are set to the GBMA: required zone and expected zone. The required zone ease tracking of the GBMA, and the expected zone ease adjustment of the GBMA migration timing.

    DOI

  • Using mobile agent for location-specific data retrieval in MANET

    K Tei, N Yoshioka, Y Fukazawa, S Honiden

    INTELLIGENCE IN COMMUNICATION SYSTEMS   190   157 - 168  2005年  [査読有り]

     概要を見る

    Location-specific data retrieval is an attractive application in a Mobile Ad-hoc Network (MANET). Simple solution for it is that an observer retrieves the data by geocasting from an observer node, but its overhead highly depends on location of the observer and the designated region. We propose a mobile agent approach. A mobile agent migrates from the observer node to a node in the designated region, retrieves data from there, and summarizes, filters, and compresses the retrieved data, This data is sent back to the observer, when the observer request. Since the data is retrieved by the mobile agent located near the data Sources, the data retrieval in the mobile agent approach would involve low overhead, even if the observer is far from the target region or moves around. In the MANET, however, even after the first migration; to stay near data Sources, a mobile agent should migrate to another node in response to node movements.. In this paper, we propose the Geographically Bound Mobile Agent (GBMA) which is a mobile agent that migrates to always be located in a designated region. Moreover, to clarify where the GBMA should be located and when the GBMA starts to migrate, we introduce two geographic zones: required zone and expected zone, Compared with the conventional methods with geocast or with a conventional mobile agent, the GBMA with these zones for retrieving location-specific data can reduce the total number of messages.

  • P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築

    鄭 顕志, 吉岡 信和, 深澤 良彰, 本位田 真一

    第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004)     49 - 60  2004年12月  [査読有り]

  • ホットスポットにおけるリソースレンタルシステムの提案と評価

    武藤宏美, 鄭顕志, 田原康之, 深澤良彰, 本位田真一

    合同エージェントワークショップ&シンポジウム(JAWS2004)     27 - 34  2004年10月  [査読有り]

  • P2P グリッドにおけるサービスの効率的障害退避

    鄭 顕志, 吉岡 信和, 深澤 良彰, 本位田 真一

    合同エージェントワークショップ&シンポジウム2004 (JAWS2004)     197 - 204  2004年10月  [査読有り]

  • モバイルエージェントを用いた小規模Grid構築

    鄭 顕志, 吉岡 信和, 本位田 真一, 深澤 良彰

    合同エージェントワークショップ&シンポジウム (JAWS2003)     25 - 32  2003年10月  [査読有り]

  • PCクラスタ対応マルチエージェントフレームワーク

    吉岡信和, 鄭顕志, 深澤良彰, 本位田真一

    合同エージェントワークショップ&シンポジウム(JAWS2002)     119 - 130  2002年11月  [査読有り]

  • PCクラスタに対応したマルチエージェントシステムの提案

    吉岡信和, 鄭顕志, 深澤良彰, 本位田真一

    エージェント合同シンポジウム (JAWS 2002)論文集     353 - 363  2002年03月  [査読有り]  [招待有り]

▼全件表示

Misc

  • 自己適応システム入門

    鄭 顕志

    日本ロボット学会誌   40 ( 3 ) 195 - 198  2022年03月  [招待有り]   [ 国内誌 ]

    担当区分:筆頭著者, 最終著者, 責任著者

    記事・総説・解説・論説等(学術雑誌)  

    DOI

  • ICSE 2018 参加報告

    吉岡信和, 鵜林尚靖, 石川冬樹, 鄭顕志, 鷲崎弘宜

    コンピュータソフトウェア     1 - 8  2019年  [査読有り]

    記事・総説・解説・論説等(学術雑誌)  

     概要を見る

    In Printing

  • 機械学習工学研究会キックオフシンポジウム参加報告

    鵜林 尚靖, 鷲崎 弘宜, 鄭 顕志

    コンピュータソフトウェア   35 ( 3 ) 96 - 101  2018年10月

    会議報告等  

    DOI

  • ソフトウェア工学の最前線 〜ソフトウェアが社会のすべてを定義する時代〜:[未来に向かって]10.IoT時代の環境適応型ソフトウェア

    中川 博之, 鄭 顕志, 田原 康之

    情報処理   58 ( 8 ) 702 - 704  2017年07月  [招待有り]

    記事・総説・解説・論説等(商業誌、新聞、ウェブメディア)  

  • ClouT: Cloud of Things for Empowering Citizen's Clout in Smart Cities

    Kenji Tei, Levent Gürgen, Takuro Yonezawa

    Enablers for Smart Cities     107 - 126  2016年07月  [査読有り]

    その他  

    DOI

  • Shared Wireless Sensor Networks as Enablers for a Context Management System in Smart Cities

    Kenji Tei

    Enablers for Smart Cities     1 - 21  2016年07月  [査読有り]

    その他  

    DOI

  • Qualitative Analysis for Multiple Adaptation Loops

    Kenji Tei, Ryuichi Takahashi, Nicolas D’Ippolito Hiroyuki Nakagawa, Shinichi Honiden

    GRACE Technical Report     1 - 29  2015年06月

    機関テクニカルレポート,技術報告書,プレプリント等  

  • 個別構築されたIoTシステムのサービス連携における課題検討

    平山 秀昭, 鄭 顕志, 清 雄一, 大須賀 昭彦

    研究報告マルチメディア通信と分散処理(DPS)   2015 ( 37 ) 1 - 6  2015年02月

     概要を見る

    近年,M2M(Machine to Machine) あるいは IoT(Internet of Things) と呼ばれる技術が脚光を浴びている.M2M や IoT は,現実世界のありとあらゆる物を,人の手を介することなくネットワークに繋げる.M2M や IoT がセンサーの小型化,ネットワーク化により身近なものとなり,それがビッグデータを生み,更にはスマートシティ,スマートコミュニティ実現の原動力となりつつある.その際,複数の M2M,IoT システムを連携させることで,より大きな価値を生むシステムの構築が可能になると考えられる.しかし,実際には個別に構築された M2M,IoT システムを連携させるには様々な課題がある.本稿では,この連携システムの適用領域を選定した上で,その課題と解決策についての検討結果について報告する.Recently, M2M (Machine to Machine) or IoT (Internet of Things) is attracting attention. It connects everything in the real world to the Internet without operator's assistance. M2M or IoT has become familiar, because of miniaturization and connectivity of sensor devices. Then it is generating Big Data and becoming the driving force of realization of Smart City or Smart Community. If we can mashup the services of several M2M or IoT systems, we will be able to develop the systems which are producing greater value. But there are various problems to mashup the M2M or IoT systems. In this paper, we select an application domain of this mashup system and study its problems and solutions.

    CiNii

  • EASSy2013参加報告

    石川 冬樹, 日高 宗一郎, 鄭 顕志

    日本ソフトウェア科学会論文誌コンピュータソフトウェア    2014年05月  [査読有り]  [招待有り]

    記事・総説・解説・論説等(学術雑誌)  

     概要を見る

    to appear

  • ソフトウェアを見える化するモデルベース開発って?

    鄭 顕志

    システム制御情報学会誌   56 ( 7 ) 389 - 390  2012年07月  [査読有り]  [招待有り]

    記事・総説・解説・論説等(学術雑誌)  

  • XAC project: Towards a middleware for open wireless sensor networks

    Kenji Tei, Shunichiro Suenaga, Yoshiyuki Nakamura, Yuichi Sei, Hikotoshi Nakazato, Yoichi Kaneki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden

    Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends     214 - 231  2010年  [査読有り]

     概要を見る

    In pervasive computing environment (Satyanarayanan, 2001), common context management system, that make context of the real world be shared among the context-aware applications, is required to reduce development cost of each context-aware applications. A wireless sensor network (WSN) will be a key infrastructure for the context management system. Towards pervasive computing, a WSN integrated into context management system should be open infrastructure. In an open WSN should (1)handle various kinds of tasks, (2)manage tasks at runtime, (3)save resource consumption, and (4)adapt to changes of environments. To develop such an open WSN, middleware supports are needed, and our XAC project tries to develop a middleware for the open WSN. The XAC project is a research project to develop a middleware for open WSN. In this chapter, the auhors show research issues related to open WSN from the viewpoints of task description language, runtime task management, self-adaptability, and security. © 2010, IGI Global.

    DOI

▼全件表示

Works(作品等)

その他

  • ACM International Collegiate Programming Contest Asia Regional Contest 2010 in Tokyo, Vice director (2010)

  • International Workshop on Software Patterns and Quality(SPAQu) Program Committee (2007~2008)

  • 合同エージェントワークショップ&シンポジウム プログラム委員(2007〜現在)

  • 第69回情報処理学会全国大会 現地実行委員 (2007)

  • 21st IEEE/ACM International Conference on Automated Software Engineering 現地実行委員 (2007)

  • ETロボコン本部審査委員(2009~現在)

▼全件表示

受賞

  • WASEDA e-Teaching Award 大賞

    2022年02月   早稲田大学   C Programming (3)  

    受賞者: 鄭 顕志

  • 早稲田大学ティーチングアワード総長賞

    2022年02月   早稲田大学   C Programming (3)  

    受賞者: 鄭 顕志

  • 科学技術分野の文部科学大臣表彰 科学技術賞

    2021年04月   文部科学省   先端スマートシステム技術の普及啓発  

    受賞者: 鷲崎 弘宜, 本位田 真一, 鄭 顕志, 内平 直志, 深澤 良彰

  • 2019年度情報処理学会SE研究会功績賞受賞

    2019年   情報処理学会   トップエスイープロジェクトの推進  

    受賞者: 本位田 真一, 石川 冬樹, 鄭 顕志

  • 優秀論文賞

    2016年09月   合同エージェントワークショップ&シンポジウム2016 (JAWS2016)   自己適応システムのための実行時環境モデル学習手法  

    受賞者: 田邉萌香, 鄭顕志, 深澤良彰, 本位田真一

  • Best Paper Award

    2016年05月   11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016)   Assured and Correct Dynamic Update of Controllers  

    受賞者: Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastian Uchitel

  • SENSORCOMM 2012 Best paper award

    2012年08月   International Academy, Research, and Industry Association   Classification of Faults in Sensor Readings withStatistical Pattern Recognition  

    受賞者: Valentina Baljak, Kenji Tei, Shinichi Honiden

  • DICOMO2007優秀プレゼンテーション賞

    2007年07月  

    受賞者: 鄭顕志

  • JAWS2006学生奨励賞

    2006年10月  

    受賞者: 鄭顕志

▼全件表示

共同研究・競争的資金等の研究課題

▼全件表示

講演・口頭発表等

  • ニュース映像における縦動画への自動変換ツール

    水門 菜花, 山内 拓人, 鄭 顕志

    2022年度 人工知能学会全国大会(第36回)  

    発表年月: 2022年06月

  • 再利用制御器合成を用いた自己適応システムにおける実行時の離散制御器合成時間削減手法

    有岡 勇紀, 山内 拓人, 鄭 顕志

    2022年度 人工知能学会全国大会(第36回)  

    発表年月: 2022年06月

  • 離散制御器合成におけるメイクスパン比較時間削減のための部分問題化アルゴリズム

    清水 優希, 山内 拓人, 鄭 顕志

    2022年度 人工知能学会全国大会(第36回)  

    発表年月: 2022年06月

  • ドメイン依存性の低い画像分類モデルを活用したゼロショットインスタンスセグメンテーション手法

    及川 雅哉, 山内 拓人, 鄭 顕志

    2022年度 人工知能学会全国大会(第36回)  

    発表年月: 2022年06月

  • 色及び位置情報を用いたアニメキャラクタの目と口の抽出

    鈴木 絵理, 山内 拓人, 鄭 顕志

    2022年度 人工知能学会全国大会(第36回)  

    発表年月: 2022年06月

  • Automation in MDE, the good, the bad, and the ugly

    Lionel C. Briand, John Grundy, Bran Selic, Kenji Tei  [招待有り]

    ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS2021)  

    発表年月: 2021年10月

  • Towards Personalized Autonomous Driving: Deep Reinforcement Learning from Human Feedback

    凌 佳麗, 李 家隆, 鄭 顕志, 本位田 真一

    Symposium on Multi Agent Systems for Harmonization 2021 (SMASH21 SUMMER SYMPOSIUM)  

    発表年月: 2021年09月

  • Models@run.time入門

    鄭 顕志

    ソフトウェアエンジニアリングシンポジウム2021  

    発表年月: 2021年09月

  • 離散制御器合成によるサービスロボット向け行動計画自動生成手法

    笠井 栄良, 鄭 顕志

    マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2021)  

    発表年月: 2021年07月

  • 離散制御器合成における設計誤りを特定するための反例出力手法

    李 家隆, 相澤 和也, 鄭 顕志, 本位田 真一

    IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム2020(SES2020)  

    発表年月: 2020年09月

  • Event-Bによるリファインメントのパターン最適化

    荒井 滉平, 本位田 真一, 鄭 顕志

    日本ソフトウェア科学会第37回大会  

    発表年月: 2020年09月

  • Big Data, Cloud and IoT Technologies for Smart Cities: The M-Sec project paradigm – objectives, current status and related future research topics

    Kenji Tei  [招待有り]

    the 2nd International Workshop on Big data, cloud, and IoT technologies for smart cities (IWBigDataCity2020)  

    発表年月: 2020年02月

  • 環境変化の差分情報を用いた離散制御器の実行時差分合成アルゴリズム

    平野 貴規, 相澤 和也, 鄭 顕志, 鷲崎 弘宜, 本位田 真一

    マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム  

    開催年月:
    2019年07月
     
     
  • Dynamic Updating Controller自動生成のための環境モデル構築における関心事分離手法

    山内 拓人, 鄭 顕志, 鷲崎 弘宜, 本位田 真一

    マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム  

    開催年月:
    2019年07月
     
     
  • 鉄道制御システムに特化した離散制御器合成における状態削減モデリング手法

    桑名 賢吾, 鄭 顕志, 半田 隆信, 柳井 法貴, 西面 敦義, 深澤 良彰, 本位田 真一

    マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム  

    開催年月:
    2019年07月
     
     
  • 実行時requirement enhancementのためのゲーム空間の差分分析アルゴリズム

    李 家隆, 相澤 和也, 鄭 顕志, 鷲崎 弘宜, 本位田 真一

    マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム  

    開催年月:
    2019年07月
     
     
  • スーパーアーキテクト育成の方法論と実践

    鄭顕志  [招待有り]

    JISA ITアーキテクトコミュニティイベント   一般社団法人 情報サービス産業協会  

    発表年月: 2019年04月

  • Assured Graceful Degradation by Models@run.time

    Kenji Tei

    Third International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 in Hakone (CPSS-2018-Hakone)  

    発表年月: 2018年12月

  • Assured Graceful Degradation by Models@run.time

    Kenji Tei

    the 7th Asian-Pacific Workshop of Advanced Software Engineering (AWASE2018)   (Gold Coast, Australia) 

    発表年月: 2018年10月

  • Assured Runtime Graceful Degradation by Models@run.time

    Kenji Tei

    OU-NII-Lero-Khalifa-LYON1 Workshop on Software Engineering for Cyber-Physical-Social Systems CPSS 2018   (Lyon, France) 

    発表年月: 2018年08月

  • IoT時代のソフトウェアシステムのための実行時モデリング技術 -機械学習と制御理論を応用したシステムの自動更新-

    鄭 顕志  [招待有り]

    2017年度 情報処理学会東海支部 講演会   (名古屋大学)  情報処理学会東海支部  

    発表年月: 2018年01月

  • Models@Run.Time for Self-adaptive Reactive Systems

    Kenji Tei

    Joint SMA/LIP6-NII WorkShop on Multi-Agent and Distributed Systems   (Paris, France) 

    発表年月: 2018年01月

  • Qualitative Analysis for Adaptation Strategies

    Kenji Tei

    No.110 The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017)  

    発表年月: 2017年09月

  • Learning Environment Model at Runtime for Self-Adaptive Systems

    Kenji Tei

    6th Asian Workshop of Advanced Software Engineering (AWASE2017)   (Chongqing, China) 

    発表年月: 2017年05月

  • Learning Environment Model at Runtime for Self-adaptive Systems

    Kenji Tei

    OU-NII-Khalifa Workshop on SE for Cyber-Physical-Social Systems (CPSS2017)   (Abu Dhabi, UAE) 

    発表年月: 2017年04月

  • IoT時代のソフトウェアシステムのための最新モデリング・検証技術

    鄭 顕志  [招待有り]

    Embeded Technology (ET) 2016   JASA  

    発表年月: 2016年11月

  • Assured and Correct Dynamic Update of Controllers

    Kenji Tei with Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Sebastian Uchitel  [招待有り]

    Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)   (Tokyo, Japan) 

    発表年月: 2016年11月

  • ClouT/BigClouT Project

    Kenji Tei, ClouT/BigClouT Consortium  [招待有り]

    10th International Symposium on Intelligent Distributed Computing (IDC2016)   (Paris, France) 

    発表年月: 2016年10月

  • Qualitative Analysis for Adaptation Strategies

    Kenji Tei  [招待有り]

    No.77 NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS)  

    発表年月: 2016年04月

  • Assured Graceful Degradation with Discrete Controller Synthesis

    Kenji Tei

    5th Asian Workshop on Advanced Software Engineering (AWASE2016)   (Nara, Japan) 

    発表年月: 2016年03月

  • TopSE : Intellectual Manufacturing Education Program based on Science

    Kenji Tei

    World Engineering Conference and Convention 2015 (WECC2015)  

    発表年月: 2015年12月

  • ClouT project, Cloud of Things for empowering the citizen clout in smart cities

    Kenji Tei

    3rd International Workshop on Self-Aware Internet of Things (Self-IoT 2015)  

    発表年月: 2015年07月

  • Quality Analysis for Self-adaptive Systems with Multiple Adaptation Loops

    Kenji Tei

    GRACE Workshop on Adaptive and Evolve Software Systems   (Tokyo, Japan) 

    発表年月: 2015年01月

  • A Development Process of Adaptation Engine for Control-loop-based Adaptable Software

    Kenji Tei

    4th Asian Workshop of Advanced Software Engineering (AWASE2014)   (Beijing, China) 

    発表年月: 2014年10月

  • Is This Configuration Management Still Right?

    Kenji Tei

    10th International Joint NII-LIP6 Seminar on Multi-Agent and Distributed Systems   (Paris, France) 

    発表年月: 2014年09月

  • Cloud of Things for empowering the citizen clout in smart cities - ClouT Project

    Kenji Tei  [招待有り]

    Japan-EU Collaboration Workshop on Cloud Computing  

    発表年月: 2014年07月

  • ClouT: Cloud of Things for Empowering the Citizen Clout in Smart Cities

    Kenji Tei

    the Ninth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems   (Tokyo, Japan) 

    発表年月: 2013年11月

  • Supporting Multi-Level Design Changes in Adaptive Software Maintenance

    Kenji Tei

    the 3rd Asian Workshop on Advanced Software Engineering (AWASE2013)   (Singapore, Singapore) 

    発表年月: 2013年07月

  • Towards a Software Development Process for Self-Adaptive (Evolvable) Control System: Control-loop Based Approach

    Kenji Tei

    the Eighth joint NII-LIP6 WorkShop on Multi-Agent and Distributed Systems   (Paris, France) 

    発表年月: 2013年06月

▼全件表示

特定課題研究

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

    2009年  

     概要を見る

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

 

現在担当している科目

▼全件表示

担当経験のある科目(授業)

  • Algorithms and Data Structures

    早稲田大学  

    2020年
    -
    継続中
     

  • 自律エージェントシステム特論

    早稲田大学  

    2019年
    -
    継続中
     

  • Computer Science and Communications Engineering Laboratory A

    早稲田大学  

    2019年
    -
    継続中
     

  • Logic Circuit

    早稲田大学  

    2019年
    -
    継続中
     

  • Computer Architecture

    早稲田大学  

    2019年
    -
    継続中
     

  • C Programming

    早稲田大学  

    2019年
    -
    継続中
     

  • ソフトウェア工学入門

    国立情報学研究所,トップエスイー  

  • インターネットサーバ管理

    早稲田大学,メディアネットワークセンター  

  • UNIX入門

    早稲田大学,メディアネットワークセンター  

  • アスペクト指向

    国立情報学研究所,トップエスイー  

  • ソフトウェアパターン

    国立情報学研究所,トップエスイー  

  • コンポーネントベース開発

    国立情報学研究所,トップエスイー  

  • Javaプログラミング入門

    早稲田大学,基幹理工学部  

  • ソフトウェア開発技術

    早稲田大学,メディアネットワークセンター  

▼全件表示

 

委員歴

  • 2021年
    -
    継続中

    ACM Transactions on Autonomous and Adaptive Systems (TAAS)  Associate Editor

  • 2021年
     
     

    ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS2021)  Tool and Demonstration Track Chair

  • 2018年
    -
    2021年

    International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)  Steering Committee

  • 2019年
     
     

    No.153 NII Shonan Meeting on The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS2020)  Organizer

  • 2018年
     
     

    No.118 NII Shonan Meeting on Modelling and Analysing Resilient Cyber-Physical Systems  Organizer

  • 2018年
     
     

    International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)  Program co-Chair

  • 2017年
     
     

    No.110 NII Shonan Meeting on The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017)  Organizer

  • 2015年
     
     

    No.077 NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS)  Organizer

  • 2016年
    -
    継続中

    International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)  Program Committee

  • 2021年
     
     

    IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)  Program Committee

  • 2020年
     
     

    IEEE International Requirements Engineering Conference (RE)  Program Committee

  • 2018年
     
     

    IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)  Program Committee

  • 2017年
    -
    2018年

    International Conference on Engineering of Complex Computer Systems (ICECCS)  Program Committee

▼全件表示