使用AADL Inspector 分析AADL 代码时,使用静态分析功能分析,发现处理器,线程,进程数量都是0,但是实际上AADL代码里面是有配置的:
----------------------------------------------------
Root System Instance: STOOD::Avioics_Systems.NIL- Subprograms: 0
使用select root 按钮,选择欲分析的根system,保存后再次分析,则想看到的处理器等数量信息都呈现出来。