ping.aadl 3.1 KB