Betty H.C. Cheng and Pete Sawyer and Nelly Bencomo and Jon Whittle
May, 2009
Dynamically adaptive systems (DASs) are intended to mon- itor the execution environment and then dynamically adapt their behav- ior in response to changing environmental conditions. The uncertainty of the execution environment is a ma jor motivation for dynamic adap- tation; it is impossible to know at development time all of the possible combinations of environmental conditions that will be encountered. To date, the work performed in requirements engineering for a DAS includes requirements monitoring and reasoning about the correctness of adap- tations, where the DAS requirements are assumed to exist. This paper introduces a goal-based modeling approach to develop the requirements for a DAS, while explicitly factoring uncertainty into the process and resulting requirements. We introduce a variation of threat modeling to identify sources of uncertainty and demonstrate how the RELAX specifi- cation language can be used to specify more flexible requirements within a goal model to handle the uncertainty.
You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format.