• 汽车领域:基础软件验证平台

    汽车电子的高速发展决定了基础软件所面临的要求将会更加严格,其要求会覆盖软件的安全性、稳定性、可扩展性等方方面面。为了提高软件质量,降低软件应用风险,构建高安全、高可靠性、高效率实施的基础软件验证平台则是必不可少的一环。

    2022-11-04 digiproto

  • 汽车领域:国产基础软件问题与展望

    ​当前,中国汽车产业正处于由大向强的伟大历史转折进程中,在供给侧和需求侧的双向推动下,汽车产业正由功能时代向智能时代演进,汽车产业新格局正在加速形成。

    2022-10-13 digiproto

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

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

    2022-09-19 digiproto

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

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

    2022-09-13 digiproto

  • 什么是CI/CD?

    CI(Continuous Integration,持续集成)/CD(Continuous Delivery,持续交付/Continuous Deployment,持续部署)属于DevOps的概念,指将传统开发过程中的代码构建、测试、部署以及基础设施配置等一系列流程的人工干预转变为自动化。使用CI/CD,代码经由开发人员更改后,可进行自动化测试并完成交付和部署。恰当的CI/CD管道可使计算机停机时

    2022-07-21 digiproto

  • SkyEye Q&A ——第二期

    Q1:什么是车载ECU?A1:ECU(Electronic Control Unit)电子控制单元,又称“车载电脑”等。它和普通的电脑一样,由微控制器(MCU,Microcontroller Unit)、存储器(ROM,Read-Only Memory)、RAM(Random Access Memory,随机存取存储器)、输入/输出接口(I/O,Input/Output)、模数转换器(A/D,An

    2022-07-14 digiproto

  • ModelCoder:实现汽车四轮转向控制系统的建模仿真

    ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具,支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于汽车控制系统、飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

    2022-04-27 digiproto

  • ModelCoder模块系列:PID模块介绍

    ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库,40余个模块,PID Controller为ModelCoder实现PID控制算法的模块。

    2022-03-17 digiproto

首页
产品
新闻
联系