模型转换技术在复杂实时嵌入式系统中的应用

下载PDF

导出

摘要本文提出了一种面向复杂实时嵌入式系统的模型转换方法,该方法以架构模型作为权威数据真相源,通过Sys ML(System Modeling Language)描述复杂实时嵌入式系统的功能架构;通过Sys ML及其扩展的FACE(Future Airborne Capability Environment)概要文件Profile描述复杂嵌入式系统的逻辑架构;通过Sys ML及其扩展的MARTE(Modeling and Analysis of Real Time and Embedded Systems)Profile描述复杂实时嵌入式系统的物理架构。

作者季洪新陶福星马洪波

机构地区金航数码科技有限责任公司

出处《数字技术与应用》 2023年第5期61-63,共3页 Digital Technology & Application

关键词实时嵌入式系统模型转换逻辑架构功能架构物理架构架构模型

分类号 TU205 [建筑科学—建筑设计及理论]

引文网络
相关文献

参考文献2

1万小平,李蜀瑜.基于XML的UML模型向AADL模型的自动转换[J].计算机技术与发展,2014,24(3):71-73. 被引量：4
2邓佳佳,张育平,陈海燕.基于SysML & AADL的IMA刹车控制系统实时性需求验证[J].计算机与现代化,2017(6):40-44. 被引量：3

二级参考文献18

1李双庆,曹银龙.基于UML扩展的实时系统建模方法[J].计算机工程与设计,2006,27(24):4778-4780. 被引量：3
2Quadri I R, Gamati6 A, Boulet P. Expressing embedded sys- tems configurations at high abstraction levels with UML MARTE profile : Advantages, limitations and alternatives [ J ]. Journal of systems architecture ,2012,58 (5) : 178-194.
3Colbert E. Overview of the UML profile for the architecture a- nalysis & design language [ EB/OL]. 2004. http ://aadl. sei. emu. edu/aadl/doeuments/041103% 20AADL % 20Profile % 20SEApdf.
4Marehal B. Working XML: UML, XMI, and eode generation, partl [ EB/OL]. 2004-04-15. http ://www. ibm. eom/devel- operwarks/ library/xwxxm23/index, html? S_ TACT = 105AGX52&S_CMP = Cn-a-x.
5Feiler P H,Gluch D P,Hudak J J. The Architecture Analysis and Design Language ( AADL ) : An introduction [ R ]. [ s.1. ] :[s.n. ],2006.
6Li Qiuyan ,Tian Jie, Pei Qiuhong, et al. Automatic transforma- tion technology from AADL model to UML model[ C]//Proc of 2011 IEEE 3rd international conference on communication software and networks. [ s. 1. ] : [ s. n. ] ,2011:255-258.
7严丽,马宗民,刘健,于戈.模糊XML DTD到UML数据模型的转换[J].小型微型计算机系统,2009,30(4):586-593. 被引量：2
8王瀚博,周兴社,董云卫,唐蕾.结构分析和设计语言AADL研究[J].计算机工程与应用,2009,45(16):1-4. 被引量：12
9应一舟,叶丽君,郭义喜.基于XML的UML时序图向Petri网的转换[J].计算机工程,2009,35(22):84-87. 被引量：1
10许峰,王志坚.基于MDA的构件开发方法的研究[J].计算机应用与软件,2009,26(11):30-33. 被引量：4

共引文献4

1马丽,毋国庆,黄勃,程铭,崔梦天.BDL模型到UML状态图的可视化方法研究[J].计算机科学,2015,42(7):38-43. 被引量：1
2李蜜,庄毅.基于XSLT的可靠性模型的自动转换方法[J].计算机技术与发展,2019,29(12):21-26. 被引量：1
3马燕燕,杨志斌,江国华.一种SysML模型到AADL模型的自动转换方法[J].计算机工程与科学,2020,42(3):456-466. 被引量：5
4陈宣文,黄晖,戴小氐.MBSE在航空飞行控制系统的应用研究[J].航空工程进展,2024,15(2):152-165.

1China triunfa en el primer aterrizaje en Marte[J].今日中国（西文版）,2021(6):12-13.
2谢作如,程龙恺.在行空板上部署Web前端训练的AI模型[J].中国信息技术教育,2023(11):85-87.
3杨明华,孙晋易,傅尊伟,王政.THE SINGULAR CONVERGENCE OF A CHEMOTAXIS-FLUID SYSTEM MODELING CORAL FERTILIZATION[J].Acta Mathematica Scientia,2023,43(2):492-504.
4高飞,李洁欣,齐文娥.广东省水果产业发展及其对策研究[J].南方农村,2023,39(2):9-15. 被引量：2
5谢雪钦.微生物感染的免疫预防教学中融入课程思政的设计与实践[J].中国免疫学杂志,2023,39(6):1207-1210.
6Changyong Chu,Chengfang Yin,Shuo Shi,Shaohui Su,Chang Chen.Multidisciplinary Modeling and Optimization Method of Remote Sensing Satellite Parameters Based on SysML-CEA[J].Computer Modeling in Engineering & Sciences,2023(5):1413-1434. 被引量：1
7Jun Zhang,Xiaobin Li,Long Zhao,Zixin Li,Shuo Wang,Pan Yao,Pengfei Dai.Analysis of Temperature Rise Characteristics and Fatigue Damage Degree of ACSR Broken Strand[J].Energy Engineering,2023,120(3):617-631.
8Dennis Ombati,Githiri John,Maurice K’Orowe.Evaluation of Source Rock Potential for Hydrocarbon Generation in Shallow Offshore, Lamu Basin, Kenya[J].Journal of Geoscience and Environment Protection,2023,11(5):60-85.
9Zihao Huo,Defang Duan,Tiancheng Ma,Zihan Zhang,Qiwen Jiang,Decheng An,Hao Song,Fubo Tian,Tian Cui.First-principles study on the conventional superconductivity of N-doped fcc-LuH_(3)[J].Matter and Radiation at Extremes,2023,8(3):65-71. 被引量：1
10Xin Ge,Qinghua Chen,Liang Ling,Wanming Zhai,Kaiyun Wang.An approach for simulating the air brake system of long freight trains based on fluid dynamics[J].Railway Engineering Science,2023,31(2):122-134.

数字技术与应用

2023年第5期

浏览历史

内容加载中请稍等...

模型转换技术在复杂实时嵌入式系统中的应用

参考文献2

二级参考文献18

共引文献4

相关作者

相关机构

相关主题

浏览历史