介绍在航空机载软件适航标准DO-178B/C要求下如何进行自动化WCET分析。