SmartOSEK IDE3.0及其模型检查和协同工作

被引量 : 0次 | 上传用户:weilijay
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在汽车工业领域,嵌入式电子产品在整车中越来越占据重要的地位,这使得嵌入式汽车电子软件的开发过程成为汽车工业的重要技术问题。本文探讨了如何利用基于模型的方法和相应的集成开发环境,来提高汽车电子软件的开发过程的效率和安全性。SmartOSEK IDE3.0是一套面向控制领域的,基于两层构件的,可视的、图形的、层次化的集成开发环境。它支持OSEK操作系统,支持基于模型的软件开发方法,从而大大提高了软件开发的效率,同时也提高了软件的可靠性。SmartOSEK IDE3.0提供从系统层到组件层的5个层次的建模环境,一整套模型验证和系统测试工具,可以实现程序算法的模型设计和代码生存、文档生成,自行研制并且实现了一种汽车电子领域语言——SmartC,同时也提供了一套SmartC开发平台。主要包括:层次化建模环境、SmartC错误检测系统、模型状态检测工具、系统可调度性分析工具和SmartC代码自动生成、SmartC模型自动生成、C代码自动生成、文档自动生成、SmartC语言编辑器以及可维护、可扩展的SmartC库。本论文的主要工作总结为以下几个方面:1)通过对基于模型研究以及对国内外常用的汽车电子集成开发环境的调研。提出了将基于模型的嵌入式软件开发方法运用到汽车电子行业地设计思想,设计并实现了基于模型驱动的集成开发环境SmartOSEK IDE3.0。2)通过对模型资源共享情况,并发推进顺序和模块可达性的分析,将每个任务都转化成一个时间状态自动机,利用状态验证工具UPPAAL,实现对模型状态的验证。3)在研究计算机支持的协同工作(CSCW)的基础上,针对集成开发环境的需求,采用CS架构,设计和实现了一套支持协同工作的服务(简称协同服务),该服务支持多用户同时对同一模型进行分析和设计。4)在调研了国内外可调度性分析技术的基础上,提出了用基于模型的模拟仿真方法实行可调度性分析的思想,这一算法先已申请了专利。并且实行了对实时系统的可调度性分析。
其他文献
本文拟通过"五四"运动中学生群体行为的分析,考察大规模学生群体行为发起和持续发展的条件,尤其是组织形式和行动策略的变化特征,以及学生与政府、社会各界的关系变化,探讨"
本研究对1501名4-7岁儿童的气质与行为问题关系进行了探讨,对其中的难养型、启动缓慢型和易养型儿童行为问题的发生进行了对照研究并进行了行为影响因素的多因素分析,结果提示:难养型儿
通过研究奥尔夫教学法产生的环境,分析奥尔夫教学法在幼儿音乐教育中教师教育理念落后、教师技能不全面、教育模式传统和教材配备不能及时供给等问题,针对这些问题,利用奥尔
新会计准则实施两年来,有关数据显示大多数上市企业投资性房地产仍采用成本计价模式,仅少量企业采用了公允价值计价模式,这与实施前的预测不一致。通过对管理层如何进行计价
经济全球化要求经济规则的统一化和产品的特色化。为维护经济规则的统一需要进行法治建设 ;为实现产品的特色化需要保护特色产品所依托的特色资源。民族地区经济要发展就必须
自二十世纪九十年代中后期以来,点式玻璃幕墙在我国运用越来越广。玻璃是点式玻璃幕墙主要材料,它不仅直接影响到玻璃幕墙的各项性能,而且也体现了幕墙的建筑风格,因此,选用
本文根据湘东钨矿的选矿生产实践,叙述该矿区的矿石性质、选矿工艺流程及指标,并加以评价和提出改进的意见。本文从一个侧面阐明我国黑钨矿选矿技术现状和水平。
本文研究各种结构的一组有机物对黑钨矿及铁、铜离子活化的石英浮选的抑制作用,寻找有效抑制剂及讨论结构与性能的关系。实验表明,用油酸类捕收剂时,柠檬酸、酒石酸、乙二胺
2014年8月20日—9月6日对南海北部(18°-22°N,114°-116°E)的11个站位进行了浮游植物群落结构的调查,其中2个站位为时间连续站。共鉴定出浮游植物4门68属229
首先将悲观多粒度的概念引入不完备粗糙集,给出了容差关系下不完备悲观多粒度粗糙集模型.其次,针对缺席型未知属性值,将非对称相似关系引入多粒度空间,提出了一种新的不完备多粒度