software.aadl 2.47 KB