嵌入式微处理器分支预测的设计与实现 被引量：2

1

作者 陈海民 李峥 王瑞蛟 《计算机应用》 CSCD 北大核心 2011年第7期2004-2007,共4页

针对五级流水线嵌入式微处理器的特定应用环境,对分支预测技术进行了深入研究,提出了一种新的分支预测方案。该方案兼容带缓存设计,通过扩展指令总线,在取指段提前对分支指令跳转方向和目标地址进行预测,保存可能执行而未执行的指令和... 针对五级流水线嵌入式微处理器的特定应用环境,对分支预测技术进行了深入研究,提出了一种新的分支预测方案。该方案兼容带缓存设计,通过扩展指令总线,在取指段提前对分支指令跳转方向和目标地址进行预测,保存可能执行而未执行的指令和地址指针以备分支预测失效时得以恢复,减少了预测失效的代价,同时保证了指令流的正确执行。研究表明,该方案硬件开销小,预测效率高,预测失效代价低。 展开更多

关键词 嵌入式微处理器 流水线 ARM指令集 分支预测 失效代价

在线阅读 下载PDF 职称材料

多处理器嵌入式系统的软/硬件协同模拟验证方法 被引量：1

2

作者 严迎建 徐金甫 《计算机工程》 EI CAS CSCD 北大核心 2005年第2期216-218,共3页

介绍一种软硬件协同模拟验证方法,该方法以指令集模拟器和事件驱动硬件模拟器为基本框架,透明地将多个不同类型的指令集模拟器和硬件模拟器连接起来,实现面向混合多处理器嵌入式系统的软硬件协同模拟验证。介绍了多处理器间通信机制的... 介绍一种软硬件协同模拟验证方法,该方法以指令集模拟器和事件驱动硬件模拟器为基本框架,透明地将多个不同类型的指令集模拟器和硬件模拟器连接起来,实现面向混合多处理器嵌入式系统的软硬件协同模拟验证。介绍了多处理器间通信机制的模拟实现及优化方法,重点讨论了以硬件模拟器为控制核心的协同模拟同步方法。 展开更多

关键词 多处理器 协同模拟 软硬件 嵌入式系统 指令集模拟器 事件驱动 验证方法 同步方法 通信机制 连接

在线阅读 下载PDF 职称材料

高性能嵌入式处理器技术 被引量：3

3

作者 赖铭强 聂新义 段国东 《计算机工程》 CAS CSCD 北大核心 2009年第14期280-282,共3页

介绍面向分布式集群计算机的高性能嵌入式处理器产业链,分析该产业链中CPU核提供商、处理器芯片开发商、系统软件提供商、嵌入式计算机制造商等各个环节的技术特点,并在高性能嵌入式处理器开发上做了有益的探索。提出要积极与系统软件... 介绍面向分布式集群计算机的高性能嵌入式处理器产业链,分析该产业链中CPU核提供商、处理器芯片开发商、系统软件提供商、嵌入式计算机制造商等各个环节的技术特点,并在高性能嵌入式处理器开发上做了有益的探索。提出要积极与系统软件、嵌入式计算机制造商协作,充分发挥软硬件协同设计能力,以开发出面向分布式集群计算机的高性能嵌入式处理器。进一步指出多核设计与高速总线电路是高性能嵌入式处理器发展的未来之路。 展开更多

关键词 分布式集群计算机 高性能嵌入式处理器 多核设计 高速总线电路

在线阅读 下载PDF 职称材料

16位嵌入式微处理器核的设计及验证 被引量：1

4

作者 姚爱红 孙盟哲 吴剑 《计算机工程》 CAS CSCD 北大核心 2010年第23期234-236,239,共4页

采用自顶向下方法,设计实现16位精简指令集计算机架构的嵌入式微处理器核HEUSoC-1,利用现场可编程门阵列片内的大量存储资源实现双端口存储器及零等待的指令和数据访问,从而保证指令的单周期执行。通过Verilog硬件描述语言实现微处理器... 采用自顶向下方法,设计实现16位精简指令集计算机架构的嵌入式微处理器核HEUSoC-1,利用现场可编程门阵列片内的大量存储资源实现双端口存储器及零等待的指令和数据访问,从而保证指令的单周期执行。通过Verilog硬件描述语言实现微处理器核的RTL级描述,编写计算斐波那契数列的测试程序验证了HEUSoC-1的正确性。在Xilinx Spartan-2芯片上的统计结果表明,HEUSoC-1的资源占用率较低,处理器最高频率约为22 MHz,适合于对功耗和性价比要求严格的嵌入式应用领域。 展开更多

