基于MARTE的实时系统模型驱动架构关键问题研究

项目名称： 基于MARTE的实时系统模型驱动架构关键问题研究

项目编号： No.61170084

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 刘静

作者单位： 华东师范大学

项目金额： 56万元

中文摘要： 国际对象管理组织OMG将模型驱动架构，作为提高软件质量与开发效率最有前景的方法, 并于2010年8月发布模型驱动实时系统建模规范MARTE。但MARTE 模型缺乏严格的语义，特别是多时钟系统的时间关系语义，不能精确地描述带多类混合时间约束的模型系统，不能对反应性进行精确建模，并保证模型的正确性、一致性。本项目研究采用形式方法，探索解决多抽象层次、多视角MARTE模型中的时间关联、模型正确性验证、模型一致性几个关键问题的理论和方法。研究将统一程序理论与MARTE规范和时间约束语言CCSL结合起来，针对包含大量并发事件、随机事件的复杂实时系统软件设计中的关键问题，探索给出精确建模的方法，并给出模型转换规则、模型精化策略与有效进行模型验证的手段，最后将研究成果应用于上海轨道交通列控系统设计，力争为提高我国自主研发安全攸关实时系统软件开发能力作出贡献。

中文关键词： 模型驱动；MARTE；统一程序理论；实时系统；

英文摘要：

英文关键词： Model Driven；MARTE；UTP；Realtime System；