温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种采用随机Petri网（SPN）对综合模块化航空电子系统（IMA）中分区软件的可靠性分析方法。该方法首先参考ARINC653中的分区状态定义，分析并确定分区软件的Petri网的位所和迁移，将“故障状态”作为位所之一，建立IMA...
该专利属于电子科技大学所有，仅供学习研究参考，未经过电子科技大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。