Integrated Modular Avionics System Design Based on Formal Dynamic Organization
Integrated Modular Avionics System Design Based on Formal Dynamic Organization
- New search for: Wang, Miao
- New search for: Xiao, Gang
- New search for: Liu, Xiaoqin
- New search for: Wang, Guoqing
- New search for: Wang, Miao
- New search for: Xiao, Gang
- New search for: Liu, Xiaoqin
- New search for: Wang, Guoqing
Avionics system integration is a system technology through which can improve the effectiveness of the system task, the efficiency of system function and the availability of resources operating. Therefore, the most important core technology of integrated avionics system is to implement optimized system organizing for system efficiency, effectiveness and validity by adopting the uniform methods of system synthesis, fusion and integration based on system application requirements, system capacity and resource operating. The aim of integrated avionics system is to minimize resource allocation and maximize operating effectiveness, as well as to optimize function executing and maximize system efficiency. In this paper, for integrated avionics system, three views are proposed for the system organization and evaluation with the formal multi-stage decision making., i.e., formal dynamic organization., which paves more efficient and effective way to establish the integrated avionics system. (Abstract)
Document information
Integrated Modular Avionics System Design Based on Formal Dynamic Organization
2019-09-01
1113901 byte
Conference paper
Electronic Resource
English
Similar titles
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
| DOAJ | 2018
Design guidance for integrated modular avionics
| TIBKAT | 1997
Cost Effective Integrated Modular Avionics
| British Library Conference Proceedings | 1996