没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
基于AADL的集成模块化航空电子设备重配置建模和可靠性分析方法
基于AADL的集成模块化航空电子设备重配置建模和可靠性分析方法
研究论文
0 下载量
83 浏览量
2021-03-04
15:38:04
上传
评论
收藏
449KB
PDF
举报
温馨提示
立即下载
基于AADL的集成模块化航空电子设备重配置建模和可靠性分析方法
资源推荐
资源评论
基于AADL的IMA重配置建模和可靠性分析
浏览:67
基于AADL的IMA重配置建模和可靠性分析
基于AADL的机载分布式软件错误建模与可靠性分析
浏览:144
在新一代的集成模块化航空电子系统中,机载软件采用开放的分布式架构,其中模块共享各种公共资源,并且彼此之间进行复杂的交互,从而导致模块故障易于传播,因此可靠性高。机载软件可能会减少。 机载软件的分析,...
基于AADL的IMA动态重配置建模方法
浏览:106
基于AADL的IMA动态重配置建模方法
基于AADL的分布式综合模块化航电系统架构建模与分析.pdf
浏览:122
#资源达人分享计划#
基于AADL的智能交通系统面向方面建模.pdf
浏览:134
基于AADL的智能交通系统面向方面建模.pdf
基于AADL的汽车防滑控制系统可调度性分析
浏览:13
基于AADL模型,汽车防滑控制系统的可调度分析方法,可调度性的原理、概念、分析方法
基于AADL的软件可靠性验证 (2012年)
浏览:103
针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析...
计算机-后端-基于AADL的Web应用架构安全性评估方法.pdf
浏览:129
计算机-后端-基于AADL的Web应用架构安全性评估方法.pdf
基于AADL的QoS规范和建模
浏览:23
基于AADL的QoS规范和建模
嵌入式软件系统体系结构可靠性分析方法
浏览:101
AADL是嵌入式领域对SA进行建模、评估的常用方法,但其属于一种半形式化开发语言,无法直接对SA的可靠性进行验证。为此,提出一种基于AADL的可靠性分析框架,对SA的可靠性进行形式化验证。首先通过分析系统体系结构的...
论文研究-基于AADL的软件开发技术研究.pdf
浏览:70
为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关...
适用AADL建模的例子,aadl文件,aaxl文件
浏览:87
5星 · 资源好评率100%
包含了一系列SEI等的AADL建模的例子
基于AADL的基于云的网络物理系统建模
浏览:96
基于AADL的基于云的网络物理系统建模
AADL语言 结构化描述语言
浏览:24
5星 · 资源好评率100%
架构描述语言 AADL 结构化 在航电系统 工业控制中一个用巨大
基于AADL的模型设计与仿真分析技术
浏览:124
AADL(ArchitectureAnalysisandDesignlanguage)是一种应用于嵌入式系统领域的体系结构建模语言,支持航空、航天、汽车等领域复杂实时的安全关键系统的设计与分析。AADL具有语法简单、功能强大、可扩展等优点,能够对...
基于AADL的飞行管理系统建模
浏览:157
基于AADL的飞行管理系统建模
基于AADL的汽车网络物理系统建模
浏览:120
基于AADL的汽车网络物理系统建模
AADL 学习笔记_V2_aadl_
浏览:132
5星 · 资源好评率100%
AADL 学习笔记参考文件 AADL 标准V2
基于AADL的云网络物理系统的指定和建模
浏览:138
基于AADL的云网络物理系统的指定和建模
行人惯性导航零速检测算法
浏览:2
行人惯性导航零速检测算法
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:122
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:24
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:112
使用3DCNN和卷积LSTM进行手势识别学习时空特征
BA无标度网络中的SIR模型
浏览:139
BA无标度网络中的SIR模型
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:43
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:116
基于机器学习的设备剩余寿命预测方法综述
基于开源工具集的大数据网络安全态势感知及预警架构
浏览:44
基于开源工具集的大数据网络安全态势感知及预警架构
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:195
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:23
基于FPGA的奇异值和特征值分解的快速实现。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38535132
粉丝: 5
资源:
1016
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于51单片机的步进电机控制
EN-HCNetSDKV6.1.9.4-build20220412-linux64
爬虫python入门.txt
爬虫python入门.txt
爬虫python入门.txt
爬虫python入门.txt
爬虫python入门.txt
爬虫python入门.txt
基于人工智能(遗传算法 + 贪心 max-rect 算法) 的矩形拼接算法
贪心算法求地图最短路径.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功