- Years
- 2018(1)
- 2015(3)
- 2013(1)
- 2012(1)
- More...
- Indexed by
- 中国科技论文与引文数据库(CSTPCD)(6)
- 中国科学引文数据库(CSCD)(5)
- 北京大学中文核心期刊目录(北大核心)(5)
- Journals
- 南京航空航天大学学报(1)
- 测控技术(1)
- 计算机工程与科学(1)
- 计算机应用研究(1)
- 计算机技术与发展(1)
- 计算机科学与探索(1)
- More...
- Affiliations
- 南京航空航天大学(4)
- 南京大学(3)
- 中航工业西安航空计算技术研究所(1)
- Languages
- 汉语(6)
- Keywords
- 模型驱动工程(6)
- ARINC653(2)
- MARTE(2)
- AADL模型(1)
- ARINC653系统(1)
- MAST(1)
- SysML/MARTE(1)
- 元模型(1)
- 可调度性验证(1)
- 实时嵌入式系统与分析(1)
- More...
- Authors
- 胡军(4)
- 刘雪(3)
- 程桢(3)
- 马金晶(3)
- 石娇洁(2)
- 黄志球(2)
- 万勇兵(1)
- 单鹏(1)
- 张维珺(1)
- 徐中伟(1)
- More...
Relevance
- Relevance
- Publication time
10 per page
- 10 per page
- 20 per page
- 30 items are displayed on each page
6 Articles
- 基于模型的IMA时间资源配置验证方法研究CSTPCD
- 模型驱动的嵌入式系统设计安全性验证方法研究北大核心CSCDCSTPCDAbstract:基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点.提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台…More>>
- 基于模型转换的IMA系统可调度性验证方法北大核心CSCDCSTPCDAbstract:综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题.本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering,MDE)框架下,基于实时嵌入式系统建模与分析(Modeling and analysis of real-time a…More>>
- 基于ASM的元模型形式化语义的研究北大核心CSCDCSTPCD
- 模型驱动的安全关键系统重配置信息验证方法北大核心CSCDCSTPCDAbstract:近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的…More>>
- ARINC653航空电子系统AADL建模技术研究北大核心CSCDCSTPCDAbstract:随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分析奠定基础.详细研究了ARINC653系统AADL建模的方法,具体描述了ARINC653系统、分区、进程、进程通信和健康监控等核心元素的AADL建模映射机制,并进行实例说明.