-
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
-
【视频】基于SkyEye的目标码覆盖率智能辅助分析工具
基于SkyEye仿真平台的目标码覆盖率智能辅助分析工具,可用于获取并分析源码、目标码覆盖情况。测试人员可根据代码的覆盖情况,设计更多测试用例,提高代码的覆盖率,从而全面验证可能存在的软件漏洞,提高软件可靠性。
2022-07-06 digiproto
-
【视频】基于SkyEye的自动化测试
相对于传统的手动测试,自动化测试指的是使用独立于待测软件的其他软件或脚本来自动执行测试、比较实际结果与预期并生成测试报告这一过程。自动化测试工具或脚本可以代替人们去完成手动测试中需要被频繁重复执行的测试任务,或者执行人工难以完成的其他测试。
2022-05-30 digiproto
-
【视频】基于SkyEye仿真虚拟ECU
ECU(Electronic Control Unit)电子控制单元,如同汽车的大脑,又称“行车电脑”、“车载电脑”等。它和普通电脑相似,由微控制器(MCU)、存储器(ROM、RAM)、输入/输出接口(I/O)、模数转换器(A/D)等设备组成。
2022-05-17 digiproto
-
「迪捷软件」喜获Pre-A轮千万级融资,硬核科技打造安全关键领域嵌入式数字仿真平台
不积跬步,无以至千里。面对如此巨大的市场需求,潜心耕耘近20年的迪捷团队抓住机遇,厚积薄发,于2019年成立浙江迪捷软件科技有限公司,推出了基于模型的系统工程(MBSE)的自主研发产品。
2022-05-09 digiproto
-
ModelCoder:实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具,支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于汽车控制系统、飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto
-
【视频】基于SkyEye半物理仿真——网卡篇
网络适配器,又称网卡,是一块被设计用来允许计算机在计算机网络上进行通讯的计算机硬件。虚拟网络适配器,又称虚拟网卡,即用软件模拟网络环境,模拟网络适配器。为了实现基于网卡的半物理仿真项目,SkyEye从仿真网卡作为切入点,打破虚拟与真实的壁垒。
2022-04-22 digiproto