没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
aadl工具——osate使用
aadl工具——osate使用
aadl,osate
4星
· 超过85%的资源
需积分: 48
180 下载量
191 浏览量
2011-04-08
15:08:56
上传
评论
6
收藏
22KB
DOC
举报
温馨提示
立即下载
原创,使用时自己的总结,希望对大家有用!1
资源推荐
资源评论
osate2:开源AADL2工具环境
浏览:19
OSATE2 这是开放源代码AADL工具环境(OSATE)项目的源代码存储库。 文档,安装和设置说明保留在。 您还可以在发布问题并订阅公告。
AADL eclipse工程文件 osate-topcased
浏览:19
5星 · 资源好评率100%
某次课程作业要求,使用osate-topcased(基于eclipse的插件),使用AADL语言模拟了GPS的工作机制。
aadl开发工具osate2-2.10.0-vfinal-win32.win32.x86_64安装包
浏览:61
osate2.10.0安装包,官网下载地址:https://osate-build.sei.cmu.edu/download/osate/stable/2.10.0/products/osate2-2.10.0-vfinal-win32.win32.x86_64.zip
osate-plugin:OSATE插件
浏览:174
Sireum OSATE插件 该存储库包含Sireum 插件,该插件将AADL实例模型转换为 ,然后转换为下游Sireum工具(如 。 开发人员安装 该插件可以使用OSATE发行(以下安装方向发展)或OSATE开发环境(以下安装方向)。 Eclipse是在两种情况下都使用的基础IDE,因此其余这些说明将IDE称为“ Eclipse”。 克隆此存储库git clone --depth=1 --re
OSATE工具文档
浏览:150
5星 · 资源好评率100%
OSATE是由CMU开发的AADL开源集成开发环境,是在eclipse平台上的一套插件,用于AADL建模编译和分析。
OSATE安装及使用教程
浏览:17
OSATE是一个完整的建模环境,包括AADL和EMFTA,为描述AADL模型提供了支持。它由许多功能组成,用于建模和分析系统。此外,用户可以基于OSATE构建自己的工具,并扩展其初始功能。
aadl编程指南
浏览:51
4星 · 用户满意度95%
学习AADL的朋友可以下哦。
软件可靠性FTA
浏览:147
5星 · 资源好评率100%
软件可靠性FTA故障树分析教程,FTA入门教程
Eclipse_and_AADL_parser_installation_instructions
浏览:18
3星 · 编辑精心推荐
Eclipse之AADL安装指南,好东西及早分享,免得大家找"半天"。
适用AADL建模的例子,aadl文件,aaxl文件
浏览:105
5星 · 资源好评率100%
包含了一系列SEI等的AADL建模的例子
osate中Analyze Fault Impact工具使用的样例
浏览:7
osate中Analyze Fault Impact工具使用的样例
AADL开发工具Osate官方样例
浏览:21
内含34个官方样例,下载地址:https://github.com/osate/examples
AADL开发工具OSATE的使用与语法
浏览:184
1.OSATE:一个完整的建模工具,目前已经到3.xx的版本,但是各个版本的使用方法(拖图)还是有挺大差别的,在本次教程中选用OSATE2-2.2(也许你使用的的是3.xx但是他们的拖图方式可能不一样,但是语法还是差不多的)2....
Cheddar-任务调度分析工具(可作为OSATE插件)
浏览:131
除此之外,Cheddar可作为AADL开源工具环境OSATE的一个插件,进行任务调度分析的相关工作。 注意:本资源是从Cheddar官方网站下载而来,未经任何修改。本资源的官方下载链接为...
论文研究-基于AADL的软件开发技术研究.pdf
浏览:7
为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关...
AADL 学习笔记_V2_aadl_
浏览:51
5星 · 资源好评率100%
AADL 学习笔记参考文件 AADL 标准V2
系统配置要求安装有i250pstlite软件的电脑一台 完整版
浏览:9
系统配置要求安装有i250pstlite软件的电脑一台在办公文档的相关文库文档资源中很热门哦,下面为大家展示系统配置要求安装有i250pstlite软件的电脑一台的部分内容,更多具体内容请下载文档后进行查阅。终端研究所 PSTLITE 手机程序下载 I250PSTLITE的详细说明 一、目的: 说明如何使用I250PSTLITE给EG800灌软件,供各客服网点升级软件用。 二、名词解释:
aadl实现ARP4761系统
浏览:98
本项目为aadl实现ARP4761系统,是osate自带的样例,关于样例更多介绍参考https://blog.csdn.net/qq_37400312/article/details/122311471
osate2-04578e89970395cb988667fc3d2dd0f76b67b1b5.zip
浏览:4
这是开源AADL工具环境(OSATE)项目的源代码库。文件、安装和设置说明保存在OSATE.org。git地址:https://github.com/osate/osate2
论文研究-AADL模型代码自动生成技术研究.pdf
浏览:75
基于模型驱动方法,对AADL(体系结构分析设计语言)模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada的语法元素的映射规则,由此实现了自动代码生成器generator并集成在开源工具OSATE中。...
osate2项目源文件,内含osate2所必要的功能和样例
浏览:12
osate2项目源文件,傲寒osate2所必要的功能和样例
AASPE:一组用于安全性分析的建模工具(攻击树,攻击影响)和代码生成器,用于从AADL模型生成seL4平台的代码
浏览:104
这些工具正在使用AADL和OSATE工具集。 它提供以下功能: 攻击影响元模型 Attack Impact图形编辑器 攻击树编辑器元模型 攻击树图形编辑器 从攻击影响到攻击树的桥梁 从AADL到攻击影响的桥梁 安装工具 逐步版本 步骤...
AADL introduction
浏览:131
4星 · 用户满意度95%
The Architecture Analysis & Design Language (AADL) An Introduction AADL的入门资料,英文资料
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:160
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:34
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:130
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:40
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
NPPJSONViewer.zip
浏览:149
4星 · 用户满意度95%
NodePad++ JSON格式化插件
GD32替换STM32注意事项.pdf
浏览:170
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
凤凰涅槃账号
2016-07-18
没什么用,百度文库里有免费的,这儿还要2个积分,太不划算了,文库链接http://wenku.baidu.com/link?url=i5kkyYZG6ZxMY6rnslWBTI01BEg9WEd12txKc3UcdMkIVvUv-WwaOna1vUjCnqgNblbv7T7wNCi7HV4z2DrCGmtL69dwxQmSfxheQErUtae
muyilee
2012-12-12
很少的osate的使用,但是还是可以啦。最纠结的是osate我找不到
这个该叫什么呢
2013-08-10
太简单了,不是很有用
simonls
2012-04-25
如果是实际的开发步骤,我觉得更有用,被蒙了
qq_16921131
2014-07-03
写的挺清晰的,谢谢分享
1
2
3
4
5
前往
页
sunyaqingjd
粉丝: 2
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
unity10000个常用汉字
使用C#调用python操作
IMG20240425002617.jpg
IMG_2775.MOV.mov
00023(1).MTS
OSPF11111111
第三组 《打造家乡“金名片”》.pdf
Python实现kmp算法.zip
kmp算法测试.zip
kmp算法0.0.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
- 1
- 2
- 3
- 4
- 5
前往页