【OSATE学习笔记】错误树分析样例

已于 2022-02-02 17:34:11 修改
阅读量791 收藏 2
点赞数 2
分类专栏： aadl开发工具Osate 文章标签： osate FTA 错误树分析 aadl emv2
于 2022-01-26 23:04:03 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_37400312/article/details/122710026
版权

介绍

整理了EMV2进行错误树分析的基本语法，用最简单直观的样例介绍EMV2和错误树分析

目录

test1.aadl

package test1
public
		annex EMV2 {**
		error types
			error_type_1: type;
		end types;
	**};
	
end test1;

事件A和事件B同时发生的概率

在这里插入图片描述

package test3
public
	
	device device_1
		features
			out_feature_1: out feature;
		annex emv2 {**
			use types  test1;
			
			error propagations
				out_feature_1: out propagation {error_type_1};
			end propagations;
			
			component error behavior
				events
					events_1: error event;
					events_2: error event;
				propagations
					all -[events_1 and events_2]-> out_feature_1 {error_type_1};
			end component;
			
			properties
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.05;] applies to events_1;
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.02;] applies to events_2;
		**};
	end device_1;
	
	system system_1
		features
			system_1_out_feature_1: out feature;
		annex emv2 {**
			use types test1;
			
			error propagations
				system_1_out_feature_1: out propagation {error_type_1};
			end propagations;
			
		**};
			
	end system_1;
	
	system implementation system_1.implementation_1
		subcomponents
			subcomponents_1: device device_1;
		annex emv2 {**
			use types test1;
			
			component error behavior
				propagations
					propagations_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
public
	
	device device_1
		features
			out_feature_1: out feature;
		annex emv2 {**
			use types  test1;
			
			error propagations
				out_feature_1: out propagation {error_type_1};
			end propagations;
			
			component error behavior
				events
					events_1: error event;
					events_2: error event;
				propagations
					all -[events_1 or events_2]-> out_feature_1 {error_type_1};
			end component;
			
			properties
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.05;] applies to events_1;
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.02;] applies to events_2;
		**};
	end device_1;
	
	system system_1
		features
			system_1_out_feature_1: out feature;
		annex emv2 {**
			use types test1;
			
			error propagations
				system_1_out_feature_1: out propagation {error_type_1};
			end propagations;
			
		**};
			
	end system_1;
	
	system implementation system_1.implementation_1
		subcomponents
			subcomponents_1: device device_1;
		annex emv2 {**
			use types test1;
			
			component error behavior
				propagations
					propagations_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
public
	device device_1
		features
			features_out_data_port: out data port;
		annex emv2 {**
			use types ErrorLibrary, test1;
			
			error propagations
				features_out_data_port: out propagation {error_type_1,BadValue};
				flows
					flows_1: error source features_out_data_port {error_type_1,BadValue};
			end propagations;
			
			properties
				EMV2::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_1
		features
			system_1_out_feature_1: out feature;
		annex emv2 {**
			use types test1;
			
			error propagations
				system_1_out_feature_1: out propagation {error_type_1};
			end propagations;
			
		**};
			
	end system_1;
	
	system implementation system_1.implementation_1
		subcomponents
			subcomponents_1: device device_1;
		annex emv2 {**
			use types test1;
			
			component error behavior
				propagations
					propagations_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
public
	
	device device_1
		features
			out_feature_1: out feature;
		annex emv2 {**
			use types  test1;
			
			error propagations
				out_feature_1: out propagation {error_type_1};
			end propagations;
			
			component error behavior
				events
					events_1: error event;
					events_2: error event;
				propagations
					all -[1 ormore (events_1 , events_2)]-> out_feature_1 {error_type_1};
			end component;
			
			properties
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.05;] applies to events_1;
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.02;] applies to events_2;
		**};
	end device_1;
	
	system system_1
		features
			system_1_out_feature_1: out feature;
		annex emv2 {**
			use types test1;
			
			error propagations
				system_1_out_feature_1: out propagation {error_type_1};
			end propagations;
			
		**};
			
	end system_1;
	
	system implementation system_1.implementation_1
		subcomponents
			subcomponents_1: device device_1;
		annex emv2 {**
			use types test1;
			
			component error behavior
				propagations
					propagations_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
public
	
	device device_1
		features
			out_feature_1: out feature;
		annex emv2 {**
			use types  test1;
			
			error propagations
				out_feature_1: out propagation {error_type_1};
			end propagations;
			
			component error behavior
				events
					events_1: error event;
					events_2: error event;
				propagations
					all -[events_1 or events_2]-> out_feature_1 {error_type_1};
			end component;
			
			properties
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.05;] applies to events_1;
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.02;] applies to events_2;
		**};
	end device_1;
	
	device device_2
		features
			out_feature_1: out feature;
		annex emv2 {**
			use types  test1;
			
			error propagations
				out_feature_1: out propagation {error_type_1};
			end propagations;
			
			component error behavior
				events
					events_1: error event;
					events_2: error event;
				propagations
					all -[events_1 or events_2]-> out_feature_1 {error_type_1};
			end component;
			
			properties
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.07;] applies to events_1;
				EMV2::OccurrenceDistribution => [
					ProbabilityValue => 0.09;] applies to events_2;
		**};
	end device_2;
	
	system system_1
		features
			system_1_out_feature_1: out feature;
		annex emv2 {**
			use types test1;
			
			error propagations
				system_1_out_feature_1: out propagation {error_type_1};
			end propagations;
			
		**};
			
	end system_1;
	
	system implementation system_1.implementation_1
		subcomponents
			subcomponents_1: device device_1;
			subcomponents_2: device device_2;
		annex emv2 {**
			use types test1;
			
			component error behavior
				propagations
					propagations_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的门/事件的类型

在这里插入图片描述

样例

在这里插入图片描述

print_Hyon
关注
专栏目录
LightGBM中的错误树构建及作用
AI天才研究院
07-26 1021
LightGBM(Light Gradient Boosting Machine) 是由微软亚洲研究院提出的一个开源的高效率分布式梯度提升决策树框架。相比于传统的GBDT(Gradient Boost Decision Tree)，它的特点在于速度快、精度高，并且可以处理多种类型的特征，适用于海量数据场景下的建模。LightGBM 中的错误树错误树的概念错误树的构造方法及原理错误树的作用为什么要用错误树？使用错误树构建模型的注意事项模型训练中错误树的作用。
强化学习笔记 之 SAC算法样例（基于百度飞桨PARL）
UnseenMe的博客
07-24 3356
Abstract 从Sarsa、Q-learning开始，到DQN，再到Policy Gradient，最后到DDPG，一步步走进了强化学习的世界。在学习了这些基础算法之后，本文记录一下进阶算法SAC的学习心得。 SAC是Soft Actor-Critic的缩写，由伯克利人工智能研究实验室(BAIR)的Tuomas Haarnoja等人，提出于2018年。 传送门：Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic
Eclipse开发的Osate插件项目入门样例
03-06
Eclipse开发的Osate插件项目入门样例
【OSATE学习笔记】Error Model Annex介绍（内含样例）
qq_37400312的博客
01-22 1605
本文对EMV2相关的部分名词进行枯燥的文字解释，同时用一系列样例辅助认识EMV2的各种语法，如error type,behavior,propagations,propagations,events,transitions,flows等。
aadl工具——osate使用
04-08
原创，使用时自己的总结，希望对大家有用！1
AADL Inspector 故障树安全分析模块
旋极智能的博客
05-15 758
故障树是一种在系统安全性和可靠性研究中应用广泛的工程技术。这种方法，也称为故障树或错误树，是指以图形表示可能发生的使预先定义的不受欢迎的事件发生的组合。所以故障树是由连续的层次构成的，并通过逻辑门联系在一起的事件。通过采用这个表达式和演绎逻辑(从效果到原因)和阅读的布尔式逻辑一是干净的，可以从不受欢迎的事件的起因追溯到基本的、独立的和可预见的事件。 为适应AADL建模领域对复杂系统运行安全性的研究应用，Ellidiss发布了AADL Inspector的新功能：故障树安全分析模块。该模块是Ellidss与A
learningVue:vue个人学习笔记原始码，和博客样例同步。https
03-23
VUE个人学习笔记源码，和博客样例同步。 文件列表 1，vueNo1_shopCar_20190812，第一个样例，简单购物车。博客作者： ://blog.csdn.net/qq_35206244/article/details/89081600 2，vueNo2_v-command_20190819，第...
java学习笔记总结
04-02
这份学习笔记总结可能还包括了作者在解决实际问题时的一些技巧和最佳实践，比如错误排查方法、性能优化策略等。通过阅读和学习，读者不仅可以巩固Java基础知识，还能了解到作者在实际开发中的经验和见解，对提升编程...
DPDK学习笔记<3>样例学习
zy627836411的博客
04-10 6442
在上一个系列中已经介绍了DPDK的原理以及编译安装，这个部分开始进行DPDK样例程序的运行测试以及源代码分析。 编译样例前的设置 一旦创建了dpdk的目标环境目录（本系统为x86_64-native-linuxapp-gcc目录下）现在要做的就是设置软件编译需要设置的环境。 RTE_SDK:指向DPDK的安装目录 RTE_TARGET：指向DPDK的目标目标环境目录 进入样例程序：cd
数据库学习全程笔记及学习样例
12-17
本文将深入探讨“数据库学习全程笔记及学习样例”中的关键知识点，帮助你从入门到精通，掌握SQL语言和MSSQL Server数据库的使用。 首先，我们从基础开始。数据库创建是学习的起点，这包括安装MSSQL Server，配置...
OSATE安装及使用教程
06-07
OSATE是一个完整的建模环境，包括AADL和EMFTA，为描述AADL模型提供了支持。它由许多功能组成，用于建模和分析系统。此外，用户可以基于OSATE构建自己的工具，并扩展其初始功能。
故障树FTA（fault tree analysis）工具链
热门推荐
lost_temple的博客
10-01 1万+
如果你也在辛苦地找一款免费的容易使用的FTA工具，也许本文提供的转化工具对你有用。 背景 寻找界面友好的FTA工具已经有一段时间了，但遗憾的是，除了几十万的商业工具外，其他的几款工具是要么功能受限，要么就是用户界面不友好，经常崩溃。 我的要求其实很简单， 能做100+节点以上的FTA分析； 程序要健壮，不要经常崩溃； 增删节点要简便，界面要流畅，不卡顿； 能提供失效率计算； 能做...
故障樹分析 (Fault Tree Analysis)：找到根本原因 (Root Cause Analysis)
Warren Lynch 的博客
08-06 3063
故障樹分析 - 查找故障的根本原因 當一個複雜的系統出現故障時，要了解導致故障的原因並不容易。例如，在員工評估之後，如果人們對整個練習不滿意，那麼原因可能並不明顯。可能有許多因素同時發生，或者幾個獨立的因素獨立運作。也許兩者。如果您的汽車無法啟動，並不總是只有一個原因，甚至是一組固定的原因。想像一下，分析集成電路的故障必須要復雜得多，其中數百萬個組件都聯網在一起。為了幫助我們評估高級故障，工程師...
【OSATE学习笔记】新手入门
qq_37400312的博客
12-26 2230
本文介绍了osate的基本用法：打开软件自带样例、官方更多样例、打开本地项目、实例化AADL文件、检查流延迟、根据AADL文件自动生成可视化的Diagram图、打开官方帮助文档，同时提供了下载地址
AADL开发工具OSATE的使用与语法
果乐果香
01-14 7266
第一章：软件介绍 1.OSATE:一个完整的建模工具，目前已经到3.xx的版本，但是各个版本的使用方法（拖图）还是有挺大差别的，在本次教程中选用OSATE2-2.2（也许你使用的的是3.xx但是他们的拖图方式可能不一样，但是语法还是差不多的） 2.OSATE:建模只要有两个部分通过图形界面建模、另外一个是用过编程语法进行建模。其实你要是想将语法和图形界面中的部件联系起来也挺容易，你可以先拖一个...
【OSATE学习笔记】Model Analyses 模型分析方法
qq_37400312的博客
01-25 1003
本文介绍aadl模型实例化后，进行Flow Latency Analysis、Bus Load Analysis两种分析方法
【OSATE学习笔记】AADL 样例 ARP4761 介绍
qq_37400312的博客
01-08 2320
本文介绍了ARP4761项目的基本内容和部分aadl
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

print_Hyon

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值