2009年7月8日，科银京成同清华大学计算机科学与技术系在清华大学联合举办《可信嵌入式软件研讨会》。研讨会由清华大学计算机科学与技术系主任孙茂松教授主持。科银京成朱明远、童强、张宇旻，清华大学计算机科学与技术系朱纪洪教授、白小颖副教授、董渊副教授、王生原副教授等参加了研讨会。在研讨会上，科银京成方面做了“科银京成与高可信嵌入式软件”，“Formal Methods in Action： The Formal Development of VMK - An Operating System Kernel”，清华大学方面做了“软件工程方法和基础软件测试”，“操作系统关键技术和Skyeye”，“可信优化编译器和集成环境”和“底层核心代码形式化验证相关问题”等报告。双方就进一步的技术合作进行了深入探讨。
