近几年，嵌入式系统已广泛应用于航空，航天，汽车电子等性能关键实时系统领域，此类系统对非功能属性要求较高，包括：可靠性、可用性、实时性、响应性、吞吐量和安全性。随着硬件设备计算效率不断提升，性能关键实时系统的复杂度也随之增加。业界提出了模型驱动结构(Model Driven Architecture，MDA)方法，它简化了系统的开发，极大提高生产效率，降低软件开发成本，保证软件质量。体系结构分析设计语言（ArchitectureAnalysis and Design Language，AADL）是一种基于MDA方法的建模语言，现已广泛运用于航空电子系统领域。航空电子系统具有高安全性、高可靠性及高实时性等特点，为满足这些需求，ARINC组织在1997年发布了航空电子应用软件标准接口（AVIONICS APPLICATIONSOFTWARE STANDARD INTERFACE），简称ARINC653。该规范定义了标准的API和系统服务,即APEX层,为应用程序和操作系统提供标准接口。它最核心的概念为分区（Partitioning），提出了时空分离的思想，有效地隔离了应用，同时也给出了分区通信、健康监控等重要概念。本文使用MDA方法对航空电子系统进行研究分析，但现有的AADL组件并不能模拟与ARINC653标准中的核心概念：如分区、健康监控等。因此，如何扩展AADL的建模能力是本文讨论的一个重点。本文主要从以下几个方面进行研究：（1）提取ARINC653标准中的主要模块，扩展AADL的属性集，设计AADL组件与ARINC653标准中各模块属性的映射关系，来对航空电子系统进行建模。在此基础上，实现对系统模型信息提取，对参数信息进行验证并自动生成正确完整的XML格式的配置文件，并将工具以插件的形式集成在OSATE平台下。最后，通过实例来验证配置文件自动生成工具是否完成以上功能。（2）为了获得能够使系统达到最优时间分配的系统配置，本文根据ARINC653航空电子系统中分区调度的特点，研究出了一种最优的分区调度算法，实现了对系统分区集的调度分析以及分区下的任务的仿真工具。最后通过实例的验证，证明了最近调度时间优先算法的最优性，并顺利生成正确的分区调度配置信息，从而帮助系统集成者解决了分区的调度配置问题。本文所实现的配置工具，不仅能够为ARINC653航空电子系统建模，同时能够对模型的配置信息进行验证并自动生成专用格式的系统配置文件，并对其分区集合的可调度性进行判定。这能够帮助系统集成者提早发现配置文件中的错误，并协助系统集成者找出最优的调度配置并生成配置文件，这大大提高了系统的开发效率。