机构名称：
¥ 5.0
自我适应是自主系统的关键特征，必须应对其环境和内部状态中的不确定性。自适应系统（SASS）可以实现为两层系统，引入了系统（托管子系统）和适应性逻辑（管理子系统）之间的域特定功能之间的关注点，即引入系统中管理适应性的外部反馈循环。我们提出了一种将SASS作为动态软件产品线（SPL）的方法，并利用现有的方法来基于SPL的分析来分析SASS。这样做，SA的功能是在功能模型中建模的，从而捕获了SAS的可变性。这使我们能够将SAS的托管子系统建模为一个系统家族，每个家庭成员都对应于SAS的有效功能配置。因此，SAS的托管子系统被建模为SPL模型。更确切地说，概率为特色过渡系统。SAS的管理子系统被建模为一个控制层，能够在这些有效配置之间动态切换，具体取决于环境和内部条件。我们证明了对用于管道检查的自适应自动水下车辆进行小规模评估的方法，我们将其对其进行建模和分析，并通过特征吸引的概率模型检查器Profeat。该方法使我们能够分析SAS的概率奖励和安全性，以及其适应性逻辑的正确性。
将自适应系统分析为软件产品线
主要关键词
相关文件推荐
