A comparative analysis of existing approaches to cyber-physical systems simulation has been conducted. The intrinsic peculiarities of cyber-physical systems have been reasoned and generalized. The limitations of available simulation tools have been pointed out. The approach to cyber-physical systems design solutions checking on the basis of timed automata, UPPAAL integrated tool environment and temporal logic of actions usage has been proposed. The proposed approach is supposed to be applied at designing stage - to prevent the potential time and computational expenses on overcomplicated or faulty formal models checking. A case study on electric power delivery system usage scenario has been conducted.A comparative analysis of existing approaches to cyber-physical systems simulation has been conducted. The intrinsic peculiarities of cyber-physical systems have been reasoned and generalized. The limitations of available simulation tools have been pointed out. The approach to cyber-physical systems design solutions checking on the basis of timed automata, UPPAAL integrated tool environment and temporal logic of actions usage has been proposed. The proposed approach is supposed to be applied at designing stage - to prevent the potential time and computational expenses on overcomplicated or faulty formal models checking. A case study on electric power delivery system usage scenario has been conducted.

  Повний текст PDF - 181.095 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"