-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=结构分析与设计语言 "
共 条 记 录，以下是1-10

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
基于AADL的航电系统可靠性分析工具被引量：3
《现代电子技术》2014年第8期65-68,71,共5页刘建军 孟海宁 
国家自然科基金项目(61100173);西安理工大学博士启动金项目(116-210912)
为了支持航电系统可靠性分析评估过程的自动化,设计并实现了AADL可靠性分析工具RAT。以用例图说明工具的功能需求,以活动图说明工具的功能间交互流程。给出工具的功能模块的划分、部署及实现。通过对机载设备进行可靠性评估,验证了该工...
关键词：航电系统 结构分析与设计语言 可靠性分析 可靠性评估 
一种基于并发的AADL建模方法被引量：1
《计算机与现代化》2017年第5期1-4,9,共5页李揭阳 曹子宁 
国家重点基础研究发展计划项目(973计划)(2014CB744900);航空科学基金资助项目(20150652008)
结构分析与设计语言(Architecture Analysis and Design Language,AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发...
关键词：结构分析与设计语言 并发 模型转换 进程代数 
基于AADL的无线传感器网络的建模与分析被引量：3
《计算机科学》2012年第S3期424-427,共4页钱磊 郁文生 朱明华 
国家自然科学基金项目(61070048);国家自然科学基金委员会创新研究群体科学基金项目(61021004);国家"863"计划项目(2011AA010101);国家"973"计划项目(2011CB302802);上海市重点学科建设项目(B412);上海市教育委员会科研创新项目(11ZZ37)资助
利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL...
关键词：结构分析与设计语言 无线传感器网络 温度传感器 嵌入式系统 
基于时间自动机的嵌入式软件模型可调度性验证被引量：3
《计算机工程与科学》2013年第3期121-127,共7页白海洋 李静 赵娜 
基本科研业务业务费专项科研项目可信嵌入式软件的建模与验证方法(NS2012136);横向课题嵌入式软件可信性验证方法研究(KFA1151901)
结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期验证模型的可调度性,提出了AADL模型到时间自动机模型的转换方法,将AADL模型中的调度策略映射到时间自动机模...
关键词：结构分析与设计语言 时间自动机 模型转换 UPPAAL 可调度性验证 
基于时间自动机的嵌入式系统AADL模型可调度性验证被引量：2
《东南大学学报（自然科学版）》2015年第6期1032-1037,共6页李静 沈宁敏 白海洋 周培云 
中央高校基本科研业务费专项资金资助项目(NS2015092)
采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了A...
关键词：结构分析与设计语言 时间自动机模型 可调度性 仿真验证 
基于AADL的甲烷浓度监测报警系统可靠性验证
《数字技术与应用》2015年第10期72-73,共2页杨夏 
结构分析和设计语言AADL在嵌入式系统领域有着良好的应用。为了保障煤矿安全系统软件的质量,选取甲烷浓度监测报警系统的流延迟问题为例,提出了基于AADL的错误模型附件的形式化软件验证方法,列举了不同端口产生流延迟的方式,阐释了从模...
关键词：甲烷浓度监测报警系统 结构分析与设计语言 流延迟 
基于AADL的机载设备系统可靠性建模被引量：5
《航空计算技术》2009年第2期90-94,共5页刘建军 钟珊 叶宏 
航空科学基金项目(2006ZC31001)
AADL可以描述机载设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述...
关键词：结构分析与设计语言 错误模型 可靠性建模 错误传播 状态映射 
线控转向系统瞬时故障容错控制
《可编程控制器与工厂自动化（PLC FA）》2014年第2期54-58,共5页汪伟 黄双 黄雄峰 周纯杰 
国家自然科学基金项目(61074145);(61272204)
针对车辆线控转向系统(steer by wire,SBW),提出了一种基于系统模型的瞬时故障层次化容错控制方法,用于提高线控转向控制的可靠性。首先分析了SBW系统结构特点和工作原理,然后给出了SBW系统的系统模型,提出了瞬时故障容锚控制框架,详细...
关键词：线控转向系统 瞬时故障容错 基于模型 层次化 结构分析与设计语言 
基于AADL的软件可靠性验证被引量：8
《计算机应用》2012年第A02期92-95,139,共5页谯婷婷 王乐 耶国栋 
航空科学基金资助项目(20100718004)
针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题...
关键词：软件可靠性 结构分析与设计语言 安全等级 流延迟 
嵌入式软件系统体系结构可靠性分析方法被引量：3
《计算机应用研究》2020年第10期3053-3057,共5页曲以堃 张伟 
国防技术基础项目。
AADL是嵌入式领域对SA进行建模、评估的常用方法,但其属于一种半形式化开发语言,无法直接对SA的可靠性进行验证。为此,提出一种基于AADL的可靠性分析框架,对SA的可靠性进行形式化验证。首先通过分析系统体系结构的元素关系,建立AADL可...
关键词：软件体系结构 结构分析与设计语言 连续时间马尔可夫链 转换模型 可靠性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部