电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
AltaRica语言用于安全关键系统的建模，其拥有一套完整的建模分析工具，但随着AltaRica3.O的更新，ARC等传统的AltaRica建模分析工具已不再支持，而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.O相对于之前版本在表达能力方面的改进，以及其底层模型GTS的基本结构。以AltaRica3.O扁平化为GTS模型的思想为基础，提出了一种AltaRica3.O模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例，建立了AltaRica3.O模型，并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求，利用SPIN工具对机轮刹车系统的安全属性进行了验证。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于主题模型的Web服务聚类方法综述 8次下载
- 系统仿真模型可信度评估方法研究综述 11次下载
- 锂电池多状态模型剩余寿命预测方法 11次下载
- 神经网络模型剪枝后泛化能力的验证方案 4次下载
- 基于除法畸变模型的镜头线性标定方法 7次下载
- 基于迁移学习的驾驶分心行为识别模型 10次下载
- 参数域边界平直化的模型表面参数化方法 7次下载
- AltaRica3.0模型到NuSMVP模型的转换规则和算法 4次下载
- 基于深度学习的视频质量评价方法及模型研究 81次下载
- 贝叶斯网络模型之一依赖估测器模型研究 12次下载
- 基于主题模型和变分自编器的自适应知识方法 5次下载
- 基于非参数方法的分类模型检验 1次下载
- 基于谱估计的雷达信号模型验证方法_刘文钊 0次下载
- 创建Proteus原理图仿真模型
- 基于电波传播模型的无线定位方法研究 34次下载
- 功率放大器在Lamb波信号波包模型验证研究中的应用 686次阅读
- 神经网络预测模型的构建方法 375次阅读
- 深度学习的模型优化与调试方法 432次阅读
- 任意模型都能蒸馏！华为诺亚提出异构模型的知识蒸馏方法 764次阅读
- 软件漏洞检测场景中的深度学习模型实证研究 578次阅读
- 从进程模型转换成线程模型的优缺点 354次阅读
- 基于文本到图像模型的可控文本到视频生成 801次阅读
- 目标检测多模型集成方法总结 1016次阅读
- 基于文本驱动的三维模型风格化方法 6495次阅读
- 基于VLP模型的语义对齐机制 973次阅读
- 电源管理系统热模型的建模和验证 3396次阅读
- 集成模型的原理及创建集成模型的方法 5194次阅读
- 针对线性回归模型和深度学习模型，介绍了确定训练数据集规模的方法 5995次阅读
- 互联网的大脑模型与原子的太阳系模型的研究对比 4875次阅读
- 基于VMM验证方法学的MCU验证环境 3189次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论