Abstract:In the contemporary age of cyber-physical systems (CPS), where software governs the control, coordination, and management of physical objects to tackle real-world problems, engineering requirements for such systems present considerable challenges. Consequently, it is not surprising that the requirements engineering (RE) community, encompassing both academia and industry, has turned to established RE methodologies and applied them within the context of CPS; notably, Jackson's Problem Frames (PF) approach deploys problem diagrams for modeling CPS. However, problem diagrams of realistic CPS often present visual and conceptual complexities, which must be addressed before PF can be usefully applied in practice. In this paper, the above problem is addressed in two steps: firstly, preliminary findings are presented by deriving from the application of eye-tracking software in the assessment of a technique designed to mitigate the visual complexity inherent in the CARE (Computer-Aided Requirements Engineering) tool developed for PF. An auto-layout technique is developed for detecting and resolving overlaps, aimed at enhancing its usability from the perspectives of cognition, psychology, and user studies; secondly, the technique of a complexity matrix is applied for calculating and evaluating the conceptual complexity inherent in problem diagrams. Our eye-tracking results show the successful implementation of overlap detection and resolution. The case studies in the second step also demonstrate the applicability and effectiveness of the complexity matrix calculations.

Modelling Requirements Patterns with a Goal and PF Integrated Analysis Approach

PLANT: A Pattern Language for Transforming Scenarios into Requirements Models.

Requirements Analyses Integrating Goals and Problem Analysis Techniques

Deriving Problem Frames from Business Process and Object Analysis Models

Integrating Goals and Problem Frames in Requirements Analysis

An Approach to Integrating Non-functional Requirements into UML Design Models Based on NFR-Specific Patterns

Tackling visual and conceptual complexity of problem-oriented modeling of requirements

Problem Frames Construction From Feature Models

From I* to an Integrated Requirements Knowledge Representation, to Requirements for Services.

Analyzing Early Requirements of Cyber-physical Systems Through Structure and Goal Modeling

Extending the Problem Frames Approach for Capturing Non-functional Requirements

Integrating Goal Models and Problem Frames for Requirements Analysis of Self-adaptive CPS

An Approach for Selecting Implementation Strategies of Non-Functional Requirements

A Scenario-Based Approach for Requirements Management in Engineering Design

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.

Performance Analysis of Reusable Components with Hybrid Modelling of Strategies and Processes: A Real World Case Study

A new method of requirements engineering process design

A Viewpoints Modeling Framework Based On Epistemic Logic

A Feature-Oriented Approach to Modeling Requirements Dependencies

Formalizing the Use of UML in Require- Ment Analysis

Towards Automatic Problem Decomposition