6、自适应系统的永久保证：需求、方法与机制

自适应系统的永久保证：需求、方法与机制

1. 永久保证的需求

为自适应系统提供永久保证，相较于非自适应系统的保证方案，需要满足额外的要求。这些额外要求对应着自适应系统面临的各种挑战，主要涉及处理多种不确定性来源。为实现永久保证，需通过整合两种类型的保证证据来构建和持续更新保证论证。

1.1 保证证据类型

• 第一类证据 ：对应不受不确定性显著影响的系统和环境元素，可通过传统离线方法获取。
• 第二类证据 ：与受不确定性来源影响的系统和环境组件相关，需在运行时合成，此时不确定性应得到充分处理（如减少、量化或解决）。

1.2 具体需求

需求编号	简要描述
R1: 监控不确定性	永久保证方案必须持续观察影响自适应系统的不确定性来源。
R2: 量化不确定性	利用对不确定性来源的观察，持续量化并可能减少影响提供保证证据能力的不确定性。
R3: 管理重叠的不确定性来源	持续处理重叠的不确定性来源，并可能需要以可组合的方式处理这些来源。
R4: 推导新证据	持续推导新的保