SAE AS 5506/1 : 2015
SAE AS 5506/1 : 2015
SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL) ANNEX VOLUME 1: ANNEX A: ARINC653 ANNEX, ANNEX C: CODE GENERATION ANNEX, ANNEX E: ERROR MODEL ANNEX
SAE International