My research explores the network protocol of internet and wireless. Our experiments involve programming languages such as C and assembler and logical languages such as hardware description languages and model checking languages. Moreover, the training for engineers on small enterprises is essential tasks for us. Program chair on JAXA/IPA Workshop on Critical Software systems. Director on TOPPERS project, open source real time kernel.