TRUSTIE是什麼？
Trustie的綜合軟體社區服務集軟體協同開發、軟體資源共享、軟體可信評估於一體，其協同開發平台、軟體資源庫等核心設施及部分工具已經開源，其軟體證據積累與評估設施將形成重要軟體演化數據。 Trustie環境得到國家863重點項目“高可信軟體生產工具及集成環境”支持，旨在研究和突破高可信軟體生產的關鍵性技術，研製軟體開發系列工具、平台與集成環境。 Trustie的核心部件包括5個部分，綜合軟體社區門戶、軟體開發協同平台、軟體資源庫與可信證據管理、軟體可信生產工具集、軟體生產線集成框架及若干生產線系統。
TRUSTIE主要研究內容
本課題主要研究內容包括軟體工具、軟體資源庫、軟體生產線、軟體開發協同平台等技術，以及軟體生產環境可信保障機制和軟體生產環境的整體集成機制等。
軟體工具
TRUSTIE研究的工具將以軟體生產為中心，強調軟體可信保障和過程協同，將工具分為三大類。 軟體生產類涵蓋軟體的需求獲取、建模、開發、組裝/集成和部署等活動；軟體可信保障類涵蓋可信度量、分析及軟體運行監控/管理等方面；軟體過程協同類涵蓋過程管理、項目管理、通信管理和知識管理等行為。 以軟體資源共享為目標，研究在Internet環境中獲取、組織和管理多種軟體資源的技術； 研究軟體資源可信評估技術，提供軟體資源可信度分級管理機制；
研究高可信的軟體資源庫開放式體系結構，以分散式的集成體系實現資源庫的互聯。 具體研究內容包括：
▅ 多種類軟體資源組織管理機制，給出適用於實體型資源和服務型資源的資源管理方法，研發擴展UDDI(Universal Description, Discovery, and Integration)標準的資源庫訪問接口。
軟體資源搜尋技術，包括面向Internet的軟體資源收集技術的研究和領域特定的軟體資源自動整理、分類技術的研究。
▅ 軟體資源的可信分級與評價機制，主要研究針對Web服務的服務質量信息獲取技術、基於客觀反饋與主觀反饋相結合的軟體資源可信度評價技術、支持以可信度進行軟體資源的分類、查詢和檢索，並建立基於信譽的軟體資源可信度評價機制和支持系統。
▅ 研究分布軟體資源庫的互連機制和技術，實現多資源庫的互連，包括軟體資源統一描述機制、軟體資源統一檢索技術、資源庫互聯的體系結構、互聯安全性保障技術等。
▅ 研究分布軟體資源庫的互連機制和技術，實現多資源庫的互連，包括軟體資源統一描述機制、軟體資源統一檢索技術、資源庫互聯的體系結構、互聯安全性保障技術等
軟體生產線
TRUSTIE將研究軟體生產線集成框架以及面向技術特徵的若干軟體生產線。 基於構件的軟體生產線以軟體代碼復用為基礎，具體研究網路化的軟體需求獲取和分析技術、基於特徵的領域建模技術、元建模技術和基於UML的模型驅動開發技術、軟體可信性度量技術和軟體再工程技術，並在此基礎上形成整體化的軟體生產線，支持基於構件的軟體生產線。面向服務的軟體生產線以基於Web服務的引用式復用為基礎，具體研究基於協定的可信服務組合建模方法、基於協定的服務組合可信性形式化驗證與評估技術、基於協定代數的服務匹配方法和QoS感知的動態服務選擇機制，研究面向可信服務計算的信任管理技術，研究服務軟體可信性質的形式化描述和驗證方法，研究符合WSDM(Web Services Distributed Management)標準的服務可管理性模型及其實現方法，並在此基礎上形成整體化的軟體生產線，支持面向服務的軟體開發。 支持異構集成的軟體生產線針對軟體構造技術的異構、多平台依賴、以及運行環境動態變化等特徵，以模型驅動開發方法為基礎，重點研究支持異構模型集成和互操作的建模與轉換技術；基於功能性質驗證和非功能性屬性分析的模型質量保障機制；流程制導的異構構件統一部署技術，面向異構運行平台的套用配置技術；建立流程制導、支持異構集成的軟體生產工具和生產線，支持基於中間件的複雜分散式軟體系統高效率和高質量的生產。 支持運行監控的軟體生產線針對可信軟體運行監管需求，研究基於監控的可信計算模型、方法和機制；研究軟體行為分析技術和基於規則的軟體分析診斷方法；突破軟體監控需求建模技術、針對多種技術體制的模型轉換和監控邏輯注入技術、典型運行平台的監控擴展機制和運行時監控技術；建成一系列支持監控的生產工具和集成開發環境，支持基於監控的可信軟體構造與運行。
軟體開發協同平台
研究Internet和企業網路環境下的軟體開發人員、組織間的協同技術，包括生產過程和協同過程各類工具的集成技術，各類線上協同技術，多種服務的統一互動展現技術，協同任務與活動的發布、跟蹤、管理與分析技術等，並研製軟體開發協同平台。
軟體生產環境可信保障機制
研究軟體資源可信度的分級機制和軟體生產環境對不同級別可信度要求的保障方法和機制，包括統一的軟體、工具和生產線的可信性分析、保障技術，以及軟體生產環境中工具、生產線的套用效能分析技術等，為各種特定領域的軟體生產線提供可信保障。
軟體生產環境整體集成機制
研究工具集成框架，設計基於XMI的生產線數據集成方法和機制，形成生產線集成框架，為本項目中各類軟體生產線的組裝提供支持；研究軟體資源庫套用訪問接口標準與資源描述信息規範；研究建立開發協同平台、資源庫、各類工具的整體集成機制，形成規範，為本項目中各課題成果提供集成機制和框架，確保整體項目形成完整一致的高可信軟體生產環境。
課題承建單位
▅ 中國人民解放軍國防科學技術大學
▅ 北京大學
▅ 北京航空航天大學
▅ 中國科學院軟體研究所
▅ 山東中創軟體商用中間件股份有限公司
