清華大學軟體系統與工程研究所

清華大學軟體系統與工程研究所以軟體及硬體混合系統為研究對象，以提高軟體系統可信性為目標，為軟體系統全生命周期服務。

基本介紹

• 中文名：清華大學軟體系統與工程研究所

研究方向

1. 軟體系統建模、分析與驗證的理論、技術和方法，可信軟體體系結構的設計與評價，軟體系統度量的理論與方法等；

2. 面向領域的軟體系統建模語言設計，軟體驗證、仿真和測試技術，軟體系統行為建模與監測技術，軟體系統關係網構造技術，軟體體系結構演化技術，軟體系統度量技術等；

3. 研究開發可信軟體系統建模驗證工具集——Tsmart，指導軟體系統全生命周期各階段的實踐，最終形成可信軟體工程方法學。