关键词 嵌入式系统 微处理器核 精简指令集计算机 VERILOG硬件描述语言 现场可编程门阵列

在线阅读 下载PDF 职称材料

基于ISS的多处理器嵌入式系统模拟方案

5

作者 宋彭涛 田斌 +2 位作者 蒋烈辉 李继中 王九宇 《计算机工程》 CAS CSCD 北大核心 2010年第21期280-282,285,共4页

提出一种基于ISS的多处理器嵌入式系统模拟方案。采用基于总线的互连方式,合理利用共享内存机制,解决不同处理器进程间的通信问题。提出全局时钟同步机制,实现对所有处理器单元的调度安排,使各处理器之间保持步调一致。分析表明,该方案... 提出一种基于ISS的多处理器嵌入式系统模拟方案。采用基于总线的互连方式,合理利用共享内存机制,解决不同处理器进程间的通信问题。提出全局时钟同步机制,实现对所有处理器单元的调度安排,使各处理器之间保持步调一致。分析表明,该方案能够实现对单个或多个同源或不同源目标代码的模拟与跟踪。 展开更多

关键词 嵌入式系统 指令集模拟器 多处理器

在线阅读 下载PDF 职称材料

嵌入式处理器中写缓冲电路的设计

6

作者 洪俊峰 张启晨 杨军 《现代电子技术》 2007年第22期27-29,35,共4页

为了减少CPU对主存进行写操作时的等待时间,提高嵌入式系统的整体效率,设计了一款含有8个数据缓冲槽和4个地址缓冲槽的写缓冲。该写缓冲采用特殊的移位控制电路和附加的标志位,实现数据、地址的自动移位和映射功能。利用HSIM仿真工具对... 为了减少CPU对主存进行写操作时的等待时间,提高嵌入式系统的整体效率,设计了一款含有8个数据缓冲槽和4个地址缓冲槽的写缓冲。该写缓冲采用特殊的移位控制电路和附加的标志位,实现数据、地址的自动移位和映射功能。利用HSIM仿真工具对电路进行了仿真和验证,结果表明,该写缓冲能正确快速地实现数据与地址的先进先出(FIFO)功能,有效地减少了CPU的等待时间,提高了系统的整体效率。 展开更多

关键词 嵌入式处理器 写缓冲 先进先出 移位控制

在线阅读 下载PDF 职称材料

多核堆栈处理器研究与设计

7

作者 刘自昂 周永录 +1 位作者 代红兵 刘宏杰 《计算机工程与设计》 北大核心 2024年第4期1256-1263,共8页

为满足日趋复杂的嵌入式环境对堆栈处理器和Forth技术的应用需求,在单核堆栈处理器模型研究的基础上,设计一种多核堆栈处理器模型。基于J1单核堆栈处理器模型,针对多核目标,增加计时器、中断等功能,形成新的L32单核堆栈处理器模型,并以... 为满足日趋复杂的嵌入式环境对堆栈处理器和Forth技术的应用需求,在单核堆栈处理器模型研究的基础上,设计一种多核堆栈处理器模型。基于J1单核堆栈处理器模型,针对多核目标,增加计时器、中断等功能,形成新的L32单核堆栈处理器模型,并以该单核模型为内核,引入共享总线和十字开关互联方式的Wishbone总线、多端口存储器和面向多任务Forth系统的指令集,建立一种多核堆栈处理器模型L32-MC。利用该多核模型,在FPGA上实现4核和8核的L32-MC原型多核堆栈处理器。实验结果表明,4核和8核的L32-MC原型堆栈处理器满足高性能低功耗的多核处理器设计目标。 展开更多

关键词 多核堆栈处理器 Forth技术 Wishbone片上总线 多端口存储器 指令集 现场可编程门阵列 嵌入式

在线阅读 下载PDF 职称材料

基于32位数字信号处理器和16位同步串行模数转换器的配用电监控终端设计 被引量：4

8

作者 施慧 徐琳茜 田世明 《电网技术》 EI CSCD 北大核心 2007年第21期72-76,共5页

