Validating code-level behavior of dynamic adaptive systems in the face of uncertainty

EM Fredericks, AJ Ramirez, BHC Cheng - Search Based Software …, 2013 - Springer
Search Based Software Engineering: 5th International Symposium, SSBSE 2013, St …, 2013Springer
A dynamically adaptive system (DAS) self-reconfigures at run time in order to handle
adverse combinations of system and environmental conditions. Techniques are needed to
make DASs more resilient to system and environmental uncertainty. Furthermore, automated
support to validate that a DAS provides acceptable behavior even through reconfigurations
are essential to address assurance concerns. This paper introduces F enrir, an evolutionary
computation-based approach to address these challenges. By explicitly searching for …
Abstract
A dynamically adaptive system (DAS) self-reconfigures at run time in order to handle adverse combinations of system and environmental conditions. Techniques are needed to make DASs more resilient to system and environmental uncertainty. Furthermore, automated support to validate that a DAS provides acceptable behavior even through reconfigurations are essential to address assurance concerns. This paper introduces Fenrir, an evolutionary computation-based approach to address these challenges. By explicitly searching for diverse and interesting operational contexts and examining the resulting execution traces generated by a DAS as it reconfigures in response to adverse conditions, Fenrir can discover undesirable behaviors triggered by unexpected environmental conditions at design time, which can be used to revise the system appropriately. We illustrate Fenrir by applying it to a dynamically adaptive remote data mirroring network that must efficiently diffuse data even in the face of adverse network conditions.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果

Google学术搜索按钮

example.edu/paper.pdf
搜索
获取 PDF 文件
引用
References