Text this: Research on Satellite Communication System’s Design and Verifi cation Based on SysML