Application Research of AADL in Design of Spacecraft Control System
Bin Gu · Aerospace Control and Application · 2011
By taking a spacecraft for example,an AADL based hierarchical modeling method is proposed in this paper.Software model and interaction model between software and hardware in the control system are built,and the communication protocol between subsystems is described in a state machine form to analyze models.