摘要：系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法。对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果。

摘要：提出一种基于实装软件的混合式仿真方法。针对实装软件研制平台移植中间件与网络集成中间件,构建实装软件虚拟运行环境;基于平台移植中间件完成实装软件向仿真系统的跨平台移植并完成部署,通过网络集成中间件实现实装软件的集中式运行与分布式管理;网络集成中间件与仿真平台集成完成仿真系统的构建。应用结果表明仿真方法是可行有效的,可提高仿真的一致性,降低冗余,具有广泛的应用前景。