随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分析奠定基础.详细研究了ARINC653系统AADL建模的方法,具体描述了ARINC653系统、分区、进程、进程通信和健康监控等核心元素的AADL建模映射机制,并进行实例说明.%As ARINC653 system has been widely used in the field of China's aviation,the work on studying ARINC653 system modeling methods would lay the foundation for the further study on model-based reliability and schedulability analysis of ARINC653 system.The study methods to model ARINC653 system are discussed using AADL in detail,including the mechanisms to model ARINC653 system,partition,process,process communication and health-monitor.Finally,an example of AADL model is given for further explanation.
展开▼
