ModelCoder-媒体中心-迪捷软件-国内领先的嵌入式DevOps解决方案提供商

ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库，40余个模块，PID Controller为ModelCoder实现PID控制算法的模块。

2022-03-17 digiproto

许多仿真模型中都有时间的概念，这就意味着模块间的通信和模块所执行的计算是在一个逻辑时间轴上的，这两个动作在执行时要么按顺序执行，也就是说某个动作在另外一个动作之前；要么两个同时执行(并发执行)。

2022-01-18 digiproto

随着信息技术的飞速发展，软件产品已应用到社会各个领域，软件质量就是软件产品的灵魂，软件质量的保障也因此变得尤为重要。10月22日，以“形式化验证”为主题...

2021-06-03 迪捷软件

2020年10月27日，由中国航天科技集团有限公司八院八〇五研究所（上海宇航系统工程研究所）与中国商用飞机有限责任公司北京民用飞机技术研究中心（以下简称中国商飞北研中心）共同主办的“启航杯”...

2021-06-03 迪捷软件

2020年10月24日，由清华大学、迪捷软件、英特尔、阿里巴巴、富士通南大、腾讯、今日头条、华为等组织的第15届CLK大会在湖南长沙马栏山文创园成功举办。

2021-06-03 迪捷软件

2016年5月24日，耶鲁大学计算机系教授邵中老师在清华大学FIT大楼进行了操作系统验证方面的讲座。讲座由北京迪捷数原科技有限公司的首席科学家陈渝老师主持，公司多名研发工程师均参加了此次讲座。

2020-10-21 迪捷软件

2020年9月11日，迪捷软件创始人康烁先生受邀至清华大学软件学院授课，课程主题为《软件自动化技术》。该课程由清华大学软件学院副院长顾明教授主持，迪捷软件创始人康烁先生和清华大学软件学院副教授周旻老师做了与课程主题相关的报告。

2020-09-23 迪捷软件