-
-
-
走进C/C++函数的名字改编
现在的编程语言中，不同的变量或函数可以用相同的标识符命名，只要它们占据不同的命名空间（通常由模块、类或作用域定义）或有不同的签名（如在函数重载中）时，就可能会出现标识符重名的情况。另外，根据编译器和平台的不同，函数的调用方式在编译为机器代码后也可能使用不同的、专门的调用约定。
2023-05-15 digiproto
-
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
![C语言函数在硬件中的执行原理]()
C语言函数在硬件中的执行原理
众所周知，C语言的应用程序总是以「main」函数作为程序入口地址，那到底什么是函数呢？ 程序的执行其实本质上是CPU对指令的处理，那么一个C函数的本质其实也相当于一组协同工作的指令，而这组指令能够通过相互之间的配合实现特定的功能（Function）。例如从SPI缓冲区中提取数据，配置定时器的延时时间，或者从内存读取数据并写入DAC的寄存器中。 一个函数能完成的功能往往不止一个，比如某个函数能够实现通过串口传输一个字节的数据，然后检查状态位直到接收到一个字节，最后把接收到的所有数据组合起来做实际的计算。
2023-05-15 digiproto
-
![L2C中Lustre语义的环境定义]()
L2C中Lustre语义的环境定义
随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS，Safety-Critical System)，对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题，尤其是对操作系统、编译器等基础软件。
2023-05-15 digiproto
-
![初入SysML之模块定义图]()
初入SysML之模块定义图
如果把系统工程看做一座山，那么基于SysML或UML的各种图就是从不同角度去看这座山所形成的“画”。“横看成岭侧成峰，远近高低各不同”，每幅“画”都能展现出其不同角度的“美”，但又无法完全画出每一棵树、每一朵花。 今天我们来画一下山的脉络——模块定义图。文绉绉的东西放后面，直接从实例说起吧。比如台式机由主机、显示器、鼠标、键盘、音响等组成，用SysML怎么表示呢？
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
