Introducing right-handed neutrinos to the Standard Model is one of promising solutions for non-zero neutrino masses and the baryon asymmetry of the universe (BAU). When we consider the new particles with masses of O(1-10) GeV, which are called heavy neutral leptons (HNLs), baryogenesis via right-handed neutrino oscillation can explain the observed BAU. This is a part of the nuMSM, where one more right-handed neutrino with mass of O(10) keV is included as a dark matter candidate. The HNLs are directly testable in intensity frontier experiments and colliders with displaced vertex method. In this talk we discuss recent improvements of the mechanism to produce the baryon asymmetry and present a parameter space of two HNLs for the successful BAU. Finally the parameter space is compared with sensitivity of future experiments in order to show a potential for probing the baryogenesis in laboratories.