Analyzing Software Requirements for Cyber Physical Systems

Chun LIU,Ran-Ran HUANG,Wei ZHANG,Hai-Yan ZHAO,Zhi JIN

DOI: https://doi.org/10.11897/SP.J.1016.2016.02344

2016-01-01

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.