嵌入式实时系统建模验证工具

为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言AADL（ Architecture Analysis and Design Language）和同步语言Signal，研发了辅助配套软件工具集，可进行系统的可靠性、可调度性、安全性分析，以及自动代码生成，从全生命周期的角度保证系统的可信性质。 本项目主要特点如下。 1．可以插件的形式集成在AADL开发平台OSATE上，支持高可靠性实时系统的软件设计建模； 2．可以提供集成开发环境，将AADL模型转换为TASM模型和UPPAL模型，然后采用相关的模型分析和检测工具进行验证分析，包括可靠性、可调度性、时间属性等分析； 3．可以支持基本的AADL到C，Signal到OpenMP的自动代码生成技术。 目前该成果已指导多个关键实时系统的建模和验证应用，获得国家专利1项。

北京航空航天大学 2021-04-13

并行程序性能监测工具包

针对集群和多核服务器平台，该软件工具集可以对系统资源和并行程序性能进行在线监测和性能分析展示，帮助用户监测系统资源和发现并行程序瓶颈，辅助进行程序优化。性能数据的采集主要是通过对被监测进程的插桩和包装库的结合实现，可对MPI程序、OpenMP程序和CUDA程序进行性能监测。 本项目主要特点如下。 1.合理的数据采集方式，可以对混合结构高性能计算系统进行性能监测，较少的监测扰动； 2.基于MRnet的树形数据汇聚和类库，保证了大量性能监测数据的快速高效汇集，并提供同步，汇总等功能接口； 3.多种数据分析统计方法，高效的分析和多视角可视化图形展示，辅助用户分析瓶颈进行优化。该成果在国家863计划支持下，已在多个计算中心应用，获得国家专利3项。

北京航空航天大学 2021-04-13

产品生命周期评价技术及软件工具

项目为产品生命周期评价、绿色设计与制造提供关键支撑技术，为企业 规避国际贸易壁垒提供评价数据、报告；提供产品绿色方案设计评价方法和工 具，实现产品绿色设计。

山东大学 2021-04-13

数字视频内容篡改取证分析工具平台

 数字视频内容真实性和完整性鉴别问题，已经成为公安司法取证、互联网视频内容鉴伪等领域的迫切需求和技术难点。本项目成果--数字视频内容篡改取证分析工具平台，是信息内容分析技术国家工程实验室信息认知实验室研究团队，在国家863项目和多项国家自然科学基金的支持下，独立开发的具有完全自主知识产权的成果，拥有4项发明专利，并取得软件著作权登记。 基于视频篡改取证分析工具平台，能够在不需要任何先验知识的情况下，实现对数字视频帧删除、帧插入等各类帧间篡改，以及复制-粘贴等帧内篡改等，而导致原始视频信息完整性被改变情况的被动取证分析。 该平台共提供了4种视频取证与篡改分析的算法，包括光流场特征篡改检测，速度场特征篡改检测，复制-粘贴篡改检测以及基于马尔科夫特征的双压缩检测。在国际上首次提出了通过采用光流变化率以及空间金字塔结构，对视频解压缩后的图像序列中光流特征的一致性检测，从而发现由于帧删除或帧插入造成的光流特征统计直方图突变的间断点检测。该方法在国际第三方测试库上的检测准确率可达到95%以上，在上海市人民检察院提供监控视频实际样例测试库上可达到80%以上。 目前该平台已在上海市人民检察院视听科进行试用及合作推广。本项目成果可以广泛应用在国家司法机关、检察院和公安体系以及商业数字证据鉴定中心，用于鉴定监控视频或者网络视频的真实性、原始性和唯一性。图2 视频篡改取证分析工具平台配置界面

上海交通大学 2021-04-13

工业数字孪生场景构建工具（Mint-DTB）

上海明材数字科技有限公司 2022-06-28

山东易斯特工程工具有限公司

山东易斯特工程工具有限公司位于聊城市高新区，系高新区重点骨干企业，聊城市高新技术企业，公司成立于2006年，注册资金5000万元，企业总资产2亿元，占地5万平方米，建筑面积35000平方米，拥有机械加工、焊接等国际先进设备30余台套。 主导产品为盾构刀具、盾尾刷等一系列盾构配套产品，和高端反井钻机的研发设计与加工制造。公司秉承“诚信为本、创新为魂”的企业宗旨，根据用户需要，设计、研发生产适用于不同地质状况的盾构刀具产品，多次参与国内外重大隧道工程项目刀具的技术攻关，在国内地铁、隧道盾构施工领域具有很好的美誉度和影响力，不仅广泛应用在全国数百个轨道交通、地铁隧道建设施工项目，而且还远销日本、澳大利亚、美国及“一带一路”等多个国家和地区。 山东易斯特工程工具有限公司坚持“专业技术、专业制造、专业服务”的企业方针，致力于打造国内外专业一流、研发一流、服务一流的盾构刀具企业。先后被认定“高新技术企业”，科学先导型企业等荣誉称号，通过了中国质量认证中心颁发的ISO9001质量管理体系认证。 目前公司已与中国中铁、中国铁建、中国建筑、中国水利水电、中国交通这五大建设施工龙头企业及各省市大型盾构施工企业进行长期紧密合作，在深圳、广州、南宁、成都、厦门都设有高水平的滚刀维修车间。

山东易斯特工程工具有限公司 2021-08-30

可穿戴式移动互联飞机维修辅助工具

联网登录后台服务器，查询和浏览网页及数字维修资料；通过FTP客户端，从后台服务器下载文件及解压压缩文件至SD存储卡；拍摄现场图片、短视频并传回服务器供分析处理；实时加密通话，方便现场维修人员与专家团交流沟通；语音命令识别，解放操作人员双手等。 应用领域： 飞机维修，宇航员执行任务，大型机械远程维修，远程医疗，军事作战现场等。 特色及先进性： 轻便可穿戴，双目成像眼睛，语音识别解放双手，通话加密，强大的后台专家资源支持等。 解决的关键问题和实施后效果： 解放了远程维修人员的双手，使维修现场能够得到后台强大的专家资源支持，实施后可以大大节省维修时间，解决更多复杂的维修问题。 图1 双目可穿戴设备实物 图2 单目可穿戴设备实物

电子科技大学 2021-04-10

金刚石薄膜涂层硬质合金工具开发

金刚石薄膜涂层硬质合金工具由于性能优异、成本相对较低(与PCD和金刚石厚膜钎焊工具相比、可以适应于复杂形状工具衬底沉积、以及可能大批量沉积等优点, 具有非常好的市场前景。 金刚石薄膜涂层硬质合金工具开发的关键是解决金刚石薄膜在硬质合金衬底上的生长(沉积)和良好附着的技术。本项目成果采用独特的衬底预处理和优化的金刚石膜沉积工艺已经解决了Co对金刚石膜生长和附着的有害影响问题。在YG类硬质合金工具衬底所沉积的金刚石膜涂层厚度最大可达20～30m。用洛氏硬度压痕法评定的金刚石膜附着力时的无裂纹临界载荷达1500N以上。在铣削Al-12wt%Si合金时, 金刚石薄膜涂层的YG6铣刀比未涂层硬质合金刀片使用寿命可提高20倍以上。 本成果基于我们已经取得的两项关于金刚石膜低温沉积技术和硬质合金衬底激光预处理技术的发明专利(ZL 91 1 02584.7, ZL 93 1 19434.2 ), 以及最近完成的另外二项关于使用特殊钴化物过渡层提高金刚石薄膜附着力的技术(已申请发明专利, 申请号: 99107912.4, 01130903.2)。此外, 本项目组正在进行工业化生产设备和技术的研究开发, 原型设备研制已接近完成, 其特点是摒弃通常CVD设备的平面沉积方式, 采用立体(空间)沉积方式, 因此可以一次沉积大量工件。最终工业化设备的目标是一次涂覆可转位刀片(或钻头)300只以上。 本项目成果可用于开发各种金刚石薄膜涂层硬质合金工具和模具, 以及其它需要解决极度耐磨或降低摩擦的应用。

北京科技大学 2021-04-11

可穿戴式移动互联飞机维修辅助工具

联网登录后台服务器，查询和浏览网页及数字维修资料；通过FTP客户端，从后台服务器下载文件及解压压缩文件至SD存储卡；拍摄现场图片、短视频并传回服务器供分析处理；实时加密通话，方便现场维修人员与专家团交流沟通；语音命令识别，解放操作人员双手等。

电子科技大学 2021-04-10

Web应用安全漏洞自动检测工具

Web应用安全漏洞自动检测工具包括两个部分：（1）跨站脚本漏洞检测工具XSSBuster；（2）SQL注入漏洞检测工具SQLIExposer。其中涉及的关键技术包括：网络爬虫与Web应用程序的动态交互、数据入口的确定和模拟攻击、注入代码的构造以及注入结果的分析、渗透测试技术的优化、利用Fuzzing技术构造针对不同数据入口的多种注入代码及其变体、强制注入代码的执行。 本工具能全面、自动检测Web应用程序中的SQL注入漏洞和三种类型的跨站脚本漏洞。测试结果表明：与目前主流的漏洞检测系统相比，本工具能检测出更多的漏洞，在性能方面也具有一定的优越性。

北京航空航天大学 2021-04-13