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

技术洞见｜软件定义汽车的思辩

软件真的能定义汽车吗？这一问题的结论也许并不重要，但通过刨根问底，有助于我们更好的理解汽车软件，更理性的看待这个时代。

2022-09-19 digiproto

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

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

2022-09-13 digiproto

【视频】基于SkyEye的设备寄存器功能

寄存器（Register）是嵌入式系统的重要组成部分，是“有限存贮容量的高速存贮部件”。除了CPU内核中的寄存器，各种外部设备中也集成着一些寄存器。SkyEye天目全数字实时仿真软件提供了“设备寄存器”功能，为开发人员调试外设中的寄存器提供了有力的帮助。确保开发人员在调试程序的过程中，实时监控并保证设备寄存器值的变化与预期一致。

2022-09-01 digiproto

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

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

2022-08-29 digiproto

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

2022-08-19 digiproto

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

2022-08-01 digiproto

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

MPC8548是基于PowerPC架构的PowerQuicc III系列处理器，其强大的处理能力特别适合于高速低时延的数据处理，广泛应用于嵌入式设备、工业控制领域。MPC8548处理器最高工作频率可达1.5GHz，处理性能可达3065 MIPS。一级缓存分为指令缓存和数据缓存，容量各为32KB；二级缓存容量为512KB，支持DDR1和DDR2存储器控制器。该处理器还支持PCI、PCI-X、PCI

2022-07-28 digiproto

DevOps在物联网解决方案中的应用

物联网对生产生活的应用赋能体现在方方面面：通过传感器，即便远隔千里也能对设备进行运维监控；智能音箱普及之下，语音呼唤就能乐享智慧生活；覆盖道路的视频监控实时传输给行驶中的车辆，车路协同让无人驾驶成为可能……

2022-07-28 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