基于决策表的AUTOSAR操作系统一致性测试研究

汽车开放系统架构(AUTOSAR)规范为车载嵌入式操作系统及其相关服务定义了一系列的抽象标准接口,得到了广泛应用。传统AUTOSAR操作系统一致性测试方法针对性不强,无法测试不同一致类级别的操作系统,被测系统需要符合最高一致类级别要求才可以通过测试,因此需要额外抽取符合要求的测试用例。基于决策表设计了一种面向AUTOSAR操作系统的一致性测试方法。决策表是一种表达事件在逻辑上相互依赖关系的符号手段,可将复杂的逻辑关系和多种条件组合情况详细地列举出来,且可根据需求进行重制。通过在设计测试用例时参照一致类进行划分,使得测试用例在生成时被赋予一致类属性,可针对不同级别操作系统进行测试。在实际实验中,该方法实现了不同一致类操作系统的针对性测试,对5个功能模块的4种一致类执行了测试,避免了379条测试用例的额外抽取,提升了测试效率。

基于AUTOSAR操作系统的任务搭建及验证

随着汽车软件体量的日益增大、复杂程度的不断提升,传统的仅依靠中断优先级时间片调度的方式进行函数调用,在实际的控制器运行时,会出现诸如实时性得不到保证、浪费单片机资源等情况。简要介绍了AUTOSAR操作系统的概念,介绍了所用的OS配置软件,并构建了一系列的OS对象,并完成了系统到实际单片机的部署,完成了该版本软件提供的OS模块可用性验证。

基于AUTOSAR操作系统的内核追踪方案研究

随着汽车电子技术的飞速发展,汽车已经逐渐进入智能化时代。为实现更多的控制功能,车内装载的电子控制单元越来越多,电子控制单元的控制功能也越来越复杂。针对这种现象,有必要对ECU内软件的运行逻辑进行监控,防止软件的运行逻辑出现错误。文章在AUTOSAR架构的基础上,研究了AUTOSAR操作系统内核的关键功能特性,并提出了一种追踪与记录内核中关键功能运行动态的方案。

车控操作系统实时性/安全性保障技术

电子控制技术为智能网联汽车的高速发展持续赋能,车控操作系统是保障汽车电子控制软件安全、高效、实时运行的基石。随着智能网联汽车向集中式、端云融合式电子电气架构发展,车载硬件演化为多核异构处理器、弹性计算平台,车控软件向面向服务的软件架构转变,车控操作系统的架构、关键技术等也随之发展。综述了智能网联汽车用车控操作系统的发展历程与现状,对任务调度、实时性/安全性保障、形式化表征与验等基础理论和关键技术进行深入分析,阐述现有车控操作系统的技术挑战与发展趋势,为智能网联汽车的车控操作系统发展提供参考。

基于线上线下混合式教育的LINUX操作系统课程思政探索与实践

“课程思政”是实现“立德树人”根本任务的重要举措。近年来,课程团队基于线上线下混合式教学模式开展了LINUX操作系统课程思政的探索和实践。从课程目标、教师教学能力、线上线下教学各个环节等方面全程全方位将课程思政有机融入,旨在培养“德才兼备”LINUX操作系统人才。

以学习操作系统构建数字化转型的数智动能

伴随着数据要素价值的凸显,如何以教育数据的有效治理,充分发挥数智驱动教育变革的强大潜力,成为教育数字化转型的关键所在。在智能教育大脑的隐喻下,学习技术系统依托于充当“数智大脑”角色的核心构件,搭建“数据组织—数据建模—数据分析”的教育数据治理通路,深度挖掘并最大化释放教育数据价值。基于此,文章以数据为主线重塑新一代学习技术系统框架,并以学习操作系统作为核心构件的隐喻,从“为何”“是何”及“如何”三个方面深度阐释其来源、内涵与体系架构,聚焦于数智动能的系统实现。同时,基于团队研发的“数智大脑”平台,文章以案例故事的形式描绘其在学校教育中的多元化使用场景,展现出以学习操作系统构建的数智动能的强大应用潜力,以期为数智驱动教育数字化转型提供全新的视角和思路。

