云南高校图书馆联盟文献共享服务平台- AADL

AADL: 作品数：147被引量：291H指数：9; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：杨志斌周勇董云卫谢健张凡更多>>; 相关机构：南京航空航天大学西北工业大学北京航空航天大学中国航空无线电电子研究所更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金中国航空科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>

基于FACE模型的AADL体系架构模型构建方法: 《西北工业大学学报》2024年第6期1160-1167,共8页吕广喆于春海康凯马春燕林伟; 在时间敏感任务关键航空航天等软件系统研制中,FACE(future airborne capability environment)开放架构模型和AADL(architecture analysis&design language)体系架构模型相结合的建模技术正逐渐成为研究热点。因此,提出了基于FACE模型的...; 关键词：模型自动构建 FACE模型 AADL模型映射机制 StringTemplate模板

基于AADL的DIMA系统建模与可调度性分析方法: 《小型微型计算机系统》2024年第11期2790-2799,共10页胡乔乔杨志斌黄志球周勇; 国家自然科学基金项目(62072233)资助;国防基础科研项目(JCKY2020205C006)资助;航空科学基金项目(201919052002)资助;南京航空航天大学科研与实践创新计划项目(xcxjh20221602)资助.; 随着航空电子系统功能的复杂性不断增加,航空电子架构由综合化向分布式综合化(DIMA)发展.考虑网络延迟的DIMA系统可调度性分析成为一个重要挑战.本文提出基于AADL(Architecture Analysis and Design Language)的DIMA系统架构建模和可调...; 关键词：DIMA AADL 光纤通道网络可调度性分析

基于AADL的混合关键系统随机错误与突发错误安全性分析: 《软件学报》2024年第9期4287-4309,共23页魏晓敏董云卫孙聪李兴华马建峰; 国家自然科学基金(62232013,62272366,62125205);中央高校基本科研业务费专项资金(ZYTS23165);陕西省重点研发计划(2023-YBGY-371)。; 许多复杂的嵌入式系统都是混合关键系统(mixed-criticality system,MCS).MCS通常需要在指定的关键性(criticality)等级状态下运行,但是它们可能会受到一些危害的影响,这些危害可能会导致随机错误和突发错误,进一步导致执行线程中止,甚...; 关键词：混合关键系统突发错误模型转换安全性分析概率模型检验

面向国产机载操作系统的IMA软件代码生成方法: 《航空计算技术》2024年第4期84-88,93,共6页凌仕翔杨志斌郭鹏周勇; 国家自然科学基金项目(62072233);航空科学基金项目资助(201919052002)。; 随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首...; 关键词：综合模块化航空电子系统国产机载操作系统 AADL 代码生成模型/代码语义一致性

基于AADL2SPN的飞行控制系统可靠性分析: 《航空工程进展》2024年第4期100-112,120,共14页罗文斌陆中程大炜缪炜润; 国家自然科学基金(U1733124);民航安全能力建设基金(2021-196);航空科学基金(20180252002)。; 飞行控制系统是典型的安全关键系统,其可靠性对保证飞机安全运行具有重要作用。传统的可靠性分析方法过于依赖分析人员的经验,主观性强,极易导致可靠性模型与设计模型之间存在不一致性。综合利用架构分析设计语言(AADL)和随机Petri网(S...; 关键词：系统可靠性基于模型的设计架构分析设计语言(AADL) 随机Petri网(SPN) 飞行控制系统

面向ARINC653操作系统的综合化航空电子软件代码自动生成方法: 《计算机科学》2024年第7期10-21,共12页凌仕翔杨志斌周勇; 国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002);南京航空航天大学科研与实践创新计划(xcxjh20221602)。; 综合化航空电子系统(Integrated Modular Avionics, IMA)是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何对这类复杂软件进行建...; 关键词：综合化航空电子系统 ARINC653操作系统 AADL 代码自动生成

传输时延环境下医疗信息物理融合系统设计: 《信息技术》2024年第1期91-95,103,共6页董平李宝树吴凤梅; 安徽高校自然科学研究项目(KJ2019A1229)。; 医疗信息在资源融合过程中具有时延性,为了提高信息的利用与共享效果,设计了传输时延环境下医疗信息物理融合系统。通过构建信息物理融合系统的基础架构,利用AADL建立具有一般性的含有时延特征的采集模块、处理模块和融合模块,提高医疗...; 关键词：时延信息物理融合系统医疗信息 AADL 动力学模型

A Single Feasibility Study of System Multi-feature Analysis and Evaluation Tool Based on AADL Model: 《International Journal of Plant Engineering and Management》2023年第4期193-212,共20页FENG Guangding MENG Bo XIANG Yangkui; The tool for analyzing and evaluating system characteristics based on the AADL model can achieve real-time,reliability,security,and schedulability analysis and evaluation for software-intensive systems.It provides a c...; 关键词：IMA multi⁃feature analysis AADL analysis tool

基于AADL模型航空安全软件可信性度量方法: 《计算机技术与发展》2023年第8期81-87,94,共8页刘歆宁康玲; 辽宁省教育厅高等学校基本科研项目(LJKMZ20222007);大连市青年科技之星项目(2021RQ068)。; 航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于A...; 关键词：AADL 航空软件可信性度量 Markov分析方法模型转换规则模糊综合评价法

基于时间自动机的AADL端到端流规约验证方法: 《计算机工程与科学》2023年第5期810-819,共10页白先平姚袭欣陈香兰刘翀李曦; 国家自然科学基金(61772482)。; 体系结构分析及设计语言(AADL)作为一种标准且直观的实时系统分析与设计工具,可以为系统设计、分析、验证、自动代码生成等关键环节提供统一的抽象表示。然而,AADL模型采用仿真的验证方法无法得到精确的端到端延迟验证结果,尤其是对于...; 关键词：实时系统验证 AADL 时间自动机观察者

AADL