Integration and promotion of autonomy with the ARE framework

Emil Vassev, Mike Hinchey

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The integration and promotion of autonomy in softwareintensive systems is an extremely challenging task. Among the many challenges the engineers must overcome are those related to the elicitation and expression of autonomy requirements. Striving to solve this problem, Lero the Irish Software Engineering Research Center has developed an Autonomy Requirements Engineering (ARE) approach within the mandate of a joint project with ESA, the European Space Agency. The approach is intended to help system engineers tackle the integration and promotion of autonomy in software-intensive systems, e.g., spaceexploration robots. To handle autonomy requirements, ARE provides a requirements engineering baseline where despite their principle differences in application domain and functionality all autonomous and self-adaptive systems are expected to extend upstream the regular software-intensive systems with special self-managing objectives (self-* objectives). Basically, the self-* objectives provide the system’s ability to automatically discover, diagnose, and cope with various problems. ARE emphasizes this ability as being driven by the system’s degree of autonomicity, quality and quantity of knowledge, awareness and monitoring capabilities, and quality attributes such as adaptability, dynamicity, robustness, resilience, and mobility. As part of its successful validation, ARE was applied to capture the autonomy requirements for the ESA’s BepiColombo unmanned space exploration mission.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publicationFoundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer Verlag
Pages689-703
Number of pages15
ISBN (Print)9783319471655
DOIs
Publication statusPublished - 2016
Event7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Imperial, Corfu, Greece
Duration: 10 Oct 201614 Oct 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9952 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
Country/TerritoryGreece
CityImperial, Corfu
Period10/10/1614/10/16

Fingerprint

Dive into the research topics of 'Integration and promotion of autonomy with the ARE framework'. Together they form a unique fingerprint.

Cite this