AADL2
飞行控制系统是典型的安全关键系统,其可靠性对保证飞机安全运行具有重要作用。传统的可靠性分析方法过于依赖分析人员的经验,主观性强,极易导致可靠性模型与设计模型之间存在不一致性。综合利用架构分析设计语言(AADL)和随机Petri 网(SPN)描述系统的故障传播行为,提出
AADLadagnr hetd.ycoosustfn eealmeolg rtasan eAADL ue it me bsc htdooyf rnltgt oihsbstnotida~at stmahn(atecie M)wrsui.Bsdnh aa eetdedae o tersitasomao lgae(AL)fawokteasctdrnfrtnaug inT rmer,h soie ataltngolrnsai to AADL2TAS wa ilmetdyMsmpene b denigheifn t meamoe fbo t-...
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 (0)踩踩(0) 所需:1积分 40多种车辆数据集VOC+YOLO格式下载地址汇总.zip 2024-12-21 22:05:53 ...
SAE 架构分析和设计语言 (AADL) 附件第 2 卷:附件 B:数据建模附件 D:行为模型附件附件 F:ARINC653 附件 SAE Architecture Analysis and Design Language (AADL) Annex Volume 2: Annex B: Data Modeling Annex Annex D: Behavior Model Annex Annex F: ARINC653 Annex ...
OSATE2 This is the source code repository for the Open Source AADL Tool Environment (OSATE) project. Documentation, installation, and setup instructions are maintained onOSATE.org. You can also post questions and subscribe for announcements on themailing list. ...
The analysis and verification of an AADL model usually requires its transformation into the meta-model of this model-checker or that schedulability analysis tool. However, one challenging problem is to prove that the transformation into the target model of computation (MoC) preserves the semantics of...
SAE AS5506/2-2019的仪器设备信息,SAE 架构分析和设计语言 (AADL) 附件第 2 卷:附件 B:数据建模附件附件 D:行为模型附件附件 F:ARINC653 附件, SAE Architecture Analysis and Design Language (AADL) Annex Volume
AADL(Architecture Analysis Design Language);是一种字符化和图形化的语言,主要用于对嵌入式系统进行建模.MDA(Model Driven Architecture)是OMG(Object ManagementGroup)大力提倡的一种模型开发过程.它的主要思想是用户建立平台无关模型PIM(Platform Independent Model),结合具体平台信息生成平台相关模型PSM (Platform Specific...
Binary file not shown. Binary file added BIN +9.41 MB 3Иванищев 999 такизачем_.pdf Binary file not shown. Binary file added BIN +6.87 MB 4Шевченко Bricks.pdf Binary file not shown. 0 comments on commit ecef2dc Please sign in to comment. Footer...