Parallel and Distributed Systems Lab (PDSL) performs research in all aspects of parallel and distributed systems with a particular emphasis on design methodology for model-based development on multi-/many-core processors.  Application domains of special interest include hardly parallelizable control systems such as  automotive power-train systems. PDSL is in collaboration with Embedded and Real-Time Systems Lab (ERTL) at Nagoya University.


We are also participating Embedded Multicore Consortium (in Japanese)SHIM WG of Multicore Association, and IEEE P2804 Standard Project (SHIM).


A part of our research results is applied to eMBP of eSOL Co., Ltd., and RH850 Multicore Model-Based Development Environment of Renesas Electronics.


Please see Japanese Page as well.

Prof. Edahiro will not accept students any more due to his retirement.


April 22, 2022

Hiro Mikami took Featured Poster Award at IEEE Cool Chips 25.

March 7, 2022

MBP Prover is open on GitHub.  MBP Prover is a set of files for Isabelle which prove correctness of Model-Based Parallelizer proposed in our laboratory.

January 15, 2020

The article on our Model-Based Parallelization (MBP) research with eSOL was published (PDF).

November 13, 2018

Zhaoqian was awarded ISE President Best Paper Award at ISOCC 2018.

November 18, 2017

Sujiwo was awarded the best conference paper at IEEE MFI 2017.


October 30, 2017

Upload video showing our parallelization flow to AUTOSAR OS for an example of RC car.

April 11, 2017


eSOL Co., Ltd. announced eMBP using model-based parallelization technology jointly developed with our laboratory. [News Release]

April 1, 2016

Professor Shinpei Kato has moved to University of Tokyo.