Application of Executable UML Technology for Verification of Armored Vehicle Information System Model

Fa Lu; Ke Wei Yang; Shu Teng Zhang; Guo Xiong Zhan

doi:10.4028/www.scientific.net/AMM.602-605.1324

Paper Titles

Aircraft Sequencing Method for Staggered Parallel Runways Approach
p.1303

Study on High Performance Power Amplifier for Maglev Flywheel
p.1307

Fuzzy Control of Tracked Vehicle’s Semi-Active Suspension System Based on LMS
p.1313

The Design of a Novel High Frequency Digital Valve Based on Rotating and Differentially Parallel Control
p.1317

Application of Executable UML Technology for Verification of Armored Vehicle Information System Model
p.1324

The Application of Fuzzy Neural Network Generalized Predictive Control in Unit Plant Coordinated Control System
p.1329

Study on Welding Path Planning of Welding Position Flock for Welding Robot Based on Improved Genetic Algorithm
p.1332

Loading and Unloading Schedule of Automatic Storage/Retrieval System
p.1336

The Application of Vacuum Power for Drill Automatic Welding Device
p.1340

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 602-605Application of Executable UML Technology for...

Application of Executable UML Technology for Verification of Armored Vehicle Information System Model

Abstract:

Executable UML is one of development directions of Model Driven Architecture (MDA). Executable UML is committed to the automatic code generation from UML model. The simulation and testing of the model is realized either by compiling the model or by executing the code it generate. For solving the problem that how to confirm the correctness of executable model, this paper researches the mechanism of executable UML model and explore a verification method based on executable UML. Finally, researches how to apply the executable mechanism of Executable UML to the design and verification of Armored Vehicle Information System (AVIS) through an imaginary combat mission scenario.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 602-605)

Pages:

1324-1328

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.602-605.1324

Citation:

Cite this paper

Online since:

August 2014

Authors:

Fa Lu*, Ke Wei Yang, Shu Teng Zhang, Guo Xiong Zhan

Keywords:

Executable UML, Model Verification, Model-Driven Development

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Zhengyun Ling, Development of integration electronic information of tank, Equiment and technology, No. 5, pp.31-33, Feb. (2003).

Google Scholar

[2] Shiyong Ding, Meng Wang and Mengchun Zhong, Analysis and study of integration problem of operation system, Computer engineering and design, Vol 31, No. 11, pp.2491-2494, Aug. (2010).

Google Scholar

[3] Mellor S. J and Balcer M. J, Executable UML: A foundation for Model-Driver Architecture Addison wesley, (2012).

Google Scholar

[4] J. Aliand and R. Tanaka, Implementing the dynamic behavior represented as multiple state diagrams and activity diagrams, Journal of Computer Science&Information Management (JCSIM), Vol 2, No. 1, pp.24-34, (2001).

Google Scholar

[5] Ivar Jacobson, Grady Booch and James Rumbaugh, The Unified Modeling Language Reference Manual, China Machine Press, (2005).

Google Scholar

[6] Pei Fu and Qingfan GU, Research of executable model realization mechanism based on UML, Avionics technology journal, Vol 44, No. 1, pp.10-14, (2013).

Google Scholar

[7] Kennedy Carter, iUML Tutorial for iUML＆iUMLite 2. 1, NT press, (2001).

Google Scholar

[8] Gerry Boyd, Executable UML：Diagrams for the Future, Devx. Inc, (2003).

Google Scholar

[9] IBM Corporation, C++ Framework Execution Reference Manual, USA: IBM, (2008).

Google Scholar

[10] Information on http: /www. IBM. com.

Google Scholar