首页
沸点
课程
数据标注
HOT
AI Coding
更多
直播
活动
APP
插件
直播
活动
APP
插件
搜索历史
清空
创作者中心
写文章
发沸点
写笔记
写代码
草稿箱
创作灵感
查看更多
登录
注册
OSATE&AADL教程
print_Hyon
创建于2022-04-18
订阅专栏
介绍基于OSATE环境下的AADL语言
等 5 人订阅
共13篇文章
创建于2022-04-18
订阅专栏
默认顺序
默认顺序
最早发布
最新发布
【OSATE&AADL建模入门学习教程】插件开发入门
本章介绍了OSATE工具的插件开发基本方法,因为OSATE是基于eclipse平台开发的,他具有eclipse的基本特性,所以我们可以借助eclipse来进行插件的开发
【OSATE&AADL建模入门学习教程】EMV2.aadl详解
本文已参与「新人创作礼」活动,一起开启掘金创作之路。 介绍 本文主要介绍了EMV2.aadl这个文件的基本内容,一方面更加深入的学习emv2的功能,另一方面为自己编写一个annex做准备 附录文件头部
【OSATE&AADL建模入门学习教程】错误树分析样例
整理了EMV2进行错误树分析的基本语法,用最简单直观的样例介绍EMV2和错误树分析。同时包含关于FTA的门/事件的类型。
【OSATE&AADL建模入门学习教程】Model Analyses 模型分析方法
本文介绍aadl模型实例化后,进行Flow Latency Analysis、Bus Load Analysis两种分析方法。
【OSATE&AADL建模入门学习教程】样例介绍:Continuous Safety Risk Evaluation by Example
本章介绍了一款官方样例,样例主要基于错误树分析方法介绍了aadl在实践中的简单应用,对模型中的各种组成进行了讲解,并列举了四个场景,证明在安全风险分析中,加入较低设计保证水平(DAL)组件的重要性
【OSATE&AADL建模入门学习教程】Error Model Annex介绍(内含样例)
本文对EMV2相关的部分名词进行枯燥的文字解释,同时用一系列样例辅助认识EMV2的各种语法,如error type,behavior,propagations,propagations,events
【OSATE&AADL建模入门学习教程】AADL 样例 ARP4761 介绍
本文介绍了ARP4761项目的基本内容和部分aadl。本示例再现了ARP4761和AIR6110标准中描述的车轮制动系统。
【OSATE&AADL建模入门学习教程】AADL语法介绍(四)复合构建和通用构建详细介绍
本文介绍了复合构建system和通用构建abstract的约束和使用方法。统代表软件、执行平台或系统构建的复合体。
【OSATE&AADL建模入门学习教程】AADL语法介绍(三)执行平台类构建详细介绍
本文介绍了执行平台类构建Processor、Virtual Processor、Memory、Bus、Virtual Bus、Device的使用方法和约束。
【OSATE&AADL建模入门学习教程】AADL语法介绍(二)软件类构建详细介绍
本文主要介绍AADL软件类构建Process、Thread、Thread Group、Data、Subprogram、Subprogram Group的功能和基本用法。
【OSATE&AADL建模入门学习教程】AADL语法介绍(一)组件的基本介绍
本文介绍了AADL语法组件的基本信息,同时推荐了一些学习新手教材,帮助入门人员更快的了解AADL的基本语法和使用规范。
【OSATE&AADL建模入门学习教程】AADL Property 属性
本文介绍了属性的查看方法,4种属性值的类别,6种属性状态的用法,对AADL的属性进行基本的讲解和使用介绍
【OSATE&AADL建模入门学习教程】新手入门
本文介绍了Osate的基本操作,和Eclipse类似。 文中语言介绍较少,因为感觉大家看图片应该很好理解所以没有过多解释。