李允

作品数：36被引量：142H指数：6
导出分析报告
供职机构：电子科技大学更多>>
发文主题：嵌入式操作系统遗传算法可调度性终端设备TRUSTZONE更多>>
发文领域：自动化与计算机技术自然科学总论交通运输工程电子电信更多>>
发文期刊：《电子科技大学学报》《电子学报》《计算机科学与探索》《计算机应用研究》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金国家科技重大专项国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全虚拟机监视器的形式化验证研究被引量：2
《计算机科学》2019年第3期170-179,共10页陈昊 罗蕾 李允 陈丽蓉 
"十二五"核高基重大专项:汽车电子基础软件平台研发及应用产业化项目(2009ZX01038-002-003)资助
虚拟化技术为安全关键系统提供了分区隔离等重要特性,虚拟机监视器(Virtual Machine Monitor,VMM)作为其核心组件,对客户系统的安全运行及虚拟机间威胁和故障的屏蔽起着决定性作用。文中从最小特权原则出发,将VMM的设计按是否与安全直...
关键词：虚拟化技术 虚拟机监视器 安全隔离 形式化验证 功能正确性 
基于纳什均衡的AUTOSAR任务到多核ECU的映射方法被引量：1
《计算机科学》2018年第6期166-171,182,共7页冉正 罗蕾 晏华 李允 
国家自然科学基金(61175061/F030506)资助
随着汽车电子应用程序对处理器性能需求的不断提高,现代汽车电子系统中的电子控制单元(ECU)已升级为多核结构。多核ECU中的AUTOSAR应用程序的设计、实现和集成将面临新的挑战。其中一个重要的挑战是在映射任务到多核ECU的同时确保系统...
关键词：AUTOSAR 纳什均衡 任务映射 多核ECU 
AUTOSAR可运行实体-任务自动映射方法研究被引量：3
《计算机科学》2018年第4期190-195,226,共7页冉正 罗蕾 晏华 李允 
国家自然科学基金(61175061/F030506)资助
下一代汽车电子标准AUTOSAR定义汽车应用程序设计过程包括系统级设计和ECU级设计。系统级设计以软件构件为单位来设计应用,其中软件构件包含一组可运行实体。ECU级设计主要将可运行实体代码组织为嵌入式实时操作系统任务。因此,在将分配...
关键词：汽车电子 ECU配置 可运行实体 任务 映射 
支持安全策略检查的用户态驱动框架研究被引量：3
《计算机应用研究》2018年第4期1142-1149,共8页陈昊 罗蕾 李允 陈丽蓉 
国家"十二五"核高基重大专项资助项目(2009ZX01038-002-003)
驱动程序对系统安全性和稳定性起着至关重要的作用,但由于其复杂和多样性,导致难以成为操作系统的可信模块。近期研究表明,在用户空间内执行驱动程序,可提高系统稳定性并降低开发难度,但对系统产生了潜在的安全威胁。为此,从限制驱动程...
关键词：用户态驱动 安全性 操作系统 页表 驱动命令解释器 中断 
嵌入式操作系统的形式化验证研究被引量：5
《计算机科学》2015年第8期203-214,共12页陈丽蓉 李允 罗蕾 
国家自然科学基金项目(61401067);四川省应用基础研究项目(2013JY0002)资助
描述了一个汽车电子嵌入式实时操作系统的分层形式模型:在低层,该操作系统的顺序内核承担基础设施的角色,实施任务、ISR和系统服务等并发执行体之间的切换;而在高层,该操作系统向用户提供可并发执行的系统服务。两个层次的模型具有不同...
关键词：嵌入式操作系统 形式化验证 建模 Isabelle/HOL VCC 
TTCN-3数据系统到Java的翻译方案被引量：1
《计算机工程》2014年第1期280-282,286,共4页邹志斌 李允 张晓先 
TTCN-3数据系统的实现在遵照TTCN-3标准的基础上,还需要支持数据兼容等特性。针对该问题,给出一种TTCN-3数据系统到Java的翻译方案。利用Java语言具有的继承、多态等面向对象的特色,借鉴抽象工厂设计模式,通过检视分析翻译生成代码。证...
关键词：TTCN-3语言 符合性测试 数据系统 数据类型 数据值 JAVA语言 
复杂实时系统可调度性判定工具的研究与实现被引量：4
《计算机工程》2013年第1期270-274,共5页张永悦 孙瑜 李允 徐建华 
国家自然科学基金资助项目(60903131);教育部科学技术研究基金资助重点项目(210210);云南省应用基础研究计划基金资助面上项目(2009ZC0052M);云南省学术技术后备人才基金资助项目(2010CI042)
针对包含多处理器、多分区结构的复杂实时系统存在的可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量模拟任务调度过程,依据纯周期任务集的特性确定仿真区间,调用优化的判定算法,判定任务集的可调度...
关键词：多处理器 多分区 实时系统 可调度性判定 仿真方法 时钟变量 
嵌入式实时软件模型开发环境研究被引量：3
《计算机科学》2012年第S3期226-229,244,共5页李允 桂盛霖 陈更 罗蕾 
核高基重大专项(2009ZX01038-002-003);国家自然科学基金项目(90718019)资助
为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的...
关键词：嵌入式实时软件 模型驱动 模型开发环境 功能安全 实时性 
下一代汽车软件系统运行时环境通信算法的研究
《电子科技大学学报》2012年第3期429-434,共6页李允 陈昊 晏华 
国家"核高基"重大专项(2009ZX01038-002-003);四川省应用基础研究项目(2011JY0118)
以软件复用、支持分布式功能开发为主要目标的汽车电子下一代架构规定了ECU软件架构和新的开发过程,其中运行时环境是实现上述目标的关键。在研究下一代架构虚拟功能总线通信语义的基础上,结合应用部署的需求,提炼出下一代架构运行时环...
关键词：汽车软件 通信 下一代架构 运行时环境 虚拟功能总线 
基于AUTOSAR的LIN实现被引量：1
《计算机工程》2012年第4期208-211,共4页李向燕 唐柳湘 李允 
汽车电子硬件抽象技术研究基金资助项目(2009ZX01038-001-09)
汽车开放系统架构(AUTOSAR)标准可简化汽车应用软件的开发流程,使软件有更好的可移植性和可扩展性。为此,采用分层、分模块的思想设计局部互联网络(LIN)总线,给出LIN驱动、LIN接口、协议数据单元路由、通信、诊断通信管理等相关模块的...
关键词：局部互联网络协议 汽车开放系统架构 汽车网络 软件架构 LIN接口层 LIN驱动层 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部