【OSATE学习笔记】错误树分析样例
2024-06-30 19:53:16
介绍
整理了EMV2进行错误树分析的基本语法，用最简单直观的样例介绍EMV2和错误树分析
目录
- 介绍
- test1.aadl
- 事件A和事件B同时发生的概率
- 事件A或事件B最少一个发生的概率
- 流A或流B最少一个发生的概率
- 事件A和B只有一个发生的概率
- 设备1的事件AB至少发生一个，设备2的事件CD至少发生一个，两种设备的至少有一个事件发生的概率
- 关于FTA的门/事件的类型
- 样例
test1.aadl
package test1
publicannex EMV2 {**error typeserror_type_1: type;end types;**};end test1;
事件A和事件B同时发生的概率
package test3
publicdevice device_1featuresout_feature_1: out feature;annex emv2 {**use types test1;error propagationsout_feature_1: out propagation {error_type_1};end propagations;component error behavioreventsevents_1: error event;events_2: error event;propagationsall -[events_1 and events_2]-> out_feature_1 {error_type_1};end component;propertiesEMV2::OccurrenceDistribution => [ProbabilityValue => 0.05;] applies to events_1;EMV2::OccurrenceDistribution => [ProbabilityValue => 0.02;] applies to events_2;**};end device_1;system system_1featuressystem_1_out_feature_1: out feature;annex emv2 {**use types test1;error propagationssystem_1_out_feature_1: out propagation {error_type_1};end propagations;**};end system_1;system implementation system_1.implementation_1subcomponentssubcomponents_1: device device_1;annex emv2 {**use types test1;component error behaviorpropagationspropagations_1: all -[subcomponents_1.out_feature_1]-> system_1_out_feature_1 {error_type_1};end component;**};end system_1.implementation_1;
end test3;
事件A或事件B最少一个发生的概率
package test4
publicdevice device_1featuresout_feature_1: out feature;annex emv2 {**use types test1;error propagationsout_feature_1: out propagation {error_type_1};end propagations;component error behavioreventsevents_1: error event;events_2: error event;propagationsall -[events_1 or events_2]-> out_feature_1 {error_type_1};end component;propertiesEMV2::OccurrenceDistribution => [ProbabilityValue => 0.05;] applies to events_1;EMV2::OccurrenceDistribution => [ProbabilityValue => 0.02;] applies to events_2;**};end device_1;system system_1featuressystem_1_out_feature_1: out feature;annex emv2 {**use types test1;error propagationssystem_1_out_feature_1: out propagation {error_type_1};end propagations;**};end system_1;system implementation system_1.implementation_1subcomponentssubcomponents_1: device device_1;annex emv2 {**use types test1;component error behaviorpropagationspropagations_1: all -[subcomponents_1.out_feature_1]-> system_1_out_feature_1 {error_type_1};end component;**};end system_1.implementation_1;
end test4;
流A或流B最少一个发生的概率
package test5
publicdevice device_1featuresfeatures_out_data_port: out data port;annex emv2 {**use types ErrorLibrary, test1;error propagationsfeatures_out_data_port: out propagation {error_type_1,BadValue};flowsflows_1: error source features_out_data_port {error_type_1,BadValue};end propagations;propertiesEMV2::OccurrenceDistribution => [ProbabilityValue => 2.0E-2;] applies to flows_1.BadValue;EMV2::OccurrenceDistribution => [ProbabilityValue => 5.0E-2;] applies to flows_1.error_type_1;**};end device_1;system system_1featuressystem_1_out_feature_1: out feature;annex emv2 {**use types test1;error propagationssystem_1_out_feature_1: out propagation {error_type_1};end propagations;**};end system_1;system implementation system_1.implementation_1subcomponentssubcomponents_1: device device_1;annex emv2 {**use types test1;component error behaviorpropagationspropagations_1: all -[subcomponents_1.features_out_data_port]-> system_1_out_feature_1 {error_type_1};end component;**};end system_1.implementation_1;
end test5;
事件A和B只有一个发生的概率
package test4
publicdevice device_1featuresout_feature_1: out feature;annex emv2 {**use types test1;error propagationsout_feature_1: out propagation {error_type_1};end propagations;component error behavioreventsevents_1: error event;events_2: error event;propagationsall -[1 ormore (events_1 , events_2)]-> out_feature_1 {error_type_1};end component;propertiesEMV2::OccurrenceDistribution => [ProbabilityValue => 0.05;] applies to events_1;EMV2::OccurrenceDistribution => [ProbabilityValue => 0.02;] applies to events_2;**};end device_1;system system_1featuressystem_1_out_feature_1: out feature;annex emv2 {**use types test1;error propagationssystem_1_out_feature_1: out propagation {error_type_1};end propagations;**};end system_1;system implementation system_1.implementation_1subcomponentssubcomponents_1: device device_1;annex emv2 {**use types test1;component error behaviorpropagationspropagations_1: all -[subcomponents_1.out_feature_1]-> system_1_out_feature_1 {error_type_1};end component;**};end system_1.implementation_1;
end test4;
设备1的事件AB至少发生一个，设备2的事件CD至少发生一个，两种设备的至少有一个事件发生的概率
package test6
publicdevice device_1featuresout_feature_1: out feature;annex emv2 {**use types test1;error propagationsout_feature_1: out propagation {error_type_1};end propagations;component error behavioreventsevents_1: error event;events_2: error event;propagationsall -[events_1 or events_2]-> out_feature_1 {error_type_1};end component;propertiesEMV2::OccurrenceDistribution => [ProbabilityValue => 0.05;] applies to events_1;EMV2::OccurrenceDistribution => [ProbabilityValue => 0.02;] applies to events_2;**};end device_1;device device_2featuresout_feature_1: out feature;annex emv2 {**use types test1;error propagationsout_feature_1: out propagation {error_type_1};end propagations;component error behavioreventsevents_1: error event;events_2: error event;propagationsall -[events_1 or events_2]-> out_feature_1 {error_type_1};end component;propertiesEMV2::OccurrenceDistribution => [ProbabilityValue => 0.07;] applies to events_1;EMV2::OccurrenceDistribution => [ProbabilityValue => 0.09;] applies to events_2;**};end device_2;system system_1featuressystem_1_out_feature_1: out feature;annex emv2 {**use types test1;error propagationssystem_1_out_feature_1: out propagation {error_type_1};end propagations;**};end system_1;system implementation system_1.implementation_1subcomponentssubcomponents_1: device device_1;subcomponents_2: device device_2;annex emv2 {**use types test1;component error behaviorpropagationspropagations_1: all -[subcomponents_1.out_feature_1 and subcomponents_2.out_feature_1 ]-> system_1_out_feature_1 {error_type_1};end component;**};end system_1.implementation_1;
end test6;
关于FTA的门/事件的类型
样例
【OSATE学习笔记】错误树分析样例相关推荐
- 【OSATE学习笔记】AADL 样例 ARP4761 介绍
ARP4761介绍 本示例再现了ARP4761和AIR6110标准中描述的车轮制动系统.它最初是由卡耐基梅隆大学(CMU)的软件工程研究所(SEI)设计的,旨在展示OSATE的以下能力: Fault ...
- 《数据结构、算法与应用 —— C++语言描述》学习笔记 — 竞赛树
<数据结构.算法与应用 -- C++语言描述>学习笔记 - 竞赛树 一.赢者树 二.二叉树的数组描述(补充) 1.声明 2.实现 三.赢者树 1.抽象数据类型 2.赢者树的表示 3.声明 ...
- [学习笔记] 伸展树splay详解+全套模板+例题[Luogu P3369 【模板】普通平衡树]
文章目录 引入概念 全套模板 变量声明 update ==rotate旋转== splay操作 insert插入 delete删除 查找x的位置 查找第k大 前驱/后继 极小值-inf和极大值inf的 ...
- 【OSATE学习笔记】AADL语法介绍（二）软件类构建详细介绍
介绍 本文主要介绍AADL软件类组件Process.Thread.Thread Group.Data.Subprogram.Subprogram Group的功能和基本用法. 这些被称作进程.线程组和 ...
- 【OSATE学习笔记】Model Analyses 模型分析方法
介绍 本文介绍aadl模型实例化后,进行Flow Latency Analysis.Bus Load Analysis两种分析方法 本文相关范例下载地址: osate官方样例 examples: Gi ...
- 【学习笔记】树的计数，prufer（Prüfer）编码，Cayley公式及相应例题
目录 1.pruferpruferprufer编码 1)无根树转化为prufer序列 2)prufer序列转化为无根树. 2.Cayley公式 1)由Cayley公式得到四个推论 例题1.P4981 ...
- 二叉树学习笔记之树的旋转
树旋转(Tree rotation)是二叉树中的一种子树调整操作,每一次旋转并不影响对该二叉树进行中序遍历的结果. 树旋转通常应用于需要调整树的局部平衡性的场合. 左旋和右旋 树的旋转有两种基本的操作 ...
- 表达式树 php,Linux_LINQ学习笔记:表达式树，构建查询表达式
本节中, 我们 - phpStudy...
构建查询表达式 本节中, 我们假设我们拥有一个这样的实体类: 1: [Table] public partial class Product 2: 3: { 4: 5: [Column(IsPrima ...
- go http 处理w.write 错误_go学习笔记-错误处理
go语言对异常的处理没有使用其他编程语言中常见的 try---catch来处理.go语言追求简洁优雅.在go语言,没有传统的异常概念,go使用panic和recover机制对程序的严重异常进行处理(例 ...
最新文章
- LINUX下SVN命令大全
- c语言加减乘除算术程序,求一个计算加减乘除的C语言程序
- 深度丨人工智能的最大未解之谜是什么？
- 深入浅出K-Means算法
- 算法提高 学霸的迷宫
- 【mongoDB】测试使用gridfs，配置一个分片服务器集群
- jQuery的基本语法,选择器,DOM操作
- mac屏幕截图_如何在Mac上拍摄屏幕截图
- 顶尖！百度AI算法专家手把手带你论文复现打比赛！
- 使用tcpdump抓取HTTP包
- NTFS分区和FAT32分区区别
- [KM 树同构Hash DP] BZOJ 3197 [Sdoi2013]assassin
- iphone计算机的声音怎么办,苹果计算机安装win10系统的扬声器无声音该怎么解决...
- 计算机的四个发展阶段的应用,计算机分为哪四个发展阶段
- 【jQuery】一个动画的例子
- 服务器端的相对地址与绝对地址
- 多元线性回归分析示例
- Base64实现加解密
- Windows 系统双网卡冲突
- End-to-end Learning for Inter-Vehicle Distance and Relative Velocity Estimation in ADAS with a Monoc