论文部分内容阅读
如今嵌入式控制系统的应用越来越广,也变得越来越复杂,尤其是在军事、航天等领域时,对嵌入式控制系统的实时性和可靠性提出了更高的要求。这就要求在设计和开发嵌入式控制软件时,不仅要确保整个系统的控制逻辑和功能的准确性,还要能保证软件运行时严格满足预定的时序关系,更要在整个软件的设计和开发中,将安全性和稳定性的思想融入其中。为了更好的描述嵌入式软件和验证嵌入式软件的动态行为,需要对嵌入式软件的目标平台硬件和动态行为进行建模,并且可视化的建模方法能进一步提到嵌入式软件的建模效率和模型的准确率。本文针对嵌入式软件目标平台硬件和行为模型的可视化建模问题,探索了如何有效地对嵌入式软件的目标平台硬件和行为模型进行可视化建模。针对支持目标平台硬件和行为建模的建模语言一RTESIDDVL,本文设计和实现了一套可视化建模工具,该建模工具提供了嵌入式软件目标平台硬件和行为模型的可视化建模环境,并提供了图形化模型到RTESIDDVL语言文本模型的转换功能。在可视化建模工具的实现方法中,本文采用目前窗口程序常用的MVC(Model-View-Controller)设计模式,针对 Eclipse 开源项目 GMF(Graphical Modeling Framework)图形化建模框架分别设计了模型管理模块、图形管理模块和控制器管理模块等三大功能模块。最后通过一个实际工程中的应用实例:汽车定速巡航控制系统,来验证本文实现的建模工具的实用性。通过本文实现的建模工具对汽车定速巡航控制系统进行目标平台硬件建模和行为建模,最后对建模过程进行评价和总结。