面向系统能力培养的操作系统课程教学改革实践探究

在新工科背景下,文章针对操作系统教学过程中系统能力培养方面存在的不足,探讨了操作系统教学实践改革。首先分析了操作系统教学存在的问题,并指出实验教学改革的必要性;接着提出了多模式融合的教学模式,以页面置换算法为实验案例,详细阐述了实验项目案例的开发过程,培养学生分析问题、解决问题的能力,引导学生深入掌握操作系统的原理及实现方法,锻炼了学生的工程实践能力,有效地提高了学生的实验积极性和自主性,促进了学生系统能力的提升。

PBL教学理论在操作系统课程中的应用

针对PBL教学理论在中国高校教学应用中暴露出的问题,以丹麦奥尔堡大学的PBL理论模型为基础,结合中国大学的实际情况,提出适合中国大学的PBL教学改革模式的转换模型,介绍此模型应用于操作系统课程的情况,并以此案例为基础,参考国内外成功的PBL课程设计经验,分析传统教学模式到PBL教学模式的转变思路和相关方法。

高职《Linux操作系统应用》课程思政的设计与实践——以工匠精神为例

在高职院校专业课程教学中要重视课程思政,贯彻“各门课程都具有育人功能”的精神。本文通过在高职《Linux操作系统应用》课程教学中融入工匠精神,给出了高职专业课程课程思政的设计全过程,包括课前自我思政、课中沉浸思政、课后思政再强化三个环节,使学生逐步感受、认识,从而达到课程思政育人目标。

课程思政视域下基于SPOC的操作系统课程线上线下混合式教学探索

操作系统是计算机相关专业的一门核心课程,该课程理论性强、涉及的知识面广,错综复杂、再者因操作系统在计算机系统中负责管理和控制软硬件资源,起着承上启下的作用,所以涉及较多的软硬件知识,这些特点也导致操作系统课难教,学生难学,考试成绩不尽如人意的情况。在充分考虑我校学生的学情及地方应用型本科更注重“应用型”“实践型”的体系结构设置特点的基础上,从立德树人的角度出发,将思政元素融入课堂教学内容,提出课程思政视域下基于SPOC的操作系统课程线上线下混合式教学探索研究。

计算机操作系统课程体系建设探索

针对操作系统课程晦涩难懂、教学方式单一、实践操作项目陈旧等问题,从课程开发、实验设计、小组活动、讲座分享4个方面对操作系统课程体系提出创新性改良方法,以更好地激发学生对操作系统的学习兴趣,促进操作系统教学理论与实践有机结合。

高职“Linux操作系统”课程建设与实践

以高职“Linux操作系统”课程为例,以专业教师、思政教师与企业导师相互配合,组建高素质结构化教学团队、建设“双师型”教师队伍为基础,以开发校企合编新型活页式教材、在线课程和数字化实训室等数字资源为载体,依托校企共建的“华为信息与网络技术学院”“北斗导航协同创新中心”,融入“云、大、物、智”等新一代信息技术,采用任务驱动、理实一体、行动导向教学理论开展教学。应用研究表明,课程实施教师、教法、教材的“三教”改革对培养学生的知识、技能、素质等方面有明显的促进作用,有效达成了人才培养既定教学目标。

基于可变长信任链的实时操作系统软件可信度量技术

实时操作系统(Real Time Operating System,RTOS)在现代工业控制系统中广泛应用,以满足严格的实时性要求和高可靠性的工业需求。然而,在面对日益复杂和先进的攻击技术时,RTOS在安全性和可信度方面面临严峻挑战。因此,提出了一种基于可变长信任链的RTOS软件可信度量方法,通过引入安全敏感性权重的组件分析方法,构建适应不同实时性要求的可变长信任链结构,并在模拟攻击实验中验证了该模型的有效性。实验结果表明,该方法能够在高实时性条件下有效进行完整性测量,保护文件完整性,提高RTOS软件的可信度。

智慧建筑操作系统研究与应用

数据作为新型生产要素已成为科技驱动产业发展的推力和国家核心竞争力。在建筑业向建设、运维全周期高品质发展的关键期,原有单业务模式应用软件系统的建筑数据碎片化和本地化问题突出,易形成数据孤岛效应,无法实现全生命周期贯通和多业务融合。为此,提出面向数据的智慧建筑操作系统,构建建筑全生命周期数据智能融合技术,建立数据驱动建筑业务应用软件开发的新模式,支撑建筑多样、多态、多变智慧应用,促进智慧建筑发展,服务我国智慧城市和建筑业智能化、数字化转型的重大需求。

基于分区操作系统的文件系统设计

研究涉及一种基于分区操作系统的文件系统设计方法,解决分区操作系统下文件的安全访问问题。分区操作系统资源、空间彼此隔离,文件系统用于管理分区数据,不能违背数据资源的隔离需求。为此,通过将文件系统部署在分区操作系统的分区;分区内和分区外采用两层分区安全访问控制;采用快照管理实现文件系统自身对并行文件访问需求,实现文件系统设计。通过测试表明,该方法能够在满足分区操作系统设计约束下,实现文件的安全访问。

基于真实硬件的操作系统安全实验设计

本文探索了基于开源硬件,教授低级安全概念的相关方法,包括与构建实践学习环境相关的尝试,并对嵌入式内核进行扩充,引导学生深入了解支持树莓派3B+上的系统调用和内存保护,且设计的作业旨在帮助学生深入了解复杂的硬件细节。最终教学结果表明,基于真实硬件设计操作系统安全实验,提供了一种培养学生分析和解决较复杂问题的有效方法。

基于UEFI固件单机多操作系统独立引导实现方法

图书馆的公共计算机每天要提供给多个读者使用,不同的读者因教育背景各异,对计算机操作系统的需求也各不相同。在同一台计算机上安装各自独立互不干扰的操作系统可满足读者差异化的需求,在一定程度上能提高计算机的利用率。UEFI固件引导模式与传统的BIOS固件相比,具有系统启动过程耗时更短,兼容性更好,支持超大容量存储设备等优点,现在的计算机系统基本均支持UEFI。本文实现了基于UEFI单机Windows和Linux系列多种操作系统实体机的安装和启动方法。

课程思政背景下操作系统教学改革探究

操作系统是计算机专业的一门核心课程,课程内容中蕴含着丰富的思政元素。操作系统的课程特点便于将思政元素与授课内容进行融合,有利于对学生进行思想政治教育,培养学生的思想政治素养。该文对操作系统课程思政建设进行了探究,介绍了课程思政建设的背景意义、实施思路、教学安排、思政案例、实施措施等内容,对操作系统课程的教学改革起到了积极作用。

嵌入式操作系统加载模式选择方法研究

针对现有嵌入式操作系统加载模式选择方法会增加额外硬件开销和牺牲加载速度的问题,提出了一种基于链路状态信息的嵌入式操作系统加载模式选择方法。该方法利用上电后先复位PHY等外设再复位CPU,CPU运行BootLoader读取并判断PHY的链路建立指示信号确定加载模式,若链路建立指示信号指示网络已连接好,则选择以太网远程加载模式,其他情况下都选择本地存储器加载模式。工程应用实测结果表明,该方法稳定可靠。

面向华为鲲鹏服务器的操作系统教学实践平台

操作系统是高校计算机专业本科生的必修课程。针对操作系统实验教学的需求,面向华为鲲鹏服务器,设计并实现了基于Web IDE的操作系统教学实践平台,并在openEuler社区开源;面向学生群体,实现了操作系统实验的全过程管理。此外,还基于Docker容器技术实现了快速部署能力,基于GitLab实现了代码管理和自动评测。同时,开发了学习行为收集插件,帮助教学团队更深入地了解教学情况。最后,设计与实现了一个综合信息平台,方便教学团队对实验相关信息进行查看与分析。