资料下载
×
基于GSPN的机载构件化软件可靠性评估
消耗积分:0 |
格式:rar |
大小:1.40 MB |
2017-11-05
分享资料个
利用AADL语言对机载构件化软件系统体系结构进行可靠性建模，实现AADL可靠性模型到广义随机Petri网（GSPN）可靠性计算模型的转换。模型转换规则主要包括基本元素转换规则、基本依赖元素转换规则。在此基础上，将依赖关系扩展到语义连接、参数连接及子构件调用上，同时使用图形化方法对转换规则进行说明，使可靠性模型向CSPN模型转换规则更加完备，以实现对机载构件化软件系统可靠性的计算测试与分析评估。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
