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.

From user requirements to software specifications: An approach based on problem transformation

Deriving Problem Frames from Business Process and Object Analysis Models

From Stakeholder Requirements To Formal Specifications Through Refinement

A methodology for high-level software specification construction.

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

Towards Automatic Problem Decomposition

From Requirements Specification to Software Architecture-A Case Study

Study on Functional Specification Scheme on Interface Based on Positioning Features

A problem-driven collaborative approach to eliciting requirements of internetwares

On the Generation of DisCo Specifications from Functional Requirements

Nine Steps to Shorten the Distance between Requirement Theory and Practice

An Approach for Capturing Software Requirements from Interactive Scenarios

From Requirements to Software Architecture: A Feature-Oriented Mapping Approach

Desiree - a Refinement Calculus for Requirements Engineering

Requirements Analyses Integrating Goals and Problem Analysis Techniques

Using UML for Specification and Refinement of Software Architectures

A Simplified Systematic Method of Acquiring Design Specifications from Customer Requirements

Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing

Analyzing Software Requirements for Cyber Physical Systems

Extracting Software Functional Requirements from Free Text Documents

Modeling and analysis of non-functional requirements as aspects in a UML based architecture design