Abstract:The integration of computing process with physical process makes the software requirements analysis for Cyber-Physical Systems (CPS)a challenging task.First,software requirements need to be derived from the desired changes of physical entities and the properties of such physical entities.Second,analysts can’t treat the software as a whole and describe its external behaviors. Instead,they need to analyze the software entities and physical entities composing CPS and capture the properties of each physical entity and desired behaviors of each software entity.Finally,a unified way is required to describe the properties of physical entities and the behaviors of software entities to help validate the satisfaction of user’requirements.Based on problem frame and goal oriented approaches,this paper proposes an approach to address this task.It describes the properties of physical entities and the behaviors on software entities in CPS as the causal relations between <br> phenomena.Starting from the physical phenomena desired by users,it then follows the goal based analysis process,transforms the software requirements analysis into building the phenomena causal chains required to meet users’requirements,and finally validates the satisfactions of users’requirements by checking whether the desired phenomena in the causal chains can be reached through describing the causal chains with Alloy.An adaptive cruise control system has been taken as an example to show the feasibility.

An Approach to Requirement Analysis for Periodic Control Systems

Experience of Collaborative Requirement Management in Dual-Shore Software Maintenance Projects

Requirement Consistency and Integrity Verification Method based on Natural Language Processing

Automatic Early Defects Detection in Use Case Documents

Nine Steps to Shorten the Distance between Requirement Theory and Practice

Practical Application of Requirements Engineering Management in Aerospace Ground Software

Analyzing Software Requirements for Cyber Physical Systems

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

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

Requirements Analyses Integrating Goals and Problem Analysis Techniques

Chinese Requirements Analysis Based on Class Diagram Semantics

A Switching Periodic Adaptive Control Approach for Time-Varying Parameters with Unknown Periodicity

A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems

Autonomous requirements specification processing using natural language processing

Impact Analysis of using Natural Language Processing and Large Language Model on Automated Correction of Systems Engineering Requirements

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain

Towards Controllable Requirements Engineering Processes Based on Cybernetics

A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems

A Concern-Based Approach to Generating Formal Requirements Specifications.

AutoReq: expressing and verifying requirements for control systems

Automatically Multi-Paradigm Requirements Modeling and Analyzing: an Ontology-Based Approach.