software.aadl 2.46 KB