随着对嵌入式系统应用需求的无限增大以及对智能化趋势的追求,其系统的软件系统开发的工作量剧增,软件开发过程中出错的概率也很高,相应地,其分析阶段的工作也越来越复杂,因此,在嵌入式系统软件开发过程中,分析阶段非常重要。但目前常用的建模及模型分析、验证方法普遍存在描述、分析和验证困难及模型复用性不高等问题。针对上述问题,文中对一种当前最常用的建模方法进行了改进,进而提出了一种新的嵌入式系统建模及模型分析、验证方法,较好地解决了上述问题。首先,对嵌入式系统的描述要求和目前用于嵌入式系统的建模方法进行了论述,每一种都指出了其适用范围和对嵌入式建模的缺陷。接着对常用的SpecCharts语言进行了研究,论述了应用SpecCharts语言描述嵌入式系统的方法,结合应用实例给出了建模的具体步骤,分析了其优缺点。然后,研究了当前最常用的UML嵌入式系统建模方法,详细论述了UML及扩展机制在嵌入式系统建模中的应用方法,提出了使用UML的扩展机制在序列图中表示时间约束信息的方法,在其模型的分析、验证中,提出了一种形式化的方法,能较好地解决UML模型形式化难的问题,并结合实例,给出了具体的步骤,分析了UML及扩展机制方法的优缺点。在此基础上,提出了一种新的方法--基于UML的对象分析模式和实时描述模式相结合的嵌入式系统建模及分析、验证方法(称为模式方法),定义了对象分析语义规则和实时描述映射规则,建立了模式模板,并结合实际应用,给出了如何根据系统需求,在模式模板中选择或扩充模式,依靠模板中结构模式引导建立系统的UML类图和行为模式建立序列图,进而建立带时间信息的UML初始概念模型,再根据文中定义的规则和支撑工具对初始概念模型进行可视化地错误分析、纠正及模型验证的详细步骤。最后,用实验对模式方法与几种常用的嵌入式建模方法在建模所化时间、文字描述量、模型描述复杂性、模型验证难易程度等方面进行了性能量化比较,应用实例和实验结果表明:模式方法是可行的,且是一种好的嵌入式系统建模及模型分析、验证方法。