基于时间抽象状态机的AADL模型验证

基于时间抽象状态机的AADL模型验证基于时间抽象状态机的AADL模型验证摘要：软件系统的复杂性不断增加，因此，为确保软件系统的正确性和可靠性，对软件系统进行验证成为必不可少的步骤。AADL（Archi