云南高校图书馆联盟文献共享服务平台- 检索结果

-

在结果中检索

检索结果分析

检索条件："关键词=结构化分析和设计语言 "

共条记录，以下是1-3

发文量、被引量趋势图

全选清除导出

参考文献引证文献引用追踪

视图：

排序：

显示条数：

AADL模型的形式化研究被引量：3: 《计算机技术与发展》2013年第9期43-45,50,共4页刘玮李蜀瑜; 中央高校基本科研业务费专项资金(GK2010002011);教育部科学教育重点项目(107106); 在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AAD...; 关键词：模型驱动结构化分析和设计语言形式化研究开发平台

基于AADL模型的静态故障树的自动生成被引量：5: 《计算机技术与发展》2013年第10期99-102,106,共5页刘玮李蜀瑜; 中央高校基本科研业务费专项资金(GK2010002011);教育部科学教育重点项目(107106); 在基于模型驱动的嵌入式软件开发中,为了避免安全问题可能产生的损失,需要对系统的安全性进行分析,找出可能发生错误的地方。在基于AADL系统模型的安全性分析上,利用AADL错误模型附件为系统故障和传播进行建模,通过追踪对象的可能故障...; 关键词：结构化分析和设计语言错误模型有向图故障树

一种基于AADL的航空电子系统仿真和验证技术被引量：1: 《航空电子技术》2019年第4期23-28,共6页李铁颖王科翔戴苏榕; 飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航...; 关键词：基于模型的系统评估结构化分析和设计语言形式化方法

全选清除导出

共1页<1>

检索报告对象比较聚类工具使用帮助返回顶部