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.
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.