嵌入式实时系统的复杂性、资源受限性、实时性和可靠性要求对系统设计人员提出了更多的挑战,各种安全性、可靠性指标无法完全通过测试来验证。模型驱动技术能够在一定程度上解决这个问题。但是,模型驱动技术的复杂性和专业性也让非计算机专业的领域工程师望而却步,其学习成本较高,设计过程复杂,因此很难在嵌入式系统设计领域得到广泛地应用。为了更好地支持嵌入式实时系统的设计、验证和开发,需要一个简单易学且直观的图形化领域建模环境,支持领域工程师快速搭建系统模型,并完成设计验证。本文以当前嵌入式实时系统的建模及验证需求为背景,针对当前嵌入式实时系统领域缺乏专用的领域建模工具、难以支持系统早期验证的局限,根据嵌入式实时系统的通用设计方法和设计流程,采用特定领域元建模技术,完成了嵌入式实时系统的领域特征分析,识别和抽取了领域对象,构建了领域元模型,并搭建了一个可视化的嵌入式实时系统领域建模环境。在领域建模环境的构建过程中,本文借鉴了统一建模UML以及系统建模语言SysML的领域对象抽取思路,用元模型表达了嵌入式实时系统设计过程中涉及到的实体以及实体间的关系,并提供了相应的图形化的建模元素,使得领域工程师能够使用该建模环境构建嵌入式实时系统中的各种软、硬件实体以及实体之间的静态的从属关系、分配关系和动态交互关系。本文的另一个重要特点在于支持软件功能到硬件实体的映射,这使得本文所开发的建模环境不仅仅局限于软件建模,还能够完成系统的软硬件协同设计,并为支持系统的集成验证提供良好的基础。本文最后通过一个实际工程中的应用实例:嵌入式IP电话系统来验证本文所实现的建模工具的实用性。使用本文所构建的建模环境建立了IP电话系统的静态结构模型和动态行为模。建模的结果表明,本文所提供的领域建模环境非常适合于嵌入式实时系统建模。