采用32位控制型数字信号处理器、32位嵌入式先进精简指令集处理器和具有16位精度的同步采样串行接口模数转换器,设计并实现了全隔离的配用电监控终端。在设计中使用多重软硬件抗干扰措施,提高了装置的可靠性;应用软硬件缓冲技术和优化... 采用32位控制型数字信号处理器、32位嵌入式先进精简指令集处理器和具有16位精度的同步采样串行接口模数转换器,设计并实现了全隔离的配用电监控终端。在设计中使用多重软硬件抗干扰措施,提高了装置的可靠性;应用软硬件缓冲技术和优化的历史数据查询算法提高了系统效率。采用GPRS作为通信手段,并对其应用可靠性进行了深入研究和实践。在定点数字信号处理器中采用C语言编程,提高了系统的可靠性和可维护性。 展开更多

关键词 配用电 监控终端 32位数字信号处理器 嵌入式先进精简指令集处理器 16位同步串行模数转换器 抗干扰 可靠性 缓冲技术:通用分组无线业务(GPRS)

在线阅读 下载PDF 职称材料

富士通推出32位工业用精简指令集微控制器内含外部总线和片上闪存

9

《半导体技术》 CAS CSCD 北大核心 2005年第5期81-81,共1页

富士通微电子公司宣布推出颇具特色的32位精简指令集(RISC)微控制器系列产品。该系列产品的工作电压为3．3伏，内含外部总线，用于扩展内存或直接连接图形显示控制器。这些新型微控制器采用的是强劲的FR60内核，运行时速率可达到50兆赫... 富士通微电子公司宣布推出颇具特色的32位精简指令集(RISC)微控制器系列产品。该系列产品的工作电压为3．3伏，内含外部总线，用于扩展内存或直接连接图形显示控制器。这些新型微控制器采用的是强劲的FR60内核，运行时速率可达到50兆赫兹，拥有一条5阶流水线、16位固定长度指令集、一个内置硬件乘法器以及一个桶式移位器。这些微控制器是专为嵌入式控制产品(包括数字家电)而设计的，用途十分广泛。 展开更多

关键词 精简指令集 微控制器 外部总线 32位 推出 工业用 富士通微电子公司 图形显示控制器 闪存 系列产品 桶式移位器 硬件乘法器 3.3伏 工作电压 直接连接 扩展内存 固定长度 数字家电 控制产品 流水线 16位 嵌入式 内核

在线阅读 下载PDF 职称材料

DSP处理器和通用处理器的比较 被引量：1

10

作者 岳虹 沈立 +1 位作者 戴葵 王志英 《计算机科学》 CSCD 北大核心 2005年第3期166-168,206,共4页

随着嵌入式系统的广泛应用,其应用程序的功能变得越来越强大和复杂,从而要求嵌入式处理器系统既能有效支持运算密集型的应用,又能有效支持控制密集型的应用。数字信号处理器(DSPs)能够有效进行运算密集型的实时计算;另一方面,通用微处理... 随着嵌入式系统的广泛应用,其应用程序的功能变得越来越强大和复杂,从而要求嵌入式处理器系统既能有效支持运算密集型的应用,又能有效支持控制密集型的应用。数字信号处理器(DSPs)能够有效进行运算密集型的实时计算;另一方面,通用微处理器(GPPs)则对控制密集型的应用提供有效的支持。本文从DSP处理器和通用微处理器的功能出发,讨论了两者在指令集、体系结构及存储器结构等方面的异同,同时对两者的性能也进行了评测和比较。结果表明,DSP处理器和通用微处理器都很难同时高效支持运算密集型的应用和控制密集型的应用。将两者体系结构进行融合,研究开发融合型高性能微处理器,是解决该问题的有效途。 展开更多

关键词 DSP处理器 通用处理器 嵌入式系统 运算密集型 控制密集型 指令集 体系结构

在线阅读 下载PDF 职称材料

基准集在嵌入式系统性能分析中的应用 被引量：6

11

作者 王芳良 张伟功 +2 位作者 于立新 周海洋 庄伟 《计算机工程与设计》 北大核心 2015年第1期115-119,126,共6页

为准确评估嵌入式系统性能,量化分析嵌入式系统中关键部件对嵌入式系统整体性能的影响,充分发挥嵌入式处理器的性能,提出基于CoreMark基准集的嵌入式系统性能分析方法。基于开源的Leon2处理器,搭建一套用于工业控制的嵌入式系统;分析Cor... 为准确评估嵌入式系统性能,量化分析嵌入式系统中关键部件对嵌入式系统整体性能的影响,充分发挥嵌入式处理器的性能,提出基于CoreMark基准集的嵌入式系统性能分析方法。基于开源的Leon2处理器,搭建一套用于工业控制的嵌入式系统;分析CoreMark基准集的特点和结构,将CoreMark基准集移植到嵌入式系统中;分析嵌入式系统可配置的关键部件,运用对比策略进行性能测试,得到嵌入式系统中关键部件的性能加速比,对嵌入式系统进行宏观和微观的性能分析。 展开更多

