ping.aadl 3.05 KB