24. On the Analysis of Cyber Physical Systems

CPS uses recent computing, communication, and control methods to monitor and control geographically dispersed field sites in order provide and maintain a high level of confidence about their operation and, hence, plays an important role in several sustainable systems and has extraordinary significance for the future of several industrial domains. The complexity of these systems requires that adequate attention is paid to their design process, since any failure in detecting errors in safety critical systems can lead to catastrophic situations. This work shows how different methods can be used for the analysis of CPS at different levels of abstraction. The method is demonstrated on an industrial case study of a four-tank process that illustrates several challenging features in the design and implementation of CPS.