机构名称：
¥ 2.0
自主系统通常用于环境和内部变化可能导致要求违反要求的应用中。主动适应这些变化，即在违规发生之前，比从可能由这种违规行为造成的失败中恢复过来更可取。但是，积极的适应需要方法，以及时，准确且可接受的开销进行预测违反需求。为了满足这种需求，我们提出了一种方法，允许自主系统预测违反性能，依赖能力和其他非功能性要求的行为，因此采取预防措施以避免或减轻它们。我们预测这些自主系统中断（PRESTO）的方法包括一个时间阶段和运行时间阶段。在设计时间时，我们使用参数模型检查获得代数表达式，这些代数表达式，以对内部兴趣的非功能性能（例如，可靠性，响应时间和能源使用）与系统及其环境的参数之间的关系。在运行时，我们通过将零件线性回归应用于通过监视获得的线性数据来预测这些参数的未来变化，并且我们使用代数表达式来预测这些变化对系统要求的影响。我们在两个不同领域的案例研究中通过模拟证明了Presto的应用。
预测自主系统中的无功能要求违反
主要关键词
相关文件推荐
