software.aadl 4.66 KB