期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

ARINC653航空电子系统AADL建模技术研究

Study on AADL Modeling Techniques for ARINC653 Avionics Systems
下载PDF
导出
摘要 随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分析奠定基础。详细研究了ARINC653系统AADL建模的方法,具体描述了ARINC653系统、分区、进程、进程通信和健康监控等核心元素的AADL建模映射机制,并进行实例说明。 As ARINC653 system has been widely used in the field of China＇s aviation,the work on studyi ARINC653 system modeling methods would lay the foundation for the further study on model-based reliabil and schedulability analysis of ARINC653 system.The study methods to model ARINC653 system are diseuss using AADL in detail,including the mechanisms to model ARINC653 system,partition,process,process co munication and health-monitor.Finally,an example of AADL model is given for further explanation.
作者 单鹏 王长宇
机构地区 中航工业西安航空计算技术研究所 中航工业沈阳飞机工业(集团)有限公司
出处 《测控技术》 CSCD 北大核心 2013年第7期118-120,145,共4页 Measurement & Control Technology
关键词 AADL模型 ARINC653系统 模型驱动工程 AADL model ARINC653 system model driven engineering（MDE）
分类号 TN911 [电子电信—通信与信息系统]
  • 相关文献

参考文献14

  • 1ARINC Specification 653-3, Avionics Application Software Standard Interface, Part 3: Conformity Test Specification [S]. 2006.
  • 2仝敏,徐晓光.操作系统ARINC653标准符合性验证方法的研究[J].航空计算技术,2011,41(4):70-74. 被引量：1
  • 3杨志斌,皮磊,胡凯,顾宗华,马殿富.复杂嵌入式实时系统体系结构设计与分析语言：AADL[J].软件学报,2010,21(5):899-915. 被引量：77
  • 4张天,张岩,于笑丰,王林章,李宣东.基于MDA的设计模式建模与模型转换[J].软件学报,2008,19(9):2203-2217. 被引量：32
  • 5Delange J, Pautet L, Plantec A, et al. Validate, simulate, and implement ARINC653 systems using the AADL [ C ]//Pro- ceedings of the ACM SIGAda Annual International Confer- ence on Ada and Related Technologies. 2009.
  • 6Attaly T. SCADE-Safety Critical Application Development Environment [ R ]. Seminar in Software Engineering, Tech- nion,2009.
  • 7Rugina A E, Kanoun K, Kaaniche M. A System Dependability Modeling Framework Using AADL and GSPNs [ M ]//de Lemos R, Gacek C, Romanovsky A. Architecting Dependable Systems IV. Springer-Verlag Berlin, Heidelberg,2007.
  • 8SAE AS5506B, Architecture Analysis & Design Language (AADL) [ S]. 2004.
  • 9Sokolsky O, Lee I, Clarke D. Schedulability analysis of AADL models[ C]//The 20^th International Parallel and Distributed Processing Symposium. 2006.
  • 10Gui S L, Luo L, Liu Q, et al. UCaS:a schedulability analysis tool for AADL models [ C ]//Proceedings of 2008 IEEE/IF- IP International Conference on Embedded and Ubiquitous Computing. 2008.

二级参考文献98

  • 1何成万,何克清.基于角色的设计模式建模和实现方法[J].软件学报,2006,17(4):658-669. 被引量：22
  • 2Fersman E,Pettersson P,Wang Y.Timed automata with asynchronous processes:Schedulability and decidability.In:Proc.of the TACAS 2002.Berlin:Springer-Verlag,2002.67-82.
  • 3Harbour MG,García JJG,Gutiérrez JCP,Moyano JMD.MAST:Modeling and analysis suite for real-time applications.In:Proc.of the 13th Euromicro Conf.on Real-Time Systems.Washington:IEEE Computer Society Press,2001.125-134.
  • 4Jürjens J.Towards development of secure systems using UMLsec.In:Proc.of the 4th Int'l Conf.on Fundamental Approaches to Software Engineering.London:Springer-Verlag,2001.187-200.
  • 5Bodeveix JP,Cavallero R,Chemouil D,Filali M,Rolland JF.A mapping from AADL to Java-RTSJ.In:Proc.of the 5th Int'l Workshop on Java Technologies for Real-Time and Embedded Systems.New York:ACM Press,2007.165-174.
  • 6Jahier E,Halbwachs N,Raymond P,Nicollin X,Lesens D.Virtual execution of AADL models via a translation into synchronous programs.In:Proc.of the 7th ACM & IEEE Int'l Conf.on Embedded Software.New York:ACM Press,2007.134-143.
  • 7Hamid I,Zalila B,Najm E,Hugues J.Automatic framework generation for hard real-time applications.Innovations in Systems and Software Engineering:A NASA Journal,2008,4(1):107-122.[doi:10.1007/s11334-008-0044-5].
  • 8Zalila B,Pautet L,Hugues J.Towards automatic middleware generation.In:Proc.of the 11th IEEE Int'l Symp.on Object-Oriented Real-Time Distributed Computing.Washington:IEEE Computer Society Press,2008.221-228.
  • 9Vergnaud T,Hugues J,Pautet L,Kordon F.PolyORB:A schizophrenic middleware to build versatile reliable distributed applications.In:Proc.of the 9th Int'l Conf.on Reliable Software Technologies Ada-Europe 2004.Berlin:Springer-Verlag,2004.106-119.
  • 10The assert-project final report.2007.http://www.assert-project.net.

共引文献106

测控技术
2013年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部