This chapter outlines an approach to Autonomy Requirements Engineering (ARE). ARE targets the integration and promotion of autonomy in software-intensive systems by providing a mechanism and methodology for elicitation and expression of autonomy requirements. ARE relies on
goal-oriented requirements engineering
to elicit and define system goals, and uses the
generic autonomy requirements
model to derive and define assistive and, eventually, alternative objectives. The system may pursue these “
” in the presence of factors threatening the achievement of the initial system goals. Once identified, the autonomy requirements are specified with the KnowLang language. To demonstrate the ARE’s ability to handle autonomy requirements for autonomic ensembles, the ARE’s application to the ASCENS Science Clouds case study is presented and discussed in detail.