Planetarium: Exploring the Night Sky on a Curved Ceiling
The device you are describing is called a planetarium.
While the term "planetarium" can refer to the entire building that houses the device, it also refers to the projector system itself, which uses a curved dome to mimic the night sky and project images of stars and planets.
