This paper presents the experience of software architectural design process for the microsatellite board computer based on formal language SysML. The design is achieved by top down method, which aims to set events and ...