作者：白海洋 李静 赵娜结构分析与设计语言时间自动机模型转换uppaal可调度性验证
摘要：结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期验证模型的可调度性，提出了AADL模型到时间自动机模型的转换方法，将AADL模型中的调度策略映射到时间自动机模型中的调度模板中，并给出了执行模型和附件模型的具体转换规则。转换后的模型可在UPPAAL工具中进行模拟和验证，分析原模型的可调度性。最后给出了AADL建模、模型转换和模型验证的全过程，证实了方法的有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
