-
虚拟ECU:唤醒传统汽车开发灵魂
迪捷软件作为汽车等安全关键领域产品与解决方案提供商,通过涵盖基于模型的系统工程(Model Based System Engineering,MBSE)的整个生命周期的全系列产品,为汽车电子系统开发提供完整的解决方案,支持虚拟ECU和从系统到软件的车辆虚拟样机设计。
2023-05-15 digiproto
-
走进C/C++函数的名字改编
现在的编程语言中,不同的变量或函数可以用相同的标识符命名,只要它们占据不同的命名空间(通常由模块、类或作用域定义)或有不同的签名(如在函数重载中)时,就可能会出现标识符重名的情况。另外,根据编译器和平台的不同,函数的调用方式在编译为机器代码后也可能使用不同的、专门的调用约定。
2023-05-15 digiproto
-
通过模糊测试寻找车载蓝牙的安全漏洞
车载蓝牙的安全威胁主要来自蓝牙漏洞攻击、蓝牙配对窃听、DoS攻击等,可能导致目标计算机或网络无法提供正常的服务或资源访问。车载蓝牙安全漏洞不容忽视。
2023-05-15 digiproto
-
ModelCoder状态机中的State逻辑
ModelCoder可以进行状态机的搭建以及仿真,其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态(State)的部分逻辑。
2023-05-15 digiproto
-
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展,嵌入式系统的功能日益强大,嵌入式设备和软件应用领域越来越宽泛。近年来,嵌入式软件代码量呈爆炸式增长,对测试的要求越来越高,尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
Schiaparelli着陆器坠毁事故回溯与思考
2016年10月19日,Schiaparelli火星着陆器尝试登陆火星的过程中,在预定着陆前50秒与地面控制中心失联并意外坠毁,引起较大轰动。点击原文了解事故详情和解决方案。
2023-05-15 digiproto
-
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring,在Spring框架中对注解的支持和字节码动态生成都属于编译技术;前端程序员通常会使用Babel这个工具,主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto