测试-媒体中心-迪捷软件-国内领先的嵌入式DevOps解决方案提供商

技术交流 - 漫谈嵌入式实时操作系统

软件产品作为航天型号的重要组成部分，直接影响航天任务成败，需要利用RTOS作为基础平台在机制上予以保障，完成任务实时调度、资源优化分配、设备有效管理、故障快速捕获与处理，从而降低上层应用软件复杂性，使之能专注于核心功能，提高软件产品质量，缩短研制周期，并提高系统的确定性、可靠性和灵巧性。

2022-09-13 digiproto

【视频】基于SkyEye仿真AM3359处理器

AM3359处理器是美国德州仪器公司推出的一款基于ARM架构的AM335x系列处理器，可以提供相同成本下最高的测整数计算能力以及最快的3D图形加速，被广泛应用于通讯管理、数据采集、人机交互、运动控制等领域。

2022-09-13 digiproto

小迪和小捷的太空之旅——飓风营救篇

外星小友被困地底？SkyEye携手小迪小捷再展神威！

2022-09-07 digiproto

如何搭建点燃式发动机仿真模型

点燃式发动机仿真模型可使用功率、空气流量、燃料流量、排气温度、效率和排放性能的物理量查找模块来实现。

2022-08-29 digiproto

嵌入式系统开发中的DevOps自动化：工具、益处和挑战

2022-08-19 digiproto

【视频】基于SkyEye仿真C6713处理器

C6713是美国德州仪器公司推出的一款基于DSP架构的C6000系列处理器，作为32位高速浮点型DSP，其时钟频率最高可达300MHz，被广泛应用于工控、通信、电力等领域。C6713处理器的体系结构采用超长指令字结构（Very Long Instruction Word，VLIW），最大处理能力可以达到2400MIPS，具有高性能、低功耗、高可靠的特点。

2022-08-11 digiproto

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

2022-08-01 digiproto

ModelCoder状态机：对柴油机工况判断策略进行建模

1.柴油机ECU简介柴油机是用柴油作燃料的内燃机，属于压缩点火式发动机。柴油机ECU（Electronic Control Unit，电子控制单元）的主要功能有：接受来自柴油机上的各个传感器信号；进行工况判断；根据开发人员事先编写的控制策略与标定存储的各类MAP（汽车工程上常用的实验数据图），计算判断在当前工况下的所需的喷油量、喷油正时与喷射压力等控制参数；通过功率驱动模块控制执行器输出。柴油机E

2022-07-29 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