Autonomy requirements engineering

Contemporary robotics relies on the most recent advances in automation and robotic technologies to promote autonomy and autonomic computing principles to robotized systems. However, it appears that the design and implementation of autonomous systems is an extremely challenging task. The problem is stemming from the very nature of such systems where features like environment monitoring and self-monitoring allow for awareness capabilities driving the system behavior. Moreover, changes in the operational environment may trigger self-adaptation. The first and one of the biggest challenges in the design and implementation of such systems is how to handle requirements specifically related to the autonomy of a system. Requirements engineering for autonomous systems appears to be a wide open research area with only a limited number of approaches yet considered. In this paper, we present an approach to Autonomy Requirements Engineering where goals models are merged with special generic autonomy requirements. The approach helps us identify and record the autonomy requirements of a system in the form of special self-∗ objectives and other assistive requirements, those capturing alternative objectives the system may pursue in the presence of factors threatening the achievement of the initial system goals. The paper presents a case study where autonomy requirements engineering is applied to the domain of space missions.

• Publication year

  2013

• Venue

  IEEE International Conference on Information Reuse and Integration

• Publication date

  2013-07-10

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/2494444.2494472
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On the autonomy requirements for space missions

  2013influential reference
• Knowledge Representation for Cognitive Robotic Systems

  2012cited by this paper
• BepiColombo: Overview and latest updates

  2012cited by this paper
• The Challenge of Developing Autonomic Systems

  2010influential reference
• ASSL: A Software Engineering Approach to Autonomic Computing

  2009cited by this paper
• European Planetary Science Congress 2006

  2008cited by this paper
• Current status of the BepiColombo/MMO spacecraft design

  2002cited by this paper
• A quantitative risk model for early lifecycle decision making

  2002cited by this paper
• The BepiColombo ESA cornerstone mission to Mercury

  2002cited by this paper
• Stochastic Processes (i): Poisson Processes and Markov Chains

  2001cited by this paper
• Applying WinWin to quality requirements: a case study

  2001cited by this paper
• Handling Obstacles in Goal-Oriented Requirements Engineering

  2000cited by this paper
• Requirements engineering in the year 00: a research perspective

  2000influential reference
• BepiColombo – A Multidisciplinary Mission to a Hot Planet

  2000cited by this paper
• Experience with performing architecture tradeoff analysis

  1999cited by this paper
• The principled design of computer system safety analyses

  1999cited by this paper
• From object-oriented to goal-oriented requirements analysis

  1999cited by this paper
• Requirements Elicitation and Validation with Real World Scenes

  1998cited by this paper
• Managing Conflicts in Goal-Driven Requirements Engineering

  1998cited by this paper
• Guiding Goal Modeling Using Scenarios

  1998cited by this paper
• The use of goals to surface requirements for evolving systems

  1998cited by this paper
• Safeware: System Safety and Computers

  1995cited by this paper
• Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt

  1995cited by this paper
• A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification

  1994cited by this paper
• Dealing with performance requirements during the development of information systems

  1993cited by this paper
• Goal-Directed Requirements Acquisition

  1993cited by this paper
• Space Mission Analysis and Design

  1992cited by this paper
• A Guide To Task Analysis: The Task Analysis Working Group

  1992cited by this paper
• Integrating multiple specifications using domain goals

  1989cited by this paper
• Structured Analysis for Requirements Definition

  1977cited by this paper
• : ACTION

  year unknowncited by this paper

• Transforming Robots into Cobots: A Sustainable Approach to Industrial Automation

  2025cites this paper
• Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System

  2023cites this paper
• Requirements Engineering for Artificial Intelligence Systems: A Systematic Mapping Study

  2022cites this paper
• Systematic Literature Review of Validation Methods for AI Systems

  2021influential citation
• A Black Box Approach to Inferring, Characterizing, and Breaking Native Device Tracking Autonomy

  2020cites this paper
• Open BOK on Software Engineering Educational Context: A Systematic Literature Review

  2020cites this paper
• READINESS ASSESSMENT OF ENGINEERING PRACTICES FOR DESIGNING AUTONOMOUS INDUSTRIAL MOBILE MACHINERY

  2019cites this paper
• Context-Driven Autonomy for Enhanced System Resilience in Emergent Operating Environments

  2019cites this paper
• Requirements Engineering for Adaptive and Self-Adaptive Systems

  2018cites this paper
• Adaptation to the Unforeseen: Can We Trust Autonomous and Adaptive Systems? - (Position Paper)

  2017cites this paper
• Requirements Engineering for Robotic System: A Systematic Mapping Study

  2017cites this paper
• Goal model analysis of autonomy requirements for Unmanned Aircraft Systems

  2017influential citation
• Autonomy requirements engineering for micro-satellite systems: CubeSat case study

  2017cites this paper
• Nature-inspired computation and communication: A formal approach

  2016cites this paper
• Safe Artificial Intelligence and Formal Methods - (Position Paper)

  2016cites this paper
• Integration and Promotion of Autonomy with the ARE Framework

  2016cites this paper
• Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach

  2016cites this paper
• Definition and use of software requirement patterns in requirements engineering

  2016cites this paper
• Integration and promotion of autonomy with the ARE framework

  2016cites this paper
• The Capture and Evolution of Contextual Requirements: The Case of Adaptive Systems

  2015cites this paper
• Formal Requirements of a Simple Turbofan Using the SpeAR Framework

  2015cites this paper
• Can icons enhance requirements engineering work?

  2015cites this paper
• Engineering Requirements for Autonomy Features

  2015cites this paper
• The Invariant Refinement Method

  2015influential citation
• The ASCENS Case Studies: Results and Common Aspects

  2015cites this paper
• Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang

  2015cites this paper
• Advance strategies to understand the SLA‟s (Service Level Agreement) with specific Issues on Requirement Gathering

  2014cites this paper
• Formalizing eMobility with KnowLang

  2014influential citation
• Software Specification and Automatic Code Generation to Realize Homeostatic Adaptation in Unmanned Spacecraft

  2014cites this paper
• Modeling Swarm Robotics with KnowLang

  2014cites this paper
• Artificial homeostasis for vehicle control architecture of unmanned spacecraft

  2014cites this paper
• Autonomic control architecture for avionics software of unmanned space vehicles

  2014cites this paper
• Formalizing Self-adaptive Clouds with KnowLang

  2014cites this paper
• Software traceability: trends and future directions

  2014cites this paper