fix AADL model to check ARINC653 compliance with RESOLUTE