-
【视频】基于SkyEye仿真的故障注入
故障注入是一种可靠性验证技术,通过受控实验向系统中刻意引入故障,并观察系统中存在故障时的行为。故障注入技术一般分为:基于硬件的故障注入、基于软件的故障注入以及基于仿真的故障注入。SkyEye 界面提供了基于仿真的故障注入功能。通过改变
2021-10-25 digiproto
-
Linux进程间通信
Linux环境下,进程地址空间相互独立,每个进程各自有不同的用户地址空间。任何一个进程的全局变量在另一个进程中都看不到,所以进程和进程之间不能相互访问,要交换数据必须通过内核,在内核中开辟一块缓冲区,进程1把数据从用户空间拷到内核缓冲区,进程2再从内核缓冲区把数据读走,内核提供的这种机制称为进程间通信(IPC,Inter-Process Communication)。
2023-05-15 digiproto
-
SkyEye与Trace32集成并搭建调试环境
本文基于PowerPC架构的GDB调试功能,主要介绍SkyEye与Trace32(仿真测试工具)集成并调试所需的环境搭建和操作过程。
2025-08-12 digiproto
-
【视频】SkyEye 快速搭建目标系统
SkyEye支持可视化的目标系统设计,可以通过图形的拖拽、连线的方式,快速构建各种架构的嵌入式仿真系统。在SkyEye中涵盖了ARM、PowerPC、 DSP、SPARC、x86、龙芯、飞腾等主流的嵌入式系统架构的仿真,可以应用于航空、航天等多种安全关键领域。
2021-07-23 digiproto
-
喜报|迪捷软件“ModelCoder 建模及形式化验证代码生成软件”荣登浙江省首版次产品目录
近日,浙江省经济和信息化厅公布《2023年浙江省首版次软件产品应用推广指导目录》,浙江迪捷软件科技有限公司的“ModelCoder 建模及形式化验证代码生成软件”经过多轮审核及专家评定被纳入目录。
2023-12-22 digiproto
-
【视频】TI DSP系列处理器仿真
数字化浪潮正迅速席卷全球,DSP技术作为数字化最重要的基础技术之一,凭借其无与伦比的信息处理能力,无论在应用的广度还是深度方面,都正以前所未有的速度向前发展。TMS320系列的DSP新版由于具有价格低廉、简单易用、功能强大等特点,逐渐成为目前最有影响的DSP系列处理器。
2021-11-15 digiproto