×

AltaRica 3.0模型到Promela模型转换与验证方法研究

消耗积分:1 | 格式:rar | 大小:0.97 MB | 2017-11-21

分享资料个

　　AltaRica语言用于安全关键系统的建模，其拥有一套完整的建模分析工具，但随着AltaRica3.O的更新，ARC等传统的AltaRica建模分析工具已不再支持，而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.O相对于之前版本在表达能力方面的改进，以及其底层模型GTS的基本结构。以AltaRica3.O扁平化为GTS模型的思想为基础，提出了一种AltaRica3.O模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例，建立了AltaRica3.O模型，并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求，利用SPIN工具对机轮刹车系统的安全属性进行了验证。

AltaRica 3.0模型到Promela模型转换与验证方法研究

下载并关注上传者 开通VIP，低至0.08元下载/次

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !