更新时间：2023-06-12 13:38
Trustie(Trustworthy software tools and integration environment)是一个国家软件资源共享与协同生产环境，支持大规模网络化可信软件生产。
Trustie的综合软件社区服务集软件协同开发、软件资源共享、软件可信评估于一体，其协同开发平台、软件资源库等核心设施及部分工具已经开源，其软件证据积累与评估设施将形成重要软件演化数据。 Trustie环境得到国家863重点项目“高可信软件生产工具及集成环境”支持，旨在研究和突破高可信软件生产的关键性技术，研制软件开发系列工具、平台与集成环境。 Trustie的核心部件包括5个部分，综合软件社区门户、软件开发协同平台、软件资源库与可信证据管理、软件可信生产工具集、软件生产线集成框架及若干生产线系统。
本课题主要研究内容包括软件工具、软件资源库、软件生产线、软件开发协同平台等技术，以及软件生产环境可信保障机制和软件生产环境的整体集成机制等。
软件工具
TRUSTIE研究的工具将以软件生产为中心，强调软件可信保障和过程协同，将工具分为三大类。 软件生产类涵盖软件的需求获取、建模、开发、组装/集成和部署等活动；软件可信保障类涵盖可信度量、分析及软件运行监控/管理等方面；软件过程协同类涵盖过程管理、项目管理、通信管理和知识管理等行为。 以软件资源共享为目标，研究在Internet环境中获取、组织和管理多种软件资源的技术； 研究软件资源可信评估技术，提供软件资源可信度分级管理机制；
研究高可信的软件资源库开放式体系结构，以分布式的集成体系实现资源库的互联。 具体研究内容包括：
▅ 多种类软件资源组织管理机制，给出适用于实体型资源和服务型资源的资源管理方法，研发扩展UDDI(Universal Description, Discovery, and Integration)标准的资源库访问接口。
软件资源搜索技术，包括面向Internet的软件资源收集技术的研究和领域特定的软件资源自动整理、分类技术的研究。
▅ 软件资源的可信分级与评价机制，主要研究针对Web服务的服务质量信息获取技术、基于客观反馈与主观反馈相结合的软件资源可信度评价技术、支持以可信度进行软件资源的分类、查询和检索，并建立基于信誉的软件资源可信度评价机制和支持系统。
▅ 研究分布软件资源库的互连机制和技术，实现多资源库的互连，包括软件资源统一描述机制、软件资源统一检索技术、资源库互联的体系结构、互联安全性保障技术等。
▅ 研究分布软件资源库的互连机制和技术，实现多资源库的互连，包括软件资源统一描述机制、软件资源统一检索技术、资源库互联的体系结构、互联安全性保障技术等
软件生产线
TRUSTIE将研究软件生产线集成框架以及面向技术特征的若干软件生产线。 基于构件的软件生产线以软件代码复用为基础，具体研究网络化的软件需求获取和分析技术、基于特征的领域建模技术、元建模技术和基于UML的模型驱动开发技术、软件可信性度量技术和软件再工程技术，并在此基础上形成整体化的软件生产线，支持基于构件的软件生产线。面向服务的软件生产线以基于Web服务的引用式复用为基础，具体研究基于协议的可信服务组合建模方法、基于协议的服务组合可信性形式化验证与评估技术、基于协议代数的服务匹配方法和QoS感知的动态服务选择机制，研究面向可信服务计算的信任管理技术，研究服务软件可信性质的形式化描述和验证方法，研究符合WSDM(Web Services Distributed Management)标准的服务可管理性模型及其实现方法，并在此基础上形成整体化的软件生产线，支持面向服务的软件开发。 支持异构集成的软件生产线针对软件构造技术的异构、多平台依赖、以及运行环境动态变化等特征，以模型驱动开发方法为基础，重点研究支持异构模型集成和互操作的建模与转换技术；基于功能性质验证和非功能性属性分析的模型质量保障机制；流程制导的异构构件统一部署技术，面向异构运行平台的应用配置技术；建立流程制导、支持异构集成的软件生产工具和生产线，支持基于中间件的复杂分布式软件系统高效率和高质量的生产。 支持运行监控的软件生产线针对可信软件运行监管需求，研究基于监控的可信计算模型、方法和机制；研究软件行为分析技术和基于规则的软件分析诊断方法；突破软件监控需求建模技术、针对多种技术体制的模型转换和监控逻辑注入技术、典型运行平台的监控扩展机制和运行时监控技术；建成一系列支持监控的生产工具和集成开发环境，支持基于监控的可信软件构造与运行。
软件开发协同平台
研究Internet和企业网络环境下的软件开发人员、组织间的协同技术，包括生产过程和协同过程各类工具的集成技术，各类在线协同技术，多种服务的统一交互展现技术，协同任务与活动的发布、跟踪、管理与分析技术等，并研制软件开发协同平台。
软件生产环境可信保障机制
研究软件资源可信度的分级机制和软件生产环境对不同级别可信度要求的保障方法和机制，包括统一的软件、工具和生产线的可信性分析、保障技术，以及软件生产环境中工具、生产线的应用效能分析技术等，为各种特定领域的软件生产线提供可信保障。
软件生产环境整体集成机制
研究工具集成框架，设计基于XMI的生产线数据集成方法和机制，形成生产线集成框架，为本项目中各类软件生产线的组装提供支持；研究软件资源库应用访问接口标准与资源描述信息规范；研究建立开发协同平台、资源库、各类工具的整体集成机制，形成规范，为本项目中各课题成果提供集成机制和框架，确保整体项目形成完整一致的高可信软件生产环境。
▅ 北京大学
▅ 北京航空航天大学