6、自主软件行为适应的安全运行时验证

自主软件行为适应的安全运行时验证

在自主软件领域，动态自适应行为需要严格的离线和在线测试。本文将探讨一种系统级方法，用于在运行时验证自主软件的行为适应，同时介绍相关的设计、原型实验及结果。

1. MAPE 实现与内部知识设计

在自主软件的设计中，MAPE（Monitor、Analyzer、Planner、Executer）是核心的实现部分。以下是相关的类结构和功能：

edu.fiu.strg.STAC.manager.mape
+doFunction()
ͲiKnowledge : InternalKnowledge
Ͳsuspended : Boolean
AbstractFunction
Touchpoint
ͲsensorObject : Object
ͲsensorMethod : Method
Monitor
+generateChangeRequest()
Analyzer
+generateChangePlan()
Planner
+effectorObject() : Object
Executer
+Thread(in threadGroup, in name)
Thread <<library>>
+startAll() : void
+joinAll() : void
+hasAllSuspended() : Boolean
MAPEGroup
Touchpoint
+ThreadGroup(in name)
ThreadGroup <<library>>

AbstractFunction <