基于Petri网的AADL模型正确性验证研究

• 作者: 张辉 经小川 谢伟华 高金梁
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 体系结构分析和设计语言 Petri网 运行状态 映射 关联矩阵
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 91-94
• 页数: 4页
• 分类号: TP311
• 字数: 3560字
• 语种: 中文

摘要

体系结构分析和设计语言AADL能够在架构级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景.但是目前的验证集中在性能分析等方面,忽略了AADL模型本身的正确性验证.提出将AADL模型的模式和模式转换映射成Petri网模型,结合Petri网的理论对AADL模型正确性进行验证的方法,从而确保建模阶段模型的正确性,为后续各种验证分析奠定了基础,同时进一步降低了在系统实现后发现问题修改模型所带来的时间和成本.最后,通过具体实例验证了该方法的可实施性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	经小川		19	41	4.0	4.0
2	张辉		22	32	4.0	4.0
3	谢伟华		4	5	1.0	2.0
4	高金梁		2	5	1.0	2.0