software.aadl 2.49 KB