后台-营销-SEO-头部优化文字处修改
涵盖了基于模型的系统工程(MBSE)的整个生命周期
中美贸易战下的国产自主可控,新旧动能转换下的创新创业和两用产业。
新旧动能转换下的创新创业和两用产业
揭秘迪捷软件如何通过数字孪生、MBSE和虚拟化技术迎接新工业时代。
由迪捷软件自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于飞机的飞控,飞机的航电,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的硬件仿真和硬件建模。SkyEye目前支持主流的嵌入式硬件平台,可以运行主流的操作系统,此外还能适配国内自主研发的操作系统天脉。通过利用基于LLVM的动态二进制翻译技术,使虚拟处理器在典型的桌面计算机上运行速度可以达到2000MIPS以上。
About us
◀ 点击播放宣传片,让您更全面的了解我们。
LATEST NEWS
联系我们