您的位置： 专家智库 > >

国家科技重大专项(2009ZX01038-002-003)

作品数：8 被引量：14H指数：3
相关作者：罗蕾陈昊李允晏华陈丽蓉更多>>
相关机构：电子科技大学更多>>
发文基金：国家科技重大专项四川省应用基础研究计划项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 8篇中文期刊文章

领域

  • 8篇自动化与计算...

主题

  • 4篇汽车
  • 4篇汽车电子
  • 2篇嵌入式
  • 2篇操作系
  • 2篇操作系统
  • 1篇形式化
  • 1篇形式化验证
  • 1篇虚拟化
  • 1篇虚拟化技术
  • 1篇虚拟机
  • 1篇虚拟机监视器
  • 1篇页表
  • 1篇用户
  • 1篇用户态
  • 1篇实时性
  • 1篇特征提取
  • 1篇通信
  • 1篇通信算法
  • 1篇嵌入式操作
  • 1篇嵌入式操作系...

机构

  • 8篇电子科技大学

作者

  • 4篇晏华
  • 4篇李允
  • 4篇罗蕾
  • 4篇陈昊
  • 3篇陈丽蓉
  • 1篇邓尧文
  • 1篇燕立明
  • 1篇陈更
  • 1篇桂盛霖
  • 1篇夏超
  • 1篇郭宣佑

传媒

  • 3篇计算机科学
  • 2篇电子科技大学...
  • 2篇计算机应用研...
  • 1篇计算机工程与...

年份

  • 1篇2019
  • 1篇2018
  • 3篇2014
  • 1篇2013
  • 2篇2012
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
嵌入式实时软件模型开发环境研究被引量：3
2012年
为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码。通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证。
李允桂盛霖陈更罗蕾
关键词：嵌入式实时软件实时性
汽车电子嵌入式操作系统的隔离保护机制被引量：2
2014年
描述了汽车电子嵌入式操作系统隔离保护机制的一种策略及实现。通过结合有限的硬件资源及软件机制,满足操作系统、应用、任务及中断服务例程等3个级别的隔离保护要求,并提供保护错误处理的机制,将系统的访存错误局限于一定区域内,降低系统整体失效可能性。该实现能有效减少分页的数量,提升操作系统性能及存储空间利用率。具备隔离保护机制的汽车电子嵌入式操作系统可将不同来源、不同安全完整性级别的软件部件在一个ECU系统中集成。
陈丽蓉燕立明罗蕾
关键词：汽车电子嵌入式操作系统
面向汽车电子的模型属性编辑通用框架研究
2014年
汽车电子开发系统模型属性配置工作存在复杂性高、任务量大等特点,传统的配置开发方式在效率上已经越来越不能满足开发需求。因此为了提高配置开发效率,面向汽车电子系统Artop(autosar tool platform user group)模型,基于Artop模型属性的分析与特征提取,结合XML存储与解析的图形界面自动生成技术,设计一种模型属性编辑通用配置框架,为汽车电子模型属性编辑提供自动生成配置界面服务,具有非常重要的实用价值和研究意义。该通用框架相较于行业内的传统配置方式具有一定的创新性。实验证明,通用框架的设计实现具有较高的可行性和可扩展性。
夏超晏华袁光龙
关键词：汽车电子特征提取自动生成
下一代汽车软件系统运行时环境通信算法的研究
2012年
以软件复用、支持分布式功能开发为主要目标的汽车电子下一代架构规定了ECU软件架构和新的开发过程,其中运行时环境是实现上述目标的关键。在研究下一代架构虚拟功能总线通信语义的基础上,结合应用部署的需求,提炼出下一代架构运行时环境的通信问题,即如何统一管理和支持构件在ECU内和ECU间的通信,设计出通信算法。实验结果表明,设计的通信算法能实现虚拟功能总线的全部通信语义。
李允陈昊晏华
关键词：通信
安全虚拟机监视器的形式化验证研究被引量：2
2019年
虚拟化技术为安全关键系统提供了分区隔离等重要特性,虚拟机监视器(Virtual Machine Monitor,VMM)作为其核心组件,对客户系统的安全运行及虚拟机间威胁和故障的屏蔽起着决定性作用。文中从最小特权原则出发,将VMM的设计按是否与安全直接相关划分为内核扩展与用户进程,并采用分层精化的方法对内核扩展中的各关键模块展开了形式化建模与验证,继而以此为基础,证明了虚拟机实现的功能正确性。实验评估表明,原型系统的综合性能负载与主流虚拟化方案接近,安全划分的设计方法与形式化验证在提升VMM安全性的同时,并未对其产生明显负载,可较好地满足应用领域的需求。
陈昊罗蕾李允陈丽蓉
关键词：虚拟化技术虚拟机监视器形式化验证
基于GEF的汽车电子组件设计工具被引量：1
2014年
传统的汽车电子开发过程中软件层和硬件层存在交叉和依赖关系,软件和硬件不能并行开发。针对这个问题,设计了一个支持以构件为单位在虚拟功能总线上进行系统开发的工具。基于Eclipse平台,采用图形编辑框架技术并结合汽车开放系统架构标准,能以图形化的方式进行系统设计和配置,能够生成符合汽车开放系统架构标准的XML文件,为汽车电子软件开发的后续阶段提供了支持。
严永嘉晏华邓尧文
关键词：XML文件
一种面向汽车电子的配置界面动态生成方法被引量：4
2013年
汽车电子的开发需要根据特定硬件平台资源情况对基础软件功能进行裁剪,而汽车电子的基础软件模块具有配置需求量大、复杂度高等特点。因此,设计一种具有高可配置性、通用的配置工具原型,具有非常重要的应用推广价值。针对汽车电子基础软件的实际需求,提出一种动态生成配置界面的方法。该方法分离配置参数与配置界面,从而极大提高配置工具的可扩展和可维护性。实验结果显示该方法是可行且有效的。
晏华陈昊郭宣佑
关键词：汽车电子
支持安全策略检查的用户态驱动框架研究被引量：3
2018年
驱动程序对系统安全性和稳定性起着至关重要的作用,但由于其复杂和多样性,导致难以成为操作系统的可信模块。近期研究表明,在用户空间内执行驱动程序,可提高系统稳定性并降低开发难度,但对系统产生了潜在的安全威胁。为此,从限制驱动程序可能的行为出发,对面向安全的轻量级通用用户态驱动框架进行了研究,通过内核态驱动命令解释器与安全策略检查相结合的手段,确保驱动模块的安全性与隔离性。通过实验测量框架对系统产生一定负载,但不会对系统的正常运行产生明显影响。
陈昊罗蕾李允陈丽蓉
关键词：安全性操作系统页表
全选 清除 导出
共1页<1>
聚类工具0