面向CPS时空性质的混成AADL建模与模型转换方法

摘要

面向CPS时空性质的混成AADL建模与模型转换方法，以解决CPS缺乏时间与空间统一建模与验证方法的问题。首先，扩展AADL行为附件的时空描述能力，提出混成AADL，用于建模CPS的时空性质；其次，在进程代数中引入微分方程以及位置描述提出HP‑TCSP，能够验证CPS的时空性质；再次，通过模型转换将混成AADL转换为HP‑TCSP，从而可以将混成AADL描述的CPS模型在HP‑TCSP中进行时空一致性验证。