使用面向切面建模分离安全系统中的冗余策略

本文主要探讨了在安全关键系统设计阶段利用面向方面建模（Aspect-Oriented Modeling, AOM）来指定冗余策略的问题。冗余策略是确保系统可靠性的重要手段，它们能够提供后续开发活动中的故障容忍度指导。然而，当前的方法常常将冗余策略与功能性模型紧密集成，导致模型变得复杂且难以管理，维护过程费时且易出错。 作者提出了一种新型的建模方法，旨在通过AOM分离冗余战术与基础功能性模型。这种方法首先明确冗余战术的概念模型及其语义约束，这一步对于提取出与冗余相关的方面至关重要。通过AOM的切面（aspect）机制，冗余策略被作为独立的切面处理，这样可以保持核心功能模型的简洁性，同时使冗余管理更加清晰和高效。 AOM的核心思想在于关注点分离（Separation of Concerns, SoC），它允许开发者专注于系统的不同关注点，如行为、责任和协作，而不会受到其他关注点的干扰。在冗余策略的设计中，AOM允许对冗余逻辑进行模块化处理，例如使用通知（advice）和通知点（join points）来实现冗余数据的同步、检查和恢复等操作。 此外，文章还可能讨论了如何设计和实现一种编织算法（weaving algorithm），这种算法能在编译或运行时将冗余切面插入到目标模型中，确保其在系统生命周期中的正确执行。通过这种方式，冗余策略的修改和调整不会影响基础模型的原有结构，从而降低了维护成本和错误风险。 最后，作者可能会展示一些案例研究或评估结果，以证明新方法的有效性和优越性，以及它在实际系统中的应用前景。这项工作为安全关键系统的设计提供了更为有效和可维护的冗余策略建模框架，有助于提升系统的可靠性和整体开发效率。