Cyber-Physical Systems (CPSs) represent a new generation of smart systems that orchestrates physical elements with computation. This new class of system is intelligent and connected and is changing the way people deal with engineered systems, just as the Internet transformed the way people interact with information. Although several works have been proposed to support the design and development of CPSs, dependability evaluation of these systems have been investigated little. Dependability assessment (eg, reliability and availability) of cyber-physical systems is of great importance as, very often, they are deployed in safety or business-critical contexts. This paper presents a strategy based on Stochastic Petri Nets (SPNs) for dependability modeling, evaluation, and tuning of smart CPSs. The tuning is carried out through sensitivity analysis on the SPN models to efficiently identify the system components that most impact on the system's overall availability. The feasibility of our approach is demonstrated by evaluating a smart CPS deployed in a water treatment plant. Experimental results revealed that the proposed strategy helps highlight which components require attention when attempting to achieve high availability, and by adding redundancy to these components, the downtime of adopted CPS was reduced drastically from half a day to only 8 minutes.
KEYWORDScyber-physical systems, dependability, SPNs, water treatment plant
INTRODUCTIONJust as the Internet changed the way people deal with information, Cyber-Physical Systems (CPSs) are transforming the way people interact with engineered systems. These systems combine cyber elements (eg, sensing, actuating, cloud, and networking) with physical elements (like humans, infrastructure, and physical objects) towards a set of common goals. 1,2 CPSs are found in critical infrastructures like transportation networks, nuclear power generation, smart grid, medical devices, water distribution networks, and others. These systems include smart network that sense and interact with the physical world and support real-time, dependable, and efficient operations.System dependability is a fundamental property to be evaluated in CPSs. A dependable CPS ensures that a system functions correctly even in situations in which the system components have failed, either temporarily or permanently. 3 Besides, most of these CPS are mission-critical systems, so that their availability, reliability, and correct operation are essential. An unreliable system often leads to disruption of service, financial cost, and even loss of human life. Therefore, efficient and accurate assessment of these mission-critical CPSs is fundamental to guarantee business operation and to avoid social and economical risks.Several works have been proposed in the literature for supporting the design and development of CPSs. 4-6 However, to the best of our knowledge, no systematic approach has been developed to model, evaluate, and tune the dependability characteristics of these systems. Faza et al 7 performed reliability ev...