Abstract:Context: Over the last decade, software researchers and engineers have developed a vast body of methodologies and technologies in requirements engineering for self-adaptive systems. Although existing studies have explored various aspects of this field, no systematic study has been performed on summarizing modeling methods and corresponding requirements activities. Objective: This study summarizes the state-of-the-art research trends, details the modeling methods and corresponding requirements activities, identifies relevant quality attributes and application domains and assesses the quality of each study. Method: We perform a systematic literature review underpinned by a rigorously established and reviewed protocol. To ensure the quality of the study, we choose 21 highly regarded publication venues and 8 popular digital libraries. In addition, we apply text mining to derive search strings and use Kappa coefficient to mitigate disagreements of researchers. Results: We selected 109 papers during the period of 2003-2013 and presented the research distributions over various kinds of factors. We extracted 29 modeling methods which are classified into 8 categories and identified 14 requirements activities which are classified into 4 requirements timelines. We captured 8 concerned software quality attributes based on the ISO 9126 standard and 12 application domains. Conclusion: The frequency of application of modeling methods varies greatly. Enterprise models were more widely used while behavior models were more rigorously evaluated. Requirements-driven runtime adaptation was the most frequently studied requirements activity. Activities at runtime were conveyed with more details. Finally, we draw other conclusions by discussing how well modeling dimensions were considered in these modeling methods and how well assurance dimensions were conveyed in requirements activities.

An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study

A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems

Verification Framework for UML-Based Design of Embedded Systems.

Research on real-time FSM modeling for microfabrication NC system

Reusable formal models for concurrency and communication in custom real-time operating systems

Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach.

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

Goal-oriented requirements modelling for running systems

Research on Real-Time Testing Modeling Based on Rtcm Approach

Model-based requirements specification of real-time systems with UML, SysML and MARTE

Simulation of Dynamically Structured Systems in a Model-Based System Engineering Approach Applied to Reconfigurable Hardware

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features

Checking component-based embedded software designs for scenario-based timing specifications

Bridging the gap between requirements and aspect state machines to support non-functional testing: industrial case studies

Modeling Mechatronic System Architecture By Sysml Extension

Review on Requirements Modeling and Analysis for Self-Adaptive Systems: A Ten-Year Perspective

Modeling Timing Requirements in Problem Frames Using CCSL

Modelling and analysis of power consumption for component-based embedded software

A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems

Research on the Application of Embedded Real-time Software in Computer Software Design