在21世纪,越来越多的工业、军事、医疗和消费产品是实时嵌入式软件密集型系统,系统的开发变成一项复杂而又关键的任务。事实上,嵌入式系统必须实现一组由其环境决定的非功能属性,例如时间、可靠性、安全性或其它标准。在一些安全关键的领域,缺少非功能性需求可能造成严重后果,例如生命损失、人身伤害、设备损坏、环境灾难等。模型和分析是设计复杂嵌入式系统的宝贵资产,建模可以抽象描述系统各个方面,分析能够评估系统是否达到要求。然而,在软件/系统工程中,建模和分析技术历来是分开研究的,模型驱动工程使用特定领域的设计模型作为开发系统的主要构件,常用的分析技术如实时调度分析、可靠性分析等大多基于数学方法来分析系统。因此将基于数学方法的分析与符合模型驱动工程原则的设计模型相结合来实现嵌入式系统的非功能属性分析时,需要解决两个问题,一是分析如何从设计模型中得到分析数据,二是得到数据之后如何实现分析过程。对于第一个问题,本文将模型提供的分析数据形式化描述,并在设计模型的元模型层次上建立与之对应的映射关系,通过映射关系获取数据。对于第二个问题,将分析视为一个带有前置条件和后置条件的程序。前置条件是在输入模型上保持为真以成功执行分析的属性,后置条件是分析执行后模型上保证的属性,随后在此基础上引入契约的概念,契约的接口描述了需要的数据、属性和输出的数据、属性,将设计模型、分析、目标统一抽象成契约,根据接口找出契约的依赖关系,以实现在给出设计模型、多个可选分析方法、一个分析目标后自动选择并执行分析的过程。本文侧重于体系结构设计模型AADL与可调度性分析的结合,并以某无人机机载系统为例进行实验,结果表明使用模型访问器可以方便获取分析数据,利用契约概念能使模型分析过程自动执行。