Update ARINC example for the AADL committee