Engineering Requirements for Autonomy Features

Vassev, Emil; Hinchey, Mike

doi:10.1007/978-3-319-16310-9_11

Cited by 11 publications

(5 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Autonomous Requirements Engineering [67] (ARE) is a goal-oriented method for systematically eliciting so-called autonomy requirements. These are the self*-objectives of the system which are derived by applying a model for generic autonomy requirements to any system goal and its environmental constraints.…”

Section: Goal-oriented Methodsmentioning

confidence: 99%

“…These are the self*-objectives of the system which are derived by applying a model for generic autonomy requirements to any system goal and its environmental constraints. The ARE method was applied to unmanned space missions [68] as well as to ensembles such as a peer-to-peer cloud [67].…”

Section: Goal-oriented Methodsmentioning

confidence: 99%

“…The invariant refinement method IRM [19] supports the transition from early high-level requirements-specified, e.g. in SOTA and ARE, see [4,67]-to software architecture. IRM captures goals and requirements as invariants that describe desired system states over time.…”

Section: Goal-oriented Methodsmentioning

confidence: 99%

See 2 more Smart Citations

Rigorous engineering of collective adaptive systems: special section

Nicola

Jähnichen

Wirsing

2020

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collaborating entities. Rigorous engineering requires appropriate methods and tools that help guaranteeing that an adaptive system lives up to its intended purpose. This paper introduces the special section on "Rigorous Engineering of Collective Adaptive Systems." It presents the seven contributions of the section and gives a short overview of the field of rigorously engineering collective adaptive systems by structuring it according to three topics: systematic development, methods and theories for modelling and analysis, and techniques for programming and operating collective adaptive systems.

show abstract

Section: Goal-oriented Methodsmentioning

confidence: 99%

Section: Goal-oriented Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Rigorous engineering of collective adaptive systems: special section

Nicola

Jähnichen

Wirsing

2020

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

show abstract

“…However, similar to classical goal oriented approaches, ARE focuses on the requirements phase and not on the mapping between requirements and architecture. ARE is discussed in detail in Chapter III.3 [22] of this volume.…”

Section: The Need For a Tailored Design Methods For Acesmentioning

confidence: 99%

The Invariant Refinement Method

Bureš

Gerostathopoulos

Hnětynka

et al. 2015

Software Engineering for Collective Autonomic Systems

View full text Add to dashboard Cite

Abstract. The chapter describes IRM, a method that guides the design of smart-cyber physical systems that are built according to the autonomic service-component paradigm. IRM is a requirements-oriented design method that focuses on distributed collaboration. It relies on the invariant concept to model both high-level system goals and low-level software obligations. In IRM, high-level invariants are iteratively decomposed into more specific sub-invariants up to the level that they can be operationalized by autonomous components and component collaborations (ensembles). We present the main concepts behind the method, as well the main decomposition patterns that back up the design process, and illustrate them in the ASCENS e-mobility case study.

show abstract

“…They used RELAX [4] to specify non-functional requirements and the GORE (Goal-Oriented Requirements Engineering) notions to elicit and model the requirements of self-adaptive systems. Hinchey and Vassev [16] proposed an approach for ARE (Autonomy Requirements Engineering). This approach, based on GORE and GAR (Generic Autonomy Requirements), has the objective for eliciting, specific autonomy requirements, and defines assistive and possible alternative objectives for self-adaptive systems.…”

Section: Related Workmentioning

confidence: 99%

Temporal Pattern Specifications for Self-Adaptive Requirements

Yahiaoui

Bendjenna

Roose³

et al. 2019

CSENG

View full text Add to dashboard Cite

Background: Systems whose requirements change at a rate that necessitates adaptation without human intervention are called self-adaptive systems, and they have the ability to adjust their behavior autonomously at run-time in response to their environment’s evolution. Samples of applications that require self-adaptation include Smart home systems and environmental monitoring. However, self-adaptivity is often constructed in an ad-hoc manner. Methods: In this paper, the authors present a pattern-based specification language for self-adaptive systems. Its semantics are presented in terms of fuzzy logic. Thus, enabling a meticulous processing of requirements, in order to permit the formulation of self-adaptive requirements accurately, thereby facilitates the design of systems that are flexible and responsive to adaptation in a systematic manner. Results: To show the applicability and effectiveness of our language, the authors apply it to two case studies. One case study reviews the Smart fridge in ambient assisted living and the second case study is focused on an ambulance dispatching system using a developed support tool.

show abstract

Engineering Requirements for Autonomy Features

Cited by 11 publications

References 30 publications

Rigorous engineering of collective adaptive systems: special section

Rigorous engineering of collective adaptive systems: special section

The Invariant Refinement Method

Temporal Pattern Specifications for Self-Adaptive Requirements

Contact Info

Product

Resources

About