科银京成同清华大学计算机系联合举办可信嵌入式软件研讨会

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