关键词 嵌入式系统 CoreMark基准集 Leon2处理器 性能加速比 性能分析

在线阅读 下载PDF 职称材料

一种具有时间语义的实时处理器模型 被引量：7

12

作者 汪超 陈香兰 +3 位作者 章博 李曦 王超 周学海 《计算机研究与发展》 EI CSCD 北大核心 2021年第6期1176-1191,共16页

实时嵌入式系统是安全关键设备的计算与控制核心.为了保证系统的时间行为正确,要求其软硬件具有时序确定性和可预测性.而现代计算机系统的各个抽象层次均缺乏时间语义,无法满足硬实时安全性设计要求.针对指令集体系结构层次的基础设施... 实时嵌入式系统是安全关键设备的计算与控制核心.为了保证系统的时间行为正确,要求其软硬件具有时序确定性和可预测性.而现代计算机系统的各个抽象层次均缺乏时间语义,无法满足硬实时安全性设计要求.针对指令集体系结构层次的基础设施缺乏时间语义的问题,尝试重新定义实时嵌入式系统的指令集和微体系结构.首先,提出一种具有时间语义的实时计算机体系结构模型——实时机(real-time machine,RTM).接着,参考时间触发自动机理论,构建具有时间语义的指令集——TTI(time-triggered instruction set)作为RTM的软硬件接口,并讨论TTI的时间语义完备性问题.最后,设计并实现了实时处理单元(real-time processing unit,RPU),通过理论分析与实验结果的对照得出RPU的时序确定性.逻辑执行时间(logical execution time,LET)编程模型是学术界广泛认可的实时编程范式,通过给出在RPU上运行LET任务集的示例,说明RTM和TTI的有效性. 展开更多

关键词 实时嵌入式系统 时间可预测性 实时机模型 时间语义指令集 实时处理器

在线阅读 下载PDF 职称材料

多核处理器限制性可抢占G-EDF调度策略研究 被引量：2

13

作者 韩美灵 邓庆绪 +2 位作者 张天宇 冯智伟 林宇晗 《计算机学报》 EI CSCD 北大核心 2019年第11期2355-2367,共13页

多核处理器全局最早截止期优先(Global Earliest Deadline First,G-EDF)调度策略允许任务的抢占和任务在处理器之间迁移,频繁的抢占和核间迁移会导致较高的处理器开销,造成系统资源的浪费.然而目前针对多核处理器的可调度性分析方法都... 多核处理器全局最早截止期优先(Global Earliest Deadline First,G-EDF)调度策略允许任务的抢占和任务在处理器之间迁移,频繁的抢占和核间迁移会导致较高的处理器开销,造成系统资源的浪费.然而目前针对多核处理器的可调度性分析方法都基于这样的假设:任务抢占和系统间迁移的开销计入最差响应时间或者忽略不计.但是实际研究表明该部分的开销在系统资源总开销中占重要部分,因此不可简单的忽略不计.而不可抢占调度,会给高优先级任务代入太多的阻塞从而导致其不可被调度.针对这类问题,实时领域的研究者们提出了限制性可抢占调度策略,且在全局固定优先级方面取得了很多的研究成果,然而在G-EDF方面的研究工作相对较少.该文研究了限制性可抢占全局最早截止期优先(Limited Preemption Global EDF,G-LP-EDF)调度策略,该策略结合了完全可抢占和完全不可抢占的优点.G-LP-EDF调度策略把目前G-EDF最佳的分析方法和限制性可抢占调度策略相结合,目的是减少G-EDF的额外系统开销,避免系统资源的浪费,而不降低G-EDF的调度性.最后通过仿真实验,G-LP-EDF分析方法在平均抢占次数上比G-EDF至少可减少40%,而两个分析方法之间的可调性没有明显差距,大约为1%.效率上两个方法随着最差执行时间的取值增大而增多,这是两个方法的本质造成的.然而G-LP-EDF整体比G-EDF的平均处理时间要慢,但差距都不足1s. 展开更多

关键词 多核处理器 实时嵌入式系统 限制性可抢占 最早截止期优先 偶发性任务集

在线阅读 下载PDF 职称材料

嵌入式在线航空摄影测量方法 被引量：1

14

作者 桂力 郑顺义 +1 位作者 王晓南 马电 《国防科技大学学报》 EI CAS CSCD 北大核心 2015年第3期104-109,共6页

为满足空间数据实时处理的需求,提高航空摄影测量系统在线处理能力,研究一种在线摄影测量的理论与方法,运用嵌入式架构设计一种在线摄影测量系统,使用可编程门阵列(FPGA)方法、高级精简指令集机器组合数字信号处理器(ARM+DSP)方法等嵌... 为满足空间数据实时处理的需求,提高航空摄影测量系统在线处理能力,研究一种在线摄影测量的理论与方法,运用嵌入式架构设计一种在线摄影测量系统,使用可编程门阵列(FPGA)方法、高级精简指令集机器组合数字信号处理器(ARM+DSP)方法等嵌入式计算技术建立专门的硬件运行环境,移植并优化现有算法到嵌入式系统中,实现摄影测量数据的在线处理。机载航摄实验结果表明,该方法能够实现对摄影测量数据进行快速稳定的在线处理,验证了运用嵌入式架构的在线摄影测量的可行性,把摄影测量的处理效率提高到了一个更高的水平,同时也进一步拓宽了摄影测量技术的应用领域。 展开更多

关键词 在线摄影测量 嵌入式架构 可编程门阵列 高级精简指令集机器 数字信号处理器

在线阅读 下载PDF 职称材料

嵌入式便携心电监护仪的功耗降低方法研究 被引量：4

15

作者 王大雄 《工程设计学报》 CSCD 2004年第2期99-102,共4页

在嵌入式便携智能仪器的设计中,降低功耗是其核心技术之一.以嵌入式便携心电监护仪的设计为例,给出了降低功耗的一些方法和它们的具体实现.这些方法包括:合理选择器件、运用最小元件集的概念设计系统、抑制系统的冗余行为、以软代硬、... 在嵌入式便携智能仪器的设计中,降低功耗是其核心技术之一.以嵌入式便携心电监护仪的设计为例,给出了降低功耗的一些方法和它们的具体实现.这些方法包括:合理选择器件、运用最小元件集的概念设计系统、抑制系统的冗余行为、以软代硬、合理安排存储器的结构、合理安排译码器和模数转换器的工作方式、合理安排系统工作方式和程序的运行方式.经验证,这些方法能有效降低嵌入式便携心电监护仪的整机功耗,也可用于其他嵌入式便携智能仪器的设计. 展开更多

关键词 嵌入式微处理器 降低功耗 最小元件集

在线阅读 下载PDF 职称材料

嵌入式微机MPC555驻留片内监控器的开发与实现

16

作者 徐遄 贾克斌 《北京工业大学学报》 CAS CSCD 2000年第z1期37-40,共4页

主要讨论了如何在摩托罗拉嵌入式ＲＩＳＣ（精简指令集计算机）微型计算机（ＰｏｗｅｒＰＣ系列ＭＰＣ５５５）上进行有效的软件开发．结合驻留片上监控器程序的开发实例，对开发的方法、过程进行了简要阐述，并着重对这种控制应用程序... 主要讨论了如何在摩托罗拉嵌入式ＲＩＳＣ（精简指令集计算机）微型计算机（ＰｏｗｅｒＰＣ系列ＭＰＣ５５５）上进行有效的软件开发．结合驻留片上监控器程序的开发实例，对开发的方法、过程进行了简要阐述，并着重对这种控制应用程序模块运行的监控器程序的设计及特点进行了详细分析． 展开更多

关键词 摩托罗拉嵌入系统 PowerPC 精简指令集计算机(RISC) 驻留片内监控器 嵌入式系统

在线阅读 下载PDF 职称材料

基于嵌入式的新型停车场智能控制器 被引量：5

17

作者 李浩 熊运余 吴志红 《计算机工程与设计》 CSCD 北大核心 2012年第9期3391-3396,共6页

分析了传统的基于PC的停车场控制器后发现,传统的停车场控制器具有受停车场规模的限制,布线复杂,以及未考虑到保障车辆在停车场中安全等缺点。为解决这些缺点,新型的停车场控制器采用嵌入式ARM系统来保证实时性和可靠性提高集成度,同时... 分析了传统的基于PC的停车场控制器后发现,传统的停车场控制器具有受停车场规模的限制,布线复杂,以及未考虑到保障车辆在停车场中安全等缺点。为解决这些缺点,新型的停车场控制器采用嵌入式ARM系统来保证实时性和可靠性提高集成度,同时集成了SAA7115视频解码芯片,实现了实时补光选优算法,并支持后端车牌号牌自动识别,从而提供停车场内车辆的安全保障。经过大量测试和实际使用证明了该智能控制器具有高可靠性、稳定性以及很好的安全保障能力因此能够很好替代现有的传统停车场控制器。 展开更多

关键词 ARM(高性能精简指令集处理器) 嵌入式系统 停车场 图像采集 计算机网络

在线阅读 下载PDF 职称材料

基于MCF5249+μ Clinux的可视化多媒体集控系统 被引量：1

18

作者 郭向勇 吕利昌 《半导体技术》 CAS CSCD 北大核心 2006年第12期938-943,共6页

针对远程控制可视化多媒体网络中央控制系统的技术发展,提出基于32位微处理器MCF5249+μClinux可视化多媒体集控系统构架的实现方法。着重阐述系统架构相关的关键技术、安全性设计和系统检测分析研究等方面。系统采用Freescale的32位微... 针对远程控制可视化多媒体网络中央控制系统的技术发展,提出基于32位微处理器MCF5249+μClinux可视化多媒体集控系统构架的实现方法。着重阐述系统架构相关的关键技术、安全性设计和系统检测分析研究等方面。系统采用Freescale的32位微处理器MCF5249为控制核心,实现μClinux操作系统的裁剪与移植和跨平台的无缝集成网络全数字嵌入式视频技术。 展开更多

关键词 ΜCLINUX操作系统 嵌入式视频 32位微处理器 可视化多媒体集控系统

在线阅读 下载PDF 职称材料

地应力监测中定位与姿态数据采集系统设计 被引量：2

19

作者 谷静博 关桂霞 +3 位作者 赵海盟 谭翔 晏磊 王文祥 《计算机应用》 CSCD 北大核心 2014年第9期2752-2756,2760,共6页

针对地应力低频电磁监测中高效数据采集、精准授时和实时定姿定位问题,设计并实现了基于嵌入式的定位与姿态测量模块相结合的实时数据采集系统,以ARM微处理器(S3C6410)和嵌入式Linux作为系统控制核心平台,详细介绍了系统软硬件设计架构... 针对地应力低频电磁监测中高效数据采集、精准授时和实时定姿定位问题,设计并实现了基于嵌入式的定位与姿态测量模块相结合的实时数据采集系统,以ARM微处理器(S3C6410)和嵌入式Linux作为系统控制核心平台,详细介绍了系统软硬件设计架构,设计并完成定位与姿态测量特征数据提取算法,基于LCD触摸屏和Qt/Embedded进行数据采集处理终端的图形用户界面设计并实现人机交互;另外,系统在完成控制显示等功能的同时能将所需数据实时存储至SD卡,为后续数据分析提供依据。系统联调与外场实验验证表明:该系统能够完成定位与姿态数据的实时采集和处理,数据获取效率较高,有效解决了地应力监测中的实时定姿定位,能够高速、实时、可靠地进行地应力低频电磁监测。 展开更多

关键词 地应力监测 数据采集 高级精简指令系统集计算机 嵌入式LINUX QT/EMBEDDED

在线阅读 下载PDF 职称材料

基于RPU的TTI程序设计和分析方法

20

作者 高银康 陈香兰 +3 位作者 龚小航 蒋滨泽 李曦 周学海 《计算机研究与发展》 EI CSCD 北大核心 2024年第1期98-119,共22页

实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问... 实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问题,并且基于TTI指令集实现的实时处理单元(real-time processing unit,RPU)证明了TTI指令集的可行性和有效性.但是目前的工作缺少对于TTI程序设计和分析方法的研究.所以,基于TTI指令集和RPU,提出了TTI指令集可以表达的4种时间语义,给出了TTI程序的设计范式.并且构建了TTI程序时间行为的表示方法——TFG+,TFG+是对TFG的扩展,TFG+区分了TTI程序中时间语义指令和普通代码段,可以表示TTI程序的控制流信息、用户规定的时间行为和TTI程序平台相关的时间属性.最后,提出了TTI程序的时间分析方法以及时间安全性检查方法,为TTI程序的设计和部署提供了依据. 展开更多

关键词 实时嵌入式系统 时间可预测性 时间语义指令集 实时处理器 WCET分析

在线阅读 下载PDF 职称材料