以软件及硬件混合系统为研究对象，以提高软件系统可信性为目标，为软件系统全生命周期服务，重点研究领域有：

1. 软件系统建模、分析与验证的理论、技术和方法，可信软件体系结构的设计与评价，软件系统度量的理论与方法等；
2. 面向领域的软件系统建模语言设计，软件验证、仿真和测试技术，软件系统行为建模与监测技术，软件系统关系网构造技术，软件体系结构演化技术，软件系统度量技术等；
3. 研究开发可信软件系统建模验证工具集——Tsmart，指导软件系统全生命周期各阶段的实践，最终形成可信软件工程方法学。

主页：/index.html