摘要：为解决集群计算系统的失效和高能耗问题,提出了一种灵活的高可信集群计算任务调度框架。该框架基于动态电压调整、任务恢复执行和完美接纳控制机制,设计了一种可靠性感知和能量感知的实时任务全局分配算法。结合局部松驰回收机制,在维持任务可靠性目标的情况下,该算法可进一步降低系统能耗和任务拒绝率。实验表明,该算法在能量节省、可靠性和任务拒绝率方面具有优越性。

摘要：嫦娥六号着陆上升制导导航与控制(guidance,navigation and control,GNC)系统圆满完成了月背着陆及自主月面起飞的飞行任务.本文系统总结了嫦娥六号着上GNC高可信飞控仿真与支持系统(以下简称飞控系统)设计.相比嫦娥五号飞控状态,嫦娥六号飞控任务主要有两方面特点:一是单机产品经历长时间贮存,飞行过程面临失效风险.在飞控过程中,设计了多敏感器比对的方法,重点监视单机产品的工作状态,确保单机产品满足飞控任务的使用要求.另一方面,嫦娥六号月背起飞首次采用全自主月面起飞的飞行流程,流程执行的效果直接决定了月背采样返回任务的成败.在飞控过程中,设计了基于星敏感器输出姿态比较的方法,重点关注月面自主起飞过程中,自主起飞工作流程的正确性及适应性.通过在轨数据验证了该飞控系统设计的有效性.嫦娥六号飞控系统设计可以为后续嫦娥系列任务的飞控实施提供参考.

摘要：分析了基于可信主体的DBMS高可信安全体系的设计方法,通过一个基于角色机制的DBMS体系结构设计实例,探讨了在高可信的要求下DBMS的存取控制、体系、TCB和事务处理的设计,最后给出了该DBMS设计中存在的问题及下一步的工作。

摘要：提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用。

摘要：基于“嫦娥五号”(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究。针对自然语言需求定义方式无法精确描述一些关键复杂时序的问题,在需求分析阶段建立了基于时序安全性属性描述的形式化建模语言模型验证技术,保证了系统时序的安全性;针对人工走查难以发现的代码深层次脆弱性缺陷,在设计编码阶段结合飞行任务剖面提取了程序切片,提高了源代码缺陷定位效率,保障了编码的规范性与软件构件的功能正确性;针对复杂软件的海量测试用例无法快速执行的问题,在确认测试阶段,研究了基于状态图和序列图的测试用例生成方法,搭建了一键测试的自动测试系统,实现了海量测试用例的快速自动执行,有效提升了测试效率与测试覆盖性。通过各阶段地面仿真实验和在轨飞行试验验证,表明所提出的高可信软件研制保障技术方法有效可行。

摘要：嵌入式操作系统体系架构的可信性是保障其稳定运行的关键。文中设计基于人工智能的高可信嵌入式操作系统,配置操作系统有效空间与系统资源。依据任务安全等级划分处理器模块分区;依据任务类型配置分区属性分配所需内存;依据分区任务从机器学习算法库中选取合适机器学习算法,获取各分区与主时间框架内的分配策略以及调度策略;依据任务需求配置分区通信,完成分区通信配置后配置健康监控以及任务容错实现人工智能的高可信嵌入式操作系统。实验结果表明,该系统在不同任务数量时,操作可信率均高于96%;处理不同类别任务精准率以及召回率均高于98%。

摘要：高可信云存储既能够满足低成本、高可扩展、高可靠的海量数据存储需求,又能够支持防偷窥、防篡改、防任意删除等确保数据完整性的高可信能力,在视频监控、数据存储等领域拥有广阔的应用前景。本文针对视频监控数据存储需求,提出由分布式对象存储和区块链相结合的高可信云存储技术,设计了系统的整体架构和典型的数据读写流程,并重点探讨了对象存储策略、区块链智能合约、硬件加速器件等关键问题的解决方案,为高可信云存储的应用和推广提供了重要的技术参考。

摘要：随着政务网体系全国一体化的推进,现今跨域共享交换数据的需求不断上升。政务内网和外网之间的数据交互效率很低、缺乏安全高效的传输解决方案、安全性不足。针对上述问题,提出了一种高可信的跨域隔离交换方案。首先分析现有跨域交换关键技术。然后设计跨域隔离的总体方案,并对高可信认证方案、数据过滤及格式化方案、隔离交换方案、跨域交换审计方案等进行了详细的设计。最后,把跨域隔离交换方案应用在政务内网安全防护体系中,实现了政务内外网数据可信、高效、安全地传输。

摘要：为打破国外运行控制系统在中国的垄断,同济大学联合卡斯柯信号有限公司达成战略合作关系,组建技术攻关团队,从硬件架构、系统设计和功能测试等运控系统研制过程开展了轨道交通高可信技术的研制工作,旨在保障轨道交通运行安全,提高轨道交通运营效率.

摘要：介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。