陈丽蓉
- 作品数：30 被引量：108H指数：5
- 供职机构：电子科技大学更多>>
- 发文基金：国家科技重大专项四川省应用基础研究计划项目国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程机械工程更多>>
- 基于大语言模型的智能网联汽车信息安全威胁分析方法
- 本发明公开了一种基于大语言模型的智能网联汽车信息安全威胁分析方法，从智能网联汽车的TARA示例数据中提取出大语言模型和安全威胁分析模型的训练样本，对大语言模型进行微调，根据实际需要构建安全威胁分析模型并采用对应的训练样本...
- 肖书琪陈丽蓉罗蕾李允罗建超
- 嵌入式软件实验教学系统建设被引量：3
- 2007年
- 本文以培养适应社会需求的嵌入式软件开发人才为目标,分析了嵌入式软件系统结构及开发内容、嵌入式软件开发方式的特殊性以及业界对嵌入式软件开发人才的知识体系结构需求,描述了嵌入式软件实验教学系统的多种配置方案、多层次实验项目的构成,并总结了如何开展好实验教学、提高教学质量。
- 陈丽蓉罗蕾陈虹丘志杰
- 关键词：嵌入式软件实验教学系统
- 一种虚拟机跨操作系统通信方法
- 本发明公开了一种虚拟机跨操作系统通信方法，微内核hypervisor创建虚拟机，并为每个虚拟机分配静态的物理资源，为任意两个虚拟机设置共享内存区域，并与对应虚拟机绑定，发送方虚拟机发起通信将数据写入共享内存区域，接收方虚...
- 肖堃刘鑫李蒙罗蕾陈丽蓉
- 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
