迪捷软件创始人康烁受邀至清华大学软件学院授课

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

康烁先生的报告主题为《嵌入式软件开发的自动化——基于模型的安全关键领域的嵌入式软件开发》。报告首先阐述了嵌入式软件的概念和特点，之后说明了嵌入式软件在安全关键领域的重要性和复杂性，进而引出了嵌入式系统建模这一解决思路。而后康烁先生生动清晰地解析了什么是模型，什么是基于模型的软件开发，以及如何进行基于模型的软件开发。由于嵌入式系统具有并行性、时间约束、可靠性（Safety）等特点，对代码的准确率要求高，对编译器进行形式化验证就显得尤为重要，这也是迪捷软件全力以赴、持续投入的工作。

迪捷软件的软件设计和开发工具ModelCoder不仅解决了以上问题，同时也解决了当前基础工业领域、高端装备领域的“卡脖子”技术，这款软件的对标产品即为MathWorks公司的MATLAB/Simulink以及ANSYS公司的SCADE等。

报告结束后，清华大学软件学院的学生与康烁先生和周旻老师进行了交流和讨论，二位先生从科研和产业化的角度进行了详细解答。

康烁先生报告提及：“传统的靠程序员手工编码进行研制的方式早已不能满足安全需要。目前基于模型的系统工程的研发已日益趋向于主流，特别是面向安全关键领域的高安全性嵌入式软件的设计与开发。”这正是康烁先生一直在坚持的事业。康烁先生的团队，于2003年投入基础工业设计软件/嵌入式工具软件研究，2013年正式商业化，经过数十年的坚守，突破了该领域的国际壁垒，掌握了自主知识产权的核心技术。可以说，他们这一群来自“清华、北航、北大及前华为员工组成的精英团队”完成了一个本该是“国家队”要做的事情。十几年来，艰难的前行，做这个事情的难度大到常人难以想象。守得住本心，守得住清贫，守得住那份炙热的爱国情怀，走过十几年的青春岁月，完成了这个看似不可能完成的任务……

如今，迪捷软件产品化之路已经走得愈发坚实，康烁先生希望可以和团队成员一起，不负韶华，为国产基础工业设计软件的自主可控贡献中坚力量，为国产高端装备制造业保驾护航。