• 知识-基于混合模式的多余度飞控全数字仿真系统研究

    通过集成SkyEye和其他各类持续集成工具,将SkyEye虚拟硬件与DevOps工作流紧耦合,集项目管理和流水线于一体,可应用于嵌入式软件开发的全生命周期,打造持续集成全链路一站式平台。

    2024-09-04 digiproto

  • 基于SkyEye仿真6678处理器:实现国产操作系统ReWorks仿真运行

    基于数字仿真平台搭建仿真系统便是这一问题的解决方案,本文以国产FT-M6678 dsp芯片以及国产操作系统ReWorks为例,说明天目全数字实时仿真软件SkyEye对嵌入式系统的仿真过程。

    2024-01-12 digiproto

  • 探秘:TriCore处理器中断机制

    1. TriCore与中断的简介TriCore是德国英飞凌科技公司旗下的第一个为实时嵌入式系统而优化的统一的、32位的微控制器-DSP(Digital Signal Processing)处理器架构。TriCore的ISA(Instruction Set Architecture),即指令集体系结构,将微控制器的实时能力、DSP的计算能力以及RISC(Reduced Instruction Set

    2023-05-15 digiproto

  • 一文读懂多架构的中断控制器

    描述了x86/ ARM/PowerPC三种主流中断控制器的特点和发展历程,方便读者初步而较为全面地学习不同架构中断控制器之间的区别,掌握中断控制器的概念。

    2023-05-15 digiproto

  • 浅谈ARMv7-A协处理器CP15

    协处理器,顾名思义就是协助型处理器,主要协助做一些主处理器无法执行或者执行效率不佳的事情,比如浮点、图像、音频处理这一类,随着硬件的发展,大多协处理器的功能都慢慢集成到主处理器中,但是某些特定的工作还是需要协处理器进行辅助。

    2023-05-15 digiproto

  • 带你玩转基于SkyEye的TLE987 DMA控制器实现

    DMA,全称Direct Memory Access,即直接存储器访问。 DMA传输将数据从一个地址空间复制到另一个地址空间,提供在外设和存储器之间或者存储器和存储器之间的高速数据传输。当CPU初始化这个传输动作,传输动作本身是由DMA控制器来实现和完成的。DMA传输方式无需CPU直接控制传输,也没有中断处理方式那样保留现场和恢复现场过程,通过硬件为RAM和IO设备开辟一条直接传输数据的通道,使得CPU的效率大大提高。

    2023-05-15 digiproto

  • 汽车软件的模糊测试

    01ISO/SAE 21434与模糊测试随着AI(Artificial Intelligence,人工智能)、移动通讯、大数据及物联网等新技术、新基础设施建设的高速发展,汽车,尤其是新能源汽车已不再是简单的交通工具,而是逐渐向智能终端转变,安全问题也随之凸显。2021年8月31日,汽车信息安全领域首个国际标准ISO/SAE 21434(道路车辆-网络安全工程)正式发布,众多OEM厂商(Origin

    2023-05-15 digiproto

  • 初探形式化方法基本原理

    1.形式化方法基本概念形式化方法是基于严格的数学基础,通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证,是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理,其主要涵盖以下几个研究方向:定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格

    2022-08-01 digiproto

上一页1下一页 转至第
首页
产品
新闻
联系