We consider the spin-1/2 antiferromagnetic Heisenberg model on a bilayer honeycomb lattice including interlayer frustration in the presence of an external magnetic field. In the vicinity of the saturation field, we map the low-energy states of this quantum system onto the spatial configurations of hard hexagons on a honeycomb lattice. As a result, we can construct effective classical models (lattice-gas as well as Ising models) on the honeycomb lattice to calculate the properties of the frustrated quantum Heisenberg spin system in the low-temperature regime. We perform classical Monte Carlo simulations for a hard-hexagon model and adopt known results for an Ising model to discuss the finite-temperature order-disorder phase transition that is driven by a magnetic field at low temperatures. We also discuss an effective-model description around the ideal frustration case and find indications for a spin-flop like transition in the considered isotropic spin model.