1: \begin{abstract}

2: The simulation of long, nonlinear dispersive waves in bounded domains usually requires the use 

3: of slip-wall boundary conditions. Boussinesq systems appearing in the literature are generally

4: not well-posed when such boundary conditions are imposed, or if they are well-posed it is very 

5: cumbersome to implement the boundary conditions in numerical approximations. 

6: 

7: In the present paper a new Boussinesq system is proposed for the study of long waves of small amplitude 

8: in a basin when slip-wall boundary conditions are required. The new system is derived using asymptotic 

9: techniques under the assumption of small bathymetric variations, and

10: a mathematical proof of well-posedness for the new system is developed. 

11: 

12: The new system is also solved numerically using a Galerkin finite-element method,

13: where the boundary conditions are imposed with the help of Nitsche's method. 

14: Convergence of the numerical method is analyzed, and precise error estimates are provided. 

15: The method is then implemented, and the convergence is verified using numerical experiments. 

16: Numerical simulations for solitary waves shoaling on a plane slope are also presented. The results

17: are compared to experimental data, and excellent agreement is found.

18: \end{abstract}

19: