不同操作系统邻域的主流操作系统03

已于 2023-06-04 12:10:53 修改
阅读量158 收藏 1
点赞数 1
文章标签： microsoft windows
于 2023-06-04 06:42:38 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_74021557/article/details/131028419
版权

前言

这一张跟大家讲一下嵌入式操作系统以及移动设备操作系统

目录

前言

1.嵌入式操作系统

1.嵌入式操作系统是什么

2.嵌入式操作系统的特点

专用性强

3.嵌入式操作系统有哪些？

4.嵌入式邻域常用的操作系统的

2.移动设备操作系统

1.移动操作系统是什么

总结

嵌入式操作系统

移动操作系统

1.嵌入式操作系统

1.嵌入式操作系统是什么

、嵌入式操作系统（Embedded Operating System，简称：EOS）是指用于嵌入式系统的操作系统。嵌入式操作系统是一种用途广泛的系统软件，通常包括与硬件相关的底层驱动软件、系统内核、设备驱动接口、通信协议、图形界面、标准化浏览器等。嵌入式操作系统负责嵌入式系统的全部软、硬件资源的分配、任务调度，控制、协调并发活动。它必须体现其所在系统的特征，能够通过装卸某些模块来达到系统所要求的功能。在嵌入式领域广泛使用的操作系统有：嵌入式实时操作系统µC/OS-II、嵌入式Linux、Windows Embedded、VxWorks、Intewell操作系统 [4]  等，以及应用在智能手机和平板电脑的Android、iOS、华为鸿蒙等。

2.嵌入式操作系统的特点

专用性强

4种嵌入式操作系统的调度机制

嵌入式系统的个性化很强，其中的软件系统和硬件的结合非常紧密，一般要针对硬件进行系统的移植，即使在同一品牌、同一系列的产品中也需要根据系统硬件的变化和增减不断进行修改。同时针对不同的任务，往往需要对系统进行较大更改，程序的编译下载要和系统相结合，这种修改和通用软件的“升级”是完全两个概念

3.嵌入式操作系统有哪些？

  • (1) VxWorks VxWorks操作系统是美国WindRiver公司于1983年设计开发的一种实时操作系统。 VxWorks拥有良好的持续发展能力、高性能的内核以及良好的用户开发环境，在实时操作系统领域内占据一席之地。 ...
  • (2) QNX QNX是一个实时的、可扩充的操作系统；它部分遵循POSIX相关标准，如POSIX.1b 实时扩展；它提供了一个很小的微内核以及一些可选的配合进程。 ...
  • (3) Palm OS 3Com公司的Palm OS在掌上 电脑 和PDA市场上占有很大的市场份额。 ...
  • (4) Windows CE Microsoft Windows CE是从整体上为有限资源的平台设计的多线程、完整优先权、多任务的操作系统。 ...
  • (5) LynxOS移动设备操作系统

4.嵌入式邻域常用的操作系统的

在嵌入式领域广泛使用的操作系统有： 嵌入式实时操作系统 µC/OS-II、 嵌入式Linux 、 Windows Embedded 、 VxWorks 、 Intewell操作系统 等，以及应用在 智能手机 和 平板电脑 的 Android 、 iOS 、 华为鸿蒙 等

2.移动设备操作系统

1.移动操作系统是什么

移动操作系统是安装在移动设备（例如智能手机，个人数字助理（PDA），超移动PC和MID）中的通用操作系统。 也称为移动操作系统，移动通用操作系统，移动平台。 尽管它是一种嵌入式操作系统，但像Windows等台式计算机中使用的OS一样，内置了诸如用户界面和各种设置工具之类的实用程序，并且有很多机会可以直接了解用户

2.移动操作系统的种类

操作系统名称特 点
Android简称“安卓”，是由 Google（谷歌）联手包括中国移动、摩托罗拉等企业合作开发的、当今最流行的移动操作系统，源于 Linux 系统。首个安装有 Android 操作系统的移动设备诞生于 2008 年。
iPhone OS简称“iOS”，是由苹果公司开发的一款移动操作系统，源于类 Unix 操作系统，首个版本发布于 2007 年 1 月份。
WP全称“Windows Phone”是微软发布的一款移动操作系统，该系统将 Andriod 和 iOS 视为主要的竞争对手。
Harmony OS简称“鸿蒙”，是华为开发的最新的移动操作系统，是一款面向未来，支持全场景（移动办公、运动健康、社交通信、媒体娱乐等）的分布式操作系统。专为物联网设备设计。
BADA由韩国三星电子开发的一款移动操作系统，该操作系统使用的是 Linux 内核，首个版本发布于 2009 年 11 月 10 日。
BlackBerry OS由 RIM 开发、专门为 BlackBerry 手持设备设计的一款移动操作系统，
Symbian OS简称“塞班”，是一款使用 Java 语言开发的、实时性、多任务的纯 32 位操作系统，具有功耗低、内存占用少等特点。
WebOSPalm 公司开发的一款移动操作系统，基于 Linux 内核，主要为 Palm 智能手机而开发。

总结

嵌入式操作系统

  • 具有开放性、可伸缩性的体系结构；
  • 强实时性；
  • 统一的接口；
  • 操作方便、简单、提供友好的图形GUI

移动操作系统

  • 移动操作系统非常容易理解和使用。移动操作系统的图形非常吸引人，其功能非常强大且易于使用。
  • 操作系统专注于控制数据和网络使用。它还使限制和要求成为焦点。
  • 移动操作系统提供了更好的应用程序来使用。应用程序应该简单而有吸引力。


 

SystemVerilog HVL：断言（System Verilog Assertion, SVA）介绍
Starry__的博客
03-25 1329
目录1. 断言在testbench扮演的角色自检机制功能覆盖2. 立即断言3. 并发断言 验证环境中，对于数据的检查可以通过scoreboard实现，那么如何实现对协议的检查呢？ driver和monitor是基于某种时序进行激励驱动和采样的，所以就需要检验DUT的时序是否符合要求，这个是SVA断言的主要用途。 1. 断言在testbench扮演的角色 对于测试平台testbench来说，它需要对DUT的功能进行验证，testbench的主要功能有激励产生、自检和功能覆盖三点。 激励产生好说，就是driv
【System Verilog and UVM基础入门22】SVA语法
TommiWei的博客
01-09 1018
父亲经常告诉我要夹着尾巴做人。
System Verilog 断言， SVA
最新发布
qq_33854057的博客
03-06 878
SystemVerilog Assertion（SVA）是 SystemVerilog 硬件描述语言的一个重要扩展，它提供了一种形式化的方式来描述和验证硬件设计的属性和行为。断言是对设计属性的一种描述，它定义了在特定条件下设计应该满足的行为。如果在仿真或形式验证过程中，设计的行为不符合断言所定义的属性，那么断言就会失败，从而提示设计中可能存在的问题。例如，在一个简单的加法器设计中，我们可以使用 SVA 来断言：当两个输入信号有效时，输出信号应该等于两个输入信号之和。
【system verilog】SV Assertion 断言
飓风_数字IC验证的博客
11-05 7551
system Verilog assert 断言总结
systemverilog之断言
xiyieba的博客
06-17 1万+
SystemVerilog Assertion(SVA)–断言 断言概述 一言以蔽之:断言是设计属性的描述。 如果一个在模拟中被检查的属性(property)不像我们期望的那样表现，那么这个断言失败。 如果一个被禁止在设计中出现的属性在模拟过程中发生，那么这个断言失败。 一系列的属性可以从设计的功能描述中推知，并且被转换成断言。这些断言能在功能的模拟中不断地被监视，从而可以得知设计的功能是否正确。 断言是一个“观测员”，它可以观测程序的状态，但它不会改变代码本身。 SystemVerilog集成了断言并且能
System Verilog断言
qq_40268672的博客
12-06 3076
断言通常被称为序列监视器或者序列检验器，是对设计应当如何执行特定行为的描述，是一种嵌入设计检查。如果检查的属性（property）不是我们期望的表现，那么在我们期望事件序列的故障上会产生警告或者错误提示。 断言用来检查模拟序列行为或者激励生成的正确性，断言作为功能验证的一种重要手段，可以脱离测试用例而覆盖测试点，所以断言覆盖率可以是功能覆盖率的一部分，完善的断言能为全面的功能覆盖率尺度打下良好的基础。 断言两个重要的时间点：采样时刻和匹配时刻，断言在 preponed 域采样，在observed 域执行检查
SystemVerilog中的断言(Assertion)
qq_40263454的博客
04-07 3535
1.简介SystemVerilog断言（SVA）主要是用于验证设计的行为，其主要功能有两点：在特定条件或事件序列的故障上生成警告或错误；收集功能覆盖率的数据。2.立即断言（Immediate Assertion）立即断言执行时如同过程语句，她在程序执行到这个程序块使立即执行，并且可以结合$fatal，$error，$warning和$info函数给出不同级别的消息提示。断言比if语句更加紧凑，且断言里面的逻辑跟if语句是相反的。设计者应该期望括号内的表达式为真，否则输出一个错误。
第2章 SystemVerilog断言
zzgnew的博客
06-27 2594
第2章 SystemVerilog断言 XtremeDV2018-04-19 17:42:065026收藏15 分类专栏：SVAsystem verilogSystemVerilog Assertions 2.1什么是断言？ 一个断言是一个检查你设计的规范，你要确保永不违反。如果规范被违反，您希望看到失败。 下面给出一个简单的例子。每当FRAME_无效（即变为高）时，最后数据相位（LDP_）必须被置位（即变为低）。这种检查对于纠正给定接口的功能是必不可少的。 SVA语言被...
【systemverilog】学习笔记--断言篇
跛子拜的博客
03-23 762
【systemverilog】学习笔记--断言篇断言1：判断信号值 断言1：判断信号值 CHECK_VALUE : assert property ( @(posedge clk) disable iff(!rst_n) \\屏蔽复位前的不定态 (a !== 1'bx) ) else $fatal ("ERROR : detected a X value !! \n"); ...
sva_lab_systemverilog语法_svalab_systemverilog_sva_systemverilog_源
10-02
SystemVerilog是一种强大的硬件描述语言（HDL），用于系统级设计、验证以及...通过"sva_lab"这样的资源，学习者能够全面掌握SystemVerilog的基本概念、语法结构以及断言的使用，从而在数字系统设计领域建立坚实的基础。
systemverilog 断言手册
06-06
本书描述了assertion的基本语法及用途，相信会给你带来些许帮助！
数字前端的功能验证利器——SVA断言学习笔记
热门推荐
moon9999的博客
08-01 1万+
在我们辛苦搭建环境之余，不如先放松下学习一下非常流行并且历史悠久的断言技术(assertion)，熟练掌握断言技术通过断言进行行为检查可以及时发现代码中的低级的bug。以下内容大部分参考了《SystemVerilog Assertions应用指南》，还有一些参考了各类帖子，尽量采用简单易懂的形式来说明。 这次我们只关注最常见的并发断言而不对即时断言进行探究了（下文断言皆指并发断言），我个人理解并...
SystemVerilog断言(SVA)详解与应用
- 使用SVA语法编写断言，描述期望的行为。 - 在仿真环境中集成断言，监控设计行为。 - 收集功能覆盖数据，评估验证完整性。 - 调整和优化断言，确保覆盖所有可能的异常情况。 综上，SystemVerilog断言提供了...
【IC验证】systemverilog_断言
weixin_47730622的博客
10-07 2189
本文基于systemverilog(UVM)对断言（assertion）进行了详细的介绍，举例说明了常见的断言语法，并基于APB给出断言实例。
system verilog断言学习笔记
weixin_42160732的博客
08-07 3823
system verilog断言
systemverilog断言简介 形式验证 第3章
打工人的学习记录！
03-02 4173
本章节介绍了用于形式验证的sva语言，可能不够完整，但对于初学者来说，足够去了解这么写checker。
[SVA知识点一]: System verilog 断言(assert)的基本介绍
Jjh199611的博客
07-12 9136
断言（System Verilog Assertion 简称SVA）可以被放在RTL设计或验证平台中，方便在仿真时查看异常情况。一般在数字电路设计中都要加入断言，断言占整个设计的比例应不少于30%。断言通常被称为序列监视器或者序列检验器，是对设计应当如何执行特定行为的描述，是一种嵌入设计检查。如果检查的属性（property）不是我们期望的表现，那么在我们期望事件序列出现异常情况，发生故障时，会产生警告或者错误提示。
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

顾～浪

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值