陈丽蓉
- 作品数：28 被引量：108H指数：5
- 供职机构：电子科技大学更多>>
- 发文基金：国家科技重大专项四川省应用基础研究计划项目国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程机械工程更多>>
- 嵌入式软件实验教学系统建设被引量：3
- 2007年
- 本文以培养适应社会需求的嵌入式软件开发人才为目标,分析了嵌入式软件系统结构及开发内容、嵌入式软件开发方式的特殊性以及业界对嵌入式软件开发人才的知识体系结构需求,描述了嵌入式软件实验教学系统的多种配置方案、多层次实验项目的构成,并总结了如何开展好实验教学、提高教学质量。
- 陈丽蓉罗蕾陈虹丘志杰
- 关键词：嵌入式软件实验教学系统
- AUTOSAR OS定时保护机制的改进实现
- 针时AUTOSAR OS在定时保护方面的功能需求，分析确定了定时保护的若干监测对象以及需要采取的保护性操作。为了避免基于OSEK OS报警机制的实现方案的缺陷，降低操作系统在执行监测时对CPU的额外开销，基于特定的嵌入式...
- 陈丽蓉高嵊昊李允
- 关键词：嵌入式微处理器
- 安全虚拟机监视器的形式化验证研究被引量：2
- 2019年
- 虚拟化技术为安全关键系统提供了分区隔离等重要特性,虚拟机监视器(Virtual Machine Monitor,VMM)作为其核心组件,对客户系统的安全运行及虚拟机间威胁和故障的屏蔽起着决定性作用。文中从最小特权原则出发,将VMM的设计按是否与安全直接相关划分为内核扩展与用户进程,并采用分层精化的方法对内核扩展中的各关键模块展开了形式化建模与验证,继而以此为基础,证明了虚拟机实现的功能正确性。实验评估表明,原型系统的综合性能负载与主流虚拟化方案接近,安全划分的设计方法与形式化验证在提升VMM安全性的同时,并未对其产生明显负载,可较好地满足应用领域的需求。
- 陈昊罗蕾李允陈丽蓉
- 关键词：虚拟化技术虚拟机监视器形式化验证
- 一种实时多任务软件可靠性验证方法被引量：7
- 2004年
- 针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的。实验证明该方法的有效性和灵活性。
- 覃志东雷航熊光泽桑楠陈丽蓉
- 关键词：统计测试软件测试
- 一种嵌入式操作系统定时保护的实现方法
- 本发明公开了一种嵌入式操作系统定时保护的实现方法，通过对任务或中断控制块中剩余执行时间、执行时间预算时间以及系统时钟模块定时保护通道计数器、比较寄存器中的值进行计算、比较，并进行相应的操作，使其不超过系统为该任务或中断所...
- 李允高嵊昊陈丽蓉
- 文献传递
- 一种基于工业控制系统入侵检测的关联分析方法
- 本发明涉及智能终端安全技术领域，提供一种基于工业控制系统入侵检测的关联分析方法，其包括以下步骤：S1：入侵检测系统数据采集；S2：提取用于关联的属性；S3：按时间窗口tw<Sub>1</Sub>和权重去重；S4：划分告警...
- 方熙宇王亚鑫陈丽蓉
- 一种汽车电子控制器通信网络总线负载的均散化方法
- 本发明公开了一种汽车电子控制器通信网络总线负载的均散化方法，在总线上每个电子控制单元，对周期发送的多个不同ID标识的消息，设置不同的起始周期偏移量，并进行精确维护。本发明引入起始周期偏移量(Offset)的方法，在该方法...
- 丁旭阳李允陈丽蓉
- 文献传递
- coLinux在构建嵌入式开发环境中的应用被引量：1
- 2009年
- Linux环境下有优秀的免费交叉开发工具链,Windows环境下有优秀的代码编辑器和其他优秀的工具软件。本文通过使用coLinux在Windows环境中创建一个运行高效、配置简单的Linux嵌入式开发环境,不但避免了开发人员安装Windows+Linux双系统后频繁重新启动计算机切换操作系统的不便,而且比Windows系统中运行Linux虚拟机有更高的运行效率以及更少的主机资源需求,最重要的是可以让开发人员同时利用Linux与Windows的优点,这在实践中有很好的实用价值。
- 赵庆明罗蕾周建斌陈丽蓉
- 关键词：WINDOWS
- 面向对象的实时多任务系统设计方法被引量：8
- 2000年
- 1 引言随着实时多任务软件应用范围的迅速增长,实时系统本身也变得越来越复杂。同时,为提高软件质量,降低开发成本,缩短开发周期,系统在开发过程中所采用的方法就起着至关重要的作用。目前,已经提出了不少针对实时多任务系统的设计方法。如RTSAD(Real-time Structured Analysis and Design.Hatley
- 李允熊光泽刘锦德陈丽蓉
- 关键词：实时多任务系统设计方法面向对象
- CAN总线车载网络通讯组件的研究和实现被引量：2
- 2010年
- 本文提出了一种基于CAN总线的车载网络软件解决方案。该方案可将应用与网络协议分开,以便降低整车厂商对硬件供应商的依赖性,同时提高软件的复用性和可移植性。该方案主要包含两部分:一、静态配置编译器工具;二、网络组件。
- 才红玉李允陈丽蓉
- 关键词：车载网络CAN总线网络组件
