基于模型的IMA 时间资源配置验证方法研究

综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛，已经成为飞机机载系统的重要的系统结构和发展趋势。IMA 具有高安全性，资源共享和高度模块化综合化的特征，模块或组件间以 AFDX 网络连接。在 IMA系统开发的过程中，为确保系统的可靠性和安全性，IMA 资源配置必须是正确的和安全有效的。所以对 IMA 进行有效的系统资源配置并保证配置的正确性和安全性成为航电领域一项重要的研究内容。结合 IMA 系统的特征，提出了一种基于模型的 IMA 系统时间资源配置的验证方法。建立 IMA 系统时间行为的 MAＲTE 模型，使用可调度分析工具 MAST，分析系统时间资源的可调度性，仿真分析、验证 IMA 配置与需求之间的满足性。并结合 IMA 系统中的一个水处理系统的实例来进行分析验证