AADL模型相关论文
结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言,在航空航天领域广泛被应用.为验证AADL模型的任务关键......
随着嵌入式系统的规模、复杂程度和可靠性需求的不断提升，模型驱动的体系结构开发方法已经成为复杂嵌入式系统开发的主流。体系结构......
随着计算机应用领域的不断扩张,计算机软件的开发规模逐渐扩大,软件复杂度不断增加,开发周期和开发成本也不断增长。为了解决这些......
随着现代化的推进以及通信等技术的发展,计算机软件已广泛应用于各类安全攸关的系统中。在安全攸关实时系统的设计中,系统的复杂性......
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建......
在基于模型驱动的嵌入式软件开发中，需要使用工程技术和工具保证其安全性和可靠性。在设计阶段确定系统的可靠性是非常重要的，因其可......
针对软件安全性问题，提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型，计算组件处于不同危害......
随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分......
资源配置是综合航空电子系统(IMA)设计的重要环节,而配置信息是航空电子系统中的重要内容,它存储了系统软硬件的参数信息,若配置信......
随着嵌入式实时系统的发展,系统的复杂度也越来越高,需要对系统进行抽象建模和验证。体系结构分析与设计语言(Architecture Analys......
综合航电体系结构(IMA)的系统配置信息是航空电子系统中的核心内容，它保存着系统软件和硬件的参数信息，以及系统启动后所有构件的初......
