登陆
注册
-
实时系统保障关键技术-最坏情况执行时间（WCET）分析
2026-08-18 3779本报告将深度探讨静态分析、动态测量及混合分析三大技术路线，并重点剖析基于符号执行与硬件在环测量的工业级混合分析方案，分析其优势、挑战及市面工具的对比。
-
智能网联汽车数据安全的重要性
2026-07-28 2109数据是驱动智能网联汽车产业迭代的核心命脉，贯穿车辆行驶、用户使用、产业研发、国家治理全链条，数据安全决定智能化发展成败。
-
软件开发中，如何发现并发系统中的隐藏错误？
2026-06-26 2380理解Spin，不只是认识一个工具，更是理解一种思维方式。
-
探秘程序的“预言术”：抽象解释与符号执行
2026-05-19 2696相较于传统测试工具，TestGrid 不只是测试，更是在“自动理解代码行为”，是真正让符号执行走出实验室、走向生产的一步。
-
汽车数字钥匙安全风险及渗透实践解析
2026-04-23 3232本文将系统剖析汽车数字钥匙面临的安全风险，结合实际渗透测试案例与行业标准动态，帮助读者建立对这一新兴安全领域的全面认知。
-
图形化建模在嵌入式高可信软件开发中的应用
2026-04-23 3498本文将深入探讨SmartRocket Modeler的核心功能之一——图形化建模，详细阐述它如何将复杂、抽象的系统需求，转化为直观、精确、无二义性的可视化模型，从而为构建高可靠性的嵌入式软件奠定坚实的...
-
17 / 8
IAI国际人工智能青创大赛举行 中国选手获赞展现全球竞争力
-
17 / 8
我国成功发射卫星互联网低轨24组卫星
-
17 / 8
C919圆满完成首次国际商业航班飞行
-
30 / 7
上海控安参编《车桩融合大功率充电安全预警技术指南》团体标准正式发布实施
-
10 / 7
长征十号乙首飞试验时间已锁定！
-
-
联系电话：021-62655886
-
邮箱地址：marketing@ticpsh.com
-
