期刊文献+

A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software 被引量:2

A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software
原文传递
导出
摘要 With direct expression of individual application domain patterns and ideas,domain-specific modeling language(DSML) is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language(UML) 2.2,a kind of DSML is presented to model simulation testing systems of avionic software(STSAS).To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system(FCS) as system under test(SUT),we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS. With direct expression of individual application domain patterns and ideas,domain-specific modeling language(DSML) is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language(UML) 2.2,a kind of DSML is presented to model simulation testing systems of avionic software(STSAS).To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system(FCS) as system under test(SUT),we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
出处 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2011年第2期181-194,共14页 中国航空学报(英文版)
基金 Aeronautical Science Foundation of China (20095551025)
关键词 AVIONICS HARDWARE-IN-THE-LOOP test facilities META-MODEL UML profile domain-specific modeling language abstract state machine avionics hardware-in-the-loop test facilities meta-model UML profile domain-specific modeling language abstract state machine
  • 相关文献

参考文献23

  • 1TechSAT GmbH. Avionics development system 2nd generation: user reference manual. Germany: Dev Software GmbH& Tech SAT GmbH, 2003.
  • 2RT-LAB/ATB: Scalable Test Bench for Avionics Systems. <http://www.opal-rt.com/product/rt-lab-professional>. Canada: Opal-RT Technologies Inc., 2010.
  • 3Peleska J, Hartmann T. Advancement in automated simulation and testing technology for safety-critical avionic systems. Aerospace Testing Expo 2006. 2006.
  • 4dSPACE Systems. <http://www.dspaceinc.com>. Wixom, MI, USA: dSPACE Inc., 2010.
  • 5Grossmann J, Conrad M, Fey I, et al. Testml a language for exchange of tests. <http://www.immos-pro- ject.de/site_im mos/download/TestML_ASWSD.pdf>. 2006.
  • 6UTP Object Management Group. UML testing profile specification, v1.0 (U2T P). Needham, MA, USA: Object Management Group, 2005.
  • 7Ricks K G, Weirs J M, Wells B E. SADL: simulation architecture description language. Proceedings of ISCA PDCS. 2001; 219-224.
  • 8Gu Z H. Techniques and tools for model-based design and analysis of embedded real-time software. PhD the- sis, University of Michigan, 2004.
  • 9Liu J W S, Redondo J, Deng Z, et al. PERTS: a prototyping environment for real-time systems. Technical Report UIUCDCS-R-93-1802, 1993.
  • 10Selic B. A systematic approach to domain-specific language design using UML. Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. 2007:2-9.

同被引文献27

  • 1LIN Qiang XIONG Hua-gang ZHANG Qi-shan.Credit Determination of Fibre Channel in Avionics Environment[J].Chinese Journal of Aeronautics,2007,20(3):247-252. 被引量:4
  • 2Prisaznuk P J. Integrated modular avionics[C]//Aerospace and Electronics Conference, 1992: 39-45.
  • 3Watkins C B, Walter R. Transitioning from federated avi- onics architectures to integrated modular avionics [C]// Proceedings of IEEE the 26th Digital Avionics Systems Conference, 2007: 2. A. 1-1-2. A. 1-10.
  • 4Di N M, Sangiovanni-Vincentelli A L. Moving from feder- ated to integrated architectures in automotive: the role of standards, methods and tools automotive electronics sys- tems need to support an increasing number of features and functions. A new integrated architecture paradigm is nee- ded to overcome the proliferation of electronic control units (ECUs) and allow integration of software components on distributed platforms [J]. Proceedings of the IEEE, 2010,98(4) : 603-620.
  • 5Li X Y, Xiong H G. Modelling and simulation of integrat- ed modular avionics systems[C]//IEEE/AIAA 28th Digit- al Avionics Systems Conference, 2009: 7B3-1-7B3-8.
  • 6Wang G Q. Integration technology for avionics system[C]// IEEE/AIAA 31st Digital Avionics Systems Conference, 2012 : 7C6-1-7C6-9.
  • 7Nesrine B, Katia J, Jean L S, et al. End-to-end delay analysis in an integrated modular avionics architecture[C]// IEEE 18th Conference on Emerging Technologies & Fac- tory Automation (ETFA), 2013 : 1-4.
  • 8Thorn S, Richard A, Jarren B, et al. A viable COTS based wireless architecture for spacecraft avionics[C]// 2012 Aerospace Conference, 2012: 1-11.
  • 9Jose R, Joao C, Paulo V. Building a time- and space-parti- tioned architecture for the next generation of space vehicle avionics[C]//Proceedings of Software Technologies for Embedded and Ubiquitous Systems, 2010: 179-190.
  • 10James W, Marie-Helene D, Regis D. Integrated modular avionics for spacecraft-user requirements, architecture and role definition [C]//IEEE/AIAA 30th Digital Avionics Systems Conference, 2011: 8A6-1-SA6-16.

引证文献2

二级引证文献64

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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