原文传递
支持汽车电子的状态图验证工具——Smart Automata
| 论文题名： | 支持汽车电子的状态图验证工具——Smart Automata |
| 关键词： | 支持汽车电子;状态图验证工具;汽车电子软件 |
| 摘要： | 在汽车电子软件开发领域，基于模型的开发方式得到了越来越广泛的应用，而作为基于模型的开发方式的重要且不可或缺的组成部分，验证成为软件开发人员越来越关心的技术问题。本文探讨了如何利用对状态图的验证，来提高汽车电子软件的开发过程的效率和安全性。 本论文的研究目的是提供给用户一个支持状态图的可视化建模与动态模拟和验证的工具。通过该工具，可以帮助用户直观高效地对状态图进行建模，通过可视化的建模更好地实现软件开发过程中的沟通；并提供状态图的动态模拟仿真，帮助用户调试和发现建模的错误，和与预想的设计逻辑不相符合的地方，并且准确地定位到错误和问题的具体位置；最后通过状态图的验证来帮助用户在进行下一步软件开发前提早检查出可能出现的设计问题，从而使得用户能够更高效的完成汽车电子软件的开发工作。 本论文的主要贡献有： 1)在SmmOSEK IDE的框架中设计并实现了一个用户交互的状态图建模环境。能很好地为SmartOSEK IDE中支持汽车电子的状态图模型提供支持，也能够独立进行状态图建模。 2)针对状态图的模拟仿真，设计并实现了一个状态图语句的模拟器。通过在状态图仿真过程中，动态地在本机内存中模拟状态图中动作的执行，实时地保证状态图仿真的正确性。并且能够在模拟仿真过程前对状态图上的语句进行错误检查。 3)在状态图模拟的基础上，设计并实现了一个状态图的验证引擎。提供了状态图的验证功能，使用户可方便快捷地检查整体设计的逻辑正确性和其它的设计冗余问题。 |
| 作者： | 赵坚 |
| 专业： | 计算机应用技术 |
| 导师： | 吴朝晖;赵民德 |
| 授予学位： | 硕士 |
| 授予学位单位： | 浙江大学计算机学院 |
| 学位年度： | 2008 |
| 正文语种： | 中文 |
检索历史
应用推荐
