资料介绍
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形弌对鉏件的内部行汋建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在 OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具 UPPAAL进行形式化验证。最后,给岀一个案例研究来验证所提方法的有效性。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 恒流二极管CRD产品分析综述 2次下载
- 运放电路综述之四种恒流源电路分析 58次下载
- 大功率LED正向电压与温度变化研究综述 5次下载
- 机器人操作系统EtherCAT技术研究综述 1次下载
- LLC电路设计原理及电路失效分析综述 144次下载
- EMC整改案例参考分析综述 66次下载
- 继电保护用开关电源的故障分析及措施综述 14次下载
- 机器学习在卫星遥测分析建模中的应用综述 54次下载
- 智能农业除草机器人研究分析综述 17次下载
- 多路水听器参数扫描测试分析设备综述 7次下载
- MEMS陀螺仪姿态算法研究综述 39次下载
- Prel语法与C语言语法的异同综述 4次下载
- 基于AADL的自主无人系统可成长框架综述 3次下载
- 基于多媒体社会事件的分析研究综述 18次下载
- 视觉问答与对话任务研究综述 10次下载
- NLP领域的语言偏置问题分析 209次阅读
- 揭秘编码器与解码器语言模型 338次阅读
- 什么是系统建模语言SysML? 2084次阅读
- 智能网联汽车多域电子电气架构技术研究 659次阅读
- 5G-A通感融合网络架构及演进研究 1470次阅读
- 国内智能换相装置研究综述 1002次阅读
- 综述:基于类酶材料的微流控技术在生物分析方面的应用 610次阅读
- 汽车电子电气架构设计中控制器融合的分析和参考案例 1625次阅读
- 视觉语言导航领域任务、方法和未来方向的综述 2614次阅读
- 基于架构分析与设计语言满足嵌入式软件系统的设计要求 1597次阅读
- 桥接视觉与语言的研究综述 2380次阅读
- 超声系统的信号链设计注意事项 2165次阅读
- 深度分析C语言和其他高级语言的区别 4278次阅读
- 分析、数据科学和机器学习平台最热语言_Python 1591次阅读
- 云计算架构图分析 6127次阅读
下载排行
本周
- 1TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 2开关电源基础知识
- 5.73 MB | 6次下载 | 免费
- 3100W短波放大电路图
- 0.05 MB | 4次下载 | 3 积分
- 4嵌入式linux-聊天程序设计
- 0.60 MB | 3次下载 | 免费
- 5基于FPGA的光纤通信系统的设计与实现
- 0.61 MB | 2次下载 | 免费
- 6基于FPGA的C8051F单片机开发板设计
- 0.70 MB | 2次下载 | 免费
- 751单片机窗帘控制器仿真程序
- 1.93 MB | 2次下载 | 免费
- 8基于51单片机的RGB调色灯程序仿真
- 0.86 MB | 2次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33564次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21548次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6653次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537796次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191185次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183278次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
评论
查看更多