Proceedings of the 2nd International Symposium on Computer, Communication, Control and Automation

Research on Static Comprehensive Detection Method for Mission Electronic System

Authors
Hang Lian, Jianghua Lv, Shilong Ma
Corresponding Author
Hang Lian
Available Online April 2013.
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/).

Download article (PDF)

Volume Title
Proceedings of the 2nd International Symposium on Computer, Communication, Control and Automation
Series
Advances in Intelligent Systems Research
Publication Date
April 2013
ISBN
978-90786-77-91-8
ISSN
1951-6851
DOI
10.2991/3ca-13.2013.21How to use a DOI?
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  -