首页| 行业标准| 论文文档| 电子资料| 图纸模型
购买积分 购买会员 激活码充值

您现在的位置是:团子下载站 > 其他 > 基于GSPN的机载构件化软件可靠性评估

基于GSPN的机载构件化软件可靠性评估

  • 资源大小:1.40 MB
  • 上传时间:2021-08-31
  • 下载次数:0次
  • 浏览次数:24次
  • 资源积分:1积分
  • 标      签: GSPN

资 源 简 介

利用AADL语言对机载构件化软件系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。模型转换规则主要包括基本元素转换规则、基本依赖元素转换规则。在此基础上,将依赖关系扩展到语义连接、参数连接及子构件调用上,同时使用图形化方法对转换规则进行说明,使可靠性模型向CSPN模型转换规则更加完备,以实现对机载构件化软件系统可靠性的计算测试与分析评估。
VIP VIP