Increasing interest in observing Earth’s climate and air traffic have led companies to explore the possibility of launching multiple satellites into orbit to monitor this. It is desired that these have the capability to communicate with each other and stations located on Earth. This project aims to explore possibilities for scheduling convoys consisting of multiple satellites. With the use of UPPAALCORA and SMC, we are able to produce traces which can be used to create a schedule for multiple satellites with some or all of them sharing the same orbit. The deterministic model, constructed in SMC, implements a preemptive scheduler with a simple dynamic prioritising. In the process of creating and testing the deterministic model, we explored limitations of scheduling multiple satellites which could be applied in the construction of a non-deterministic model. Such a model was made in CORA. This model facilitates a VBP scheduler for determining the tasks’ importance. Finally we evaluated the two models based on their experiments.