Autonomy requirements engineering for micro-satellite systems: CubeSat case study

摘要

The development of self-adaptive system is challenging due the complexity of modeling the system adaptations. Autonomy Requirements Engineering (ARE) tackles this challenge by eliciting and specifying the autonomy requirements. ARE is a type of a goal-oriented requirements engineering method that helps model the system objectives with generic autonomy requirements. ARE provides a potential requirements modeling solution for the unmanned space mission systems, which are required to be highly adaptive. In this paper, we present the preliminary results of applying ARE to a micro-satellite case study: CubeSat mission MYSAT-1. We have found that ARE specification of CubeSat mission improves the communication and the system functionality for the current specification and the implementation of the system.