Computers are now embedded anywhere, e.g., appliances, cars, robots,
and buildings, and thoses are connected using several networks, such
as high speed local area network, wireless network, and the internet.
An embedded system requires not only real-timeness to control
equipments, but also high-performance to support rich functions and
As the embedded systems enrich our life, the systems must be dependable.
We call such a system "dependable real-time and high-performance
parallel and distributed system."
In order to estabilsh dependable real-time high-performance parallel
and distributed computing,
the following research topics are pursued in our laboratory.
- Dependable Operating Systems
Single System, Checkpoint, Process Migration, High Dependable Communication,
and Global Scheduling
- Cluster and Grid Systems
High Productity Programming Language System,
High Performance Communication Library, Grid MPI,
and Predictable Communication Performance
- Real-Time Distributed Systems
Keywords: Compile-time WCET Analysis, Real-Time Communication,
and Power aware Real-Time Schduler
- The Next Generation Operating System Kernel
Keywords: Multi-Core Operating Systems,
Software Distributed Memory, and High Performance Communication Mechanism