基于AADL与Simulink/Stateflow组合建模的形式化分析与验证研究

一、引言

1.1研究背景与意义

随着科技的飞速发展，网络物理系统（Cyber-PhysicalSystems，CPS）在各个领域得到了广泛应用，如航空航天、汽车电子、工业自动化等。CPS是一种将计算、通信与物理过程深度融合的复杂系统，通过实时感知、动态控制和信息服务，实现物理世界和信息世界的交互协同。然而，由于CPS的复杂性和对安全性、可靠性的严格要求，其设计和开发面临诸多挑战。

在CPS的建模过程中，单一的建模语言往往难以满足系统多方面的描述需求。AADL（ArchitectureAnalys