资料介绍
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次下载
- 基于业务目标和业务场景的语义一致性验证方法 9次下载
- 基于迁移学习的驾驶分心行为识别模型 10次下载
- AltaRica3.0模型到NuSMVP模型的转换规则和算法 4次下载
- 基于预训练模型和长短期记忆网络的深度学习模型 19次下载
- 贝叶斯网络模型之一依赖估测器模型研究 12次下载
- 基于主题模型和变分自编器的自适应知识方法 5次下载
- 基于非参数方法的分类模型检验 1次下载
- 基于谱估计的雷达信号模型验证方法_刘文钊 0次下载
- 离散序列AR模型定阶方法研究衡思坤 0次下载
- 创建Proteus原理图仿真模型 95次下载
- 基于电波传播模型的无线定位方法研究 34次下载
- 基于有限元模型的IC卡芯片受力分析研究 216次阅读
- 任意模型都能蒸馏!华为诺亚提出异构模型的知识蒸馏方法 392次阅读
- 软件漏洞检测场景中的深度学习模型实证研究 345次阅读
- transformer模型详解:Transformer 模型的压缩方法 1174次阅读
- 从进程模型转换成线程模型的优缺点 252次阅读
- 目标检测多模型集成方法总结 709次阅读
- 异步电机速度估计-混合模型磁链观测器法 471次阅读
- MBD模型设计的PWM输出步骤和方法 945次阅读
- 基于文本驱动的三维模型风格化方法 699次阅读
- 基于VLP模型的语义对齐机制 733次阅读
- 第一原理化学反应流模型的开发和应用 336次阅读
- 集成模型的原理及创建集成模型的方法 4811次阅读
- 针对线性回归模型和深度学习模型,介绍了确定训练数据集规模的方法 5748次阅读
- 互联网的大脑模型与原子的太阳系模型的研究对比 4666次阅读
- 理想buck变换器模型与非理想buck变换器模型 1.6w次阅读
下载排行
本周
- 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次下载 | 免费
评论
查看更多