Dependable Single System Image Operating System for Parallel/Distributed Embedded Systems

Research Project Outline

In this research, a dependable and high performance distributed operating system on embedded computers connected by networks is designed and developed. Applications such as database server, search engine, and high performance computing run in such an embedded system. The distributed operating system enables dynamic configuration so that multicore computers with/without local hard disks are dynamically connected or disconnected in response to the application's requirement or hardware failures. The distributed operating system is based on the Linux kernel and it provides a single system image to users.

Research Director
Professor, The University of Tokyo
Research Started
Research Area
Dependable Operating Systems for Embedded Systems Aiming at Practical Applications
Research Areas by Category
Research Areas Completed
Researcher Index