• 汽车领域:自动化编译框架

    如何提供自动化编译框架用于解决硬件平台的切换以及屏蔽硬件差异,以更好地实现应用的快速开发和部署,是软件研发的一个重要课题。

    2022-11-25 digiproto

  • 电动汽车安全概述

    在虚拟测试环境中任意注入故障,可随时暂停或反向执行,在该环境下缺陷可稳定复现。

    2022-11-02 digiproto

  • 汽车安全困境:如何破局?

    如何解决汽车软件数量和代码量剧增带来的开发问题和安全性挑战?点开文章了解答案!

    2022-05-23 digiproto

  • 「迪捷软件」喜获Pre-A轮千万级融资,硬核科技打造安全关键领域嵌入式数字仿真平台

    不积跬步,无以至千里。面对如此巨大的市场需求,潜心耕耘近20年的迪捷团队抓住机遇,厚积薄发,于2019年成立浙江迪捷软件科技有限公司,推出了基于模型的系统工程(MBSE)的自主研发产品。

    2022-05-09 digiproto

  • 走进C/C++函数的名字改编

    现在的编程语言中,不同的变量或函数可以用相同的标识符命名,只要它们占据不同的命名空间(通常由模块、类或作用域定义)或有不同的签名(如在函数重载中)时,就可能会出现标识符重名的情况。另外,根据编译器和平台的不同,函数的调用方式在编译为机器代码后也可能使用不同的、专门的调用约定。

    2022-01-10 digiproto

  • 初入SysML之模块定义图

    如果把系统工程看做一座山,那么基于SysML或UML的各种图就是从不同角度去看这座山所形成的“画”。“横看成岭侧成峰,远近高低各不同”,每幅“画”都能展现出其不同角度的“美”,但又无法完全画出每一棵树、每一朵花。 今天我们来画一下山的脉络——模块定义图。文绉绉的东西放后面,直接从实例说起吧。比如台式机由主机、显示器、鼠标、键盘、音响等组成,用SysML怎么表示呢?

    2021-11-25 digiproto

  • L2C中Lustre语义的环境定义

    随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS,Safety-Critical System),对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题,尤其是对操作系统、编译器等基础软件。

    2021-11-05 digiproto

  • SkyEye仿真平台下的操作系统实验- 准备篇(一)

    《一步步写嵌入式操作系统》从零开始实现了操作系统leeos,并在SkyEye虚拟机中进行了实验验证。 leeos是一个简单的多任务操作系统,进程调度方式为时间片轮询。leeos使用伙伴算法实现了动态内存分配,支持romfs文件系统,支持运行elf格式的可执行文件。leeos提供了一个简单的驱动程序框架,和一个统一的异常与中断处理架构,并通过使用中断嵌套的方法提高了中断效率。leeos支持mmu,使用两级页表结构实现虚拟地址到物理地址的转换。以上涉及到的技术都在《一步步写嵌入式操作系统》中有详细讲解。

    2021-11-01 digiproto

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