课程文献中心 更多>>

标准号: HB 8573-2020

摘要： 本标准规定了用于机载设备的嵌入式操作系统板级支持软件的测试需求、测试目的、测试类型、测试要点方面的内容。本标准适用于机载设备中嵌入式操作系统板级支持软件的开发和测试过程。本标准一方面可以指导软件测试人员开展板级支持软件的测试，同时也可作为开发板级支持软件的有益参考。对与硬件状态紧密相关的在线编程软件、自检测软件等的开发与测试，可参照本标准执行。

标准号: HB 8574-2020

摘要： 本标准规定了机载嵌入式实时操作系统应用集成验证活动的目的和流程，描述了每一步骤的内容和要求，包括一般要求和详细要求。本标准适用于约束和规范机载嵌入式实时操作系统的应用集成验证活动。

关键词： 任务管理   需求层   形式化建模   Coq   形式化验证  

摘要： 为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出一种基于任务状态列表集合的验证框架.在需求层将基本机制进行形式化建模,并在Coq中实现.针对建立的需求层模型,提出6条与实际星上操作系统任务管理一致的性质并进行验证.给出其中一条性质在Coq中的验证过程,结果表明,模型满足该条性质.

关键词： 操作系统   版本发布   Linux   开源社区  

摘要： 很多年前,Linux桌面就一直在开源社区里面推进。今天想和大家分享一下,为什么深度操作系统还在持续地投入?深度操作系统开源社区从何而来?1997年,deepin发起创立了WHLUG(Wuhan Linux User Group);2004年,我们积极参与了Hiweed Linux发布;2008年,deepin收购Hiweed Linux团队和品牌,建设了deepin社区;2009年,Linux Deepin9.12发布;2015年,deepinV15版本发布;2020年,deepinV20版本发布。

关键词： 硬件规格   移动端   操作系统   微软   共享   平台生态   苹果   桌面  

摘要： 打通桌面和移动端对于每个拥有大平台的科技公司而言都是一个梦想,统一的硬件规格、统一的操作系统让旗下所有设备APP应用程序共享一个平台生态,做起来着实不易。这件事六年前微软尝试过,但最终失败了,如今苹果也发起了这样的挑战。

关键词： CPU芯片   AMD公司   操作系统   X86   指令集架构   授权许可   研发经费   芯片设计  

摘要： CPU芯片和操作系统是网信领域最基础的核心技术,但我国在这方面还面临不少的挑战,CPU芯片技术仍受制于人。当今世界,两款主流的CPU分别是英特尔公司的X86指令集架构CPU和AMD公司的ARM指令集架构CPU,包括中国公司在内的全世界很多公司,需要通过购买授权许可才能使用。虽然这两种芯片在世界上特别流行,但是很多人还是觉得有问题。芯片设计的门槛极高,以14n m工艺为例,需要上亿元的研发经费、上百人年的时间投入。

关键词： 动态升级   操作系统   模块化   STM32F4  

摘要： 传感/作动器等远端节点对运行于其中的操作系统及应用有高度可配置、自适应等要求,要求这些软件能够在指定的时机对自己进行更新。研究了软件动态升级的关键技术,结合自研的高度模块化的轻量级操作系统提出并实现一种能够在运行时进行软件动态升级的机制,支持应用级、操作系统级的不停机升级,并在STM32F4开发平台上进行了验证。