7、早期可用性需求描述与嵌入式系统安全可靠建模

早期可用性需求描述与嵌入式系统安全可靠建模

1. AoUCM 可用性建模基础

在软件系统开发中，早期对可用性需求的描述至关重要。AoUCM（面向方面的用例图）为我们提供了一种有效的方式来进行可用性建模。例如，在涉及可用性方面时，插件映射及其责任（如状态同步）是可用性方面的一部分。所需的元数据属性会直接针对责任进行指定。

2. UCM 故障预防建模

可以使用特定的注释来进行 UCM 故障预防建模。责任可以用可用性元数据属性进行注释，这些属性指定了服务移除属性、事务属性和进程监控属性。以下是一些具体示例：
- 服务移除策略 ：当组件内存不足时，通过关闭组件（即“关闭”责任）将其置于停用状态，以防止潜在的系统故障。
- 事务策略 ：使用两阶段提交（2PC）类型的事务来更新数据库记录。如果未能确保两阶段提交要求，将触发隐式回滚以撤销记录更新。

责任	可用性类别	严重程度	策略
关闭	故障预防	无	服务移除
更新记录	故障预防	无	事务

3.