Research on Static Comprehensive Detection Method for Mission Electronic System
- DOI
- 10.2991/3ca-13.2013.21How to use a DOI?
- Keywords
- Mission Electronic System; static comprehensive setection; formal; consistency detection
- Abstract
In the weapon system, with the improvement of the equipment performance, the system complexity also increases. Functional failure will cause the system to malfunction or even become a disaster. Therefore, system-level comprehensive detection for Mission Electronic System is the urgent issue in the field of weaponry and equipment. First of all, this paper gives the definition of both static and dynamic problems, which are caused by the upgrade of the complexity. Secondly, we establish a formal model for static comprehensive detection, which include definitions of Mission Electronic System, system environment, consistency and adaption. Meanwhile, generic detection algorithm of consistency and suitability are put forward. Finally, we achieve the relevant system based in this model.
- Copyright
- © 2013, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Hang Lian AU - Jianghua Lv AU - Shilong Ma PY - 2013/04 DA - 2013/04 TI - Research on Static Comprehensive Detection Method for Mission Electronic System BT - Proceedings of the 2nd International Symposium on Computer, Communication, Control and Automation PB - Atlantis Press SP - 82 EP - 85 SN - 1951-6851 UR - https://doi.org/10.2991/3ca-13.2013.21 DO - 10.2991/3ca-13.2013.21 ID - Lian2013/04 ER -