L模型

作品数：379被引量：1539H指数：16
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：杨志斌董云卫黄滟鸿桂盛霖周勇更多>>
相关机构：南京航空航天大学华东师范大学西北工业大学华中师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=AADLx
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于FACE模型的AADL体系架构模型构建方法
《西北工业大学学报》2024年第6期1160-1167,共8页吕广喆 于春海 康凯 马春燕 林伟 
在时间敏感任务关键航空航天等软件系统研制中,FACE(future airborne capability environment)开放架构模型和AADL(architecture analysis&design language)体系架构模型相结合的建模技术正逐渐成为研究热点。因此,提出了基于FACE模型的...
关键词：模型自动构建 FACE模型 AADL模型 映射机制 StringTemplate模板 
基于AADL模型航空安全软件可信性度量方法
《计算机技术与发展》2023年第8期81-87,94,共8页刘歆宁 康玲 
辽宁省教育厅高等学校基本科研项目(LJKMZ20222007);大连市青年科技之星项目(2021RQ068)。
航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于A...
关键词：AADL 航空软件可信性度量 Markov分析方法 模型转换规则 模糊综合评价法 
一种基于B方法的需求描述转化为AADL模型的研究
《企业科技与发展》2023年第1期58-60,89,共4页王日磊 陈奎 史岩 
目前,航空、航天等领域对系统的可靠性有着极高的要求,业界也在研究和探讨通过构建系统的体系结构模型保证后续验证、开发等阶段的一致性,从而提升系统的可靠性。首先需要确保构建的系统模型满足系统的原始需求,只有这样,才能保证后续...
关键词：B方法 AADL 模型驱动 
安全关键软件的AADL模型自动逆向构造方法被引量：2
《小型微型计算机系统》2022年第7期1553-1561,共9页邱志凯 杨志斌 谢健 周勇 程高辉 陈俊文 
国家自然科学基金项目(62072233)资助;航空科学基金项目(201919052002)资助;中央高校基本科研业务费专项资金项目(NP2017205)资助.
近年来,采用模型驱动(Model-Driven)尤其是形式化模型驱动的安全关键软件设计与开发方法逐渐受到重视,并被工业界认为是切实可行的重要手段.AADL(Architecture Analysis and Design Language)是一种广泛应用于安全关键领域的形式化建模...
关键词：安全关键软件 模型驱动工程 模型驱动逆向工程 AADL 
基于NuSMV的AADL模型形式化验证技术被引量：6
《航空学报》2022年第3期443-458,共16页刘畅 蒋永平 马春燕 张涛 
航空科学基金(20175553028,20185853038,201907053004)。
结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言,在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性,提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先,覆盖AADL模...
关键词：AADL模型 NUSMV 形式化验证 模型转换 飞行控制系统 
一种SysML模型到AADL模型的自动转换方法被引量：5
《计算机工程与科学》2020年第3期456-466,共11页马燕燕 杨志斌 江国华 
国家自然科学基金(61502231);GF基础科研重点项目(JCKY2016203B011)。
安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使...
关键词：安全关键系统 模型驱动开发方法 SYSML AADL 模型转换 
基于限定自然语言需求模板的AADL模型生成方法被引量：14
《软件学报》2018年第8期2350-2370,共21页王飞 杨志斌 黄志球 周勇 刘承威 章文炳 薛垒 许金淼 
国家自然科学基金(61502231,61272083);阁家高技术发展计划(863)(2015AA105303);GF基础科研重点项目(JCKY20162038011)：国家重点研发计划(20J6YFB1000802);江苏省自然科学基金(BK20150753);软件开发环境国家重点实验室开放课题(SKLSDE-2015KF-04);航空科学基金(2015ZC52027)
随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保障软件安全性成为系统开发过程中的重要部分.传统的安全性分析方法主要应用在软件的需求分析阶段...
关键词：嵌入式软件 软件安全性 需求规约 限定自然语言需求模板 AADL 可追踪性 
一种AADL故障模型到动态故障树的转换方法被引量：4
《计算机技术与发展》2017年第11期110-114,共5页张晓策 燕雪峰 周勇 
"十三五"重点基础科研项目(JCKY2016206B001)
在基于模型驱动的嵌入式软件开发中,需要使用工程技术和工具保证其安全性和可靠性。在设计阶段确定系统的可靠性是非常重要的,因其可为设计决策提供重要信息,以减少系统的开发成本。应用AADL建立嵌入式系统模型时,存在着AADL对时序故障...
关键词：AADL模型 动态故障树 转换方法 错误附件 
基于Z-AADL模型的形式化转换被引量：2
《计算机技术与发展》2017年第3期23-28,共6页高正 曹子宁 
国家"973"重点基础研究发展计划项目(2014CB744900)
结构分析与设计语言(Architecture Analysis and Design Language,AADL)是针对嵌入式实时系统领域中的软件开发复杂度问题而提出的一种基于模型驱动开发的体系结构建模语言,可用于设计和分析一些安全关键嵌入式实时系统的软硬件体系结...
关键词：Z-AADL ZIA CT-ZIA 模型转换 
基于MDE的模型转换研究:从AADL模型到Fiacre模型
《电子技术与软件工程》2015年第21期96-96,共1页刘玮 
通过研究AADL的模型和Fiacre的模型特征,探讨了从AADL执行模型到Fiacre模型转换问题。首先基于AMMA平台建立AADL执行模型到FIACRE形式化模型的转换框架,然后通过KM3元元模型的语义,定义AADL元模型到FIACRE元模型的ATL转换规则,最后将AAD...
关键词：模型驱动 AADL FIACRE ATL 模型转换 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部