TY -的A2 -古普塔,Punit AU - Tan, Yu盟——赵Yongwang AU - Ma, Dianfu盟——张Xuejun PY - 2022 DA - 2022/01/04 TI -全面规范化AADL行为附件SP - 2079880六世- 2022 AB -在安全性至关重要的领域,建筑语言如AADL(架构分析和设计语言)一直扮演着重要的角色,和语言的分析和系统设计的是一个具有挑战性的研究课题。目前,一个正式的方法已经成为软件工程的一个主要实践进行严格的分析,它已被应用于形式化的工具和分析。正式的方法可用于早期发现和解决问题通过描述系统精确的语义和验证系统模型。本文研究的综合正式规范和验证AADL附件正式的方法和行为。该规范的演示和语义是这篇文章的目的,和工作在伊莎贝尔ARINC653模型案例研究说明了/假日。SN - 1058 - 9244 UR - https://doi.org/10.1155/2022/2079880 - 10.1155 / 2022/2079880摩根富林明科学编程PB - Hindawi KW - ER