原文传递
SmartOSEK IDE3.0及其模型检查和协同工作
| 论文题名： | SmartOSEK IDE3.0及其模型检查和协同工作 |
| 关键词： | 集成开发环境;模型检查;状态验证;协同工作;可调度性;汽车电子软件 |
| 摘要： | 在汽车工业领域，嵌入式电子产品在整车中越来越占据重要的地位，这使得嵌入式汽车电子软件的开发过程成为汽车工业的重要技术问题。本文探讨了如何利用基于模型的方法和相应的集成开发环境，来提高汽车电子软件的开发过程的效率和安全性。 SmartOSEK IDE3.0是一套面向控制领域的，基于两层构件的，可视的、图形的、层次化的集成开发环境。它支持OSEK操作系统，支持基于模型的软件开发方法，从而大大提高了软件开发的效率，同时也提高了软件的可靠性。 SmartOSEK IDE3.0提供从系统层到组件层的5个层次的建模环境，一整套模型验证和系统测试工具，可以实现程序算法的模型设计和代码生存、文档生成，自行研制并且实现了一种汽车电子领域语言——SmartC，同时也提供了一套SmartC开发平台。主要包括：层次化建模环境、SmartC错误检测系统、模型状态检测工具、系统可调度性分析工具和SmartC代码自动生成、SmartC模型自动生成、C代码自动生成、文档自动生成、SmartC语言编辑器以及可维护、可扩展的SmartC库。 本论文的主要工作总结为以下几个方面： 1) 通过对基于模型研究以及对国内外常用的汽车电子集成开发环境的调研。提出了将基于模型的嵌入式软件开发方法运用到汽车电子行业地设计思想，设计并实现了基于模型驱动的集成开发环境SmartOSEKIDE3.0。 2) 通过对模型资源共享情况，并发推进顺序和模块可达性的分析，将每个任务都转化成一个时间状态自动机，利用状态验证工具UPPAAL，实现对模型状态的验证。 3) 在研究计算机支持的协同工作(CSCW)的基础上，针对集成开发环境的需求，采用CS架构，设计和实现了一套支持协同工作的服务(简称协同服务)，该服务支持多用户同时对同一模型进行分析和设计。 4) 在调研了国内外可调度性分析技术的基础上，提出了用基于模型的模拟仿真方法实行可调度性分析的思想，这一算法先已申请了专利。并且实行了对实时系统的可调度性分析。 |
| 作者： | 周炎淼 |
| 专业： | 计算机应用技术 |
| 导师： | 吴朝晖;赵民德 |
| 授予学位： | 硕士 |
| 授予学位单位： | 浙江大学 |
| 学位年度： | 2007 |
| 正文语种： | 中文 |
检索历史
应用推荐
