avionics; Arinc653 standard; IMA system; aircraft avionics equipment design; application configurations; application developer; core OS configuration; integrated modular avionics system configuration data management method; mid-ware configuration; module configuration; operational system; partition configurations; platform provider; shared I/O configurations; system configuration classified method; system integrator; user defined codes configuration; Aerospace electronics; Data structures; Hardware; Kernel; Monitoring; Ports (Computers); Random access memory;
机译:基于MARTE的模块化组合航空电子系统配置的形式验证方法。
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:集成模块化航空电子型多处理器系统中的硬件重新配置算法
机译:集成模块化航空电子系统配置数据管理的方法
机译:将数据转换为信息并促进对水资源系统的理解以实现水资源综合管理的方法
机译:计划集成模块化航空电子系统中的独立分区
机译:通过动态重新配置进行故障管理,以实现集成式模块化航空电子设备