随着技术的不断进步和利益攸关者需求的不断增多，以飞机和导弹为代表的航空装备正向着单项技术越来越尖端，系统技术越来越复杂发展，装备复杂性日益增加。
2018-07-20 08:00
随着对安全攸关实时系统功能与非功能要求的日益增加，使用多核技术将成为发展趋势，如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题．目前基于形式化方法的系统设计、验证以及自动
2017-12-27 15:38
内存管理系统位于操作系统内核的最底层，为上层提供内存分配和回收机制．在航天器这类安全攸关的关键系统中，其可靠性和安全性至关重要，必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束
2017-12-29 15:54
自动驾驶打车应用Uber面临一个巨大威胁：自动驾驶汽车的兴起导致私家车司机消失。尽管Uber也在开发自动驾驶汽车，卡兰尼克也承认它攸关公司生存，但是其他汽车巨头也在发力自动驾驶，并且在汽车制造、经销商网络管理上拥有更为丰富的经验。
2017-09-19 14:23
每一个无线电链路都起着生死攸关的作用，漏掉其中ー个都会使运营团队失去所需的资源。然而，无线电在尺寸、重量和备用电池等方面都需要考虑成本。随着各种新要求和新链路的加入，问题变得更加复杂。
2020-07-20 10:26
安全攸关软件的可信性关乎生命安全和财产保全，因此，分析评价软件可信性是否符合用户的预期（即软件可信评估）至关重要．软件可信评估从主观和客观两个方面度量软件的质量，对软件生产和应用有着重要的意义．综述
2018-01-15 14:35
针对安全攸关的客户机在安全工具发生警报时往往会进行暂停、检测、恢复等操作，而安全工具误报（虚报、漏报）的发生和发现存在延迟，从而对客户机造成可用性影响的问题，提出一种基于虚拟化技术的有效解决方案。在
2017-12-04 15:00
嵌入式系统的可靠性和安全性要求非常高，任何错误的发生都可能带来灾难性后果．这些系统被称为攸关安全系统． 嵌入式系统具有3个重要属性，即可达性、终止性、不变式．可达性是指系统能否从给定状态到达另一个可接受状态
2018-01-16 16:34
故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前，对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解
2017-11-21 16:05
）。 其中每一个无线电链路都起着生死攸关的作用，漏掉其中一个都会使运营团队失去所需的资源。 然而，无线电在尺寸、重量和备用电池等方面都需要考虑成本。 随着各种新要求和新链路的加入，问题变得更加复杂。 图1：AD9361是一款
2017-11-18 09:55
