Advances In Cyber-Physical Systems

Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/33988

Browse

Has files: YesSubject: search.filters.subject.Cyber-Physical System

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    On the approaches to cyber-physical systems simulation
    (Lviv Politechnic Publishing House, 2018-02-01) Shkarupylo, Vadym; Kudermetov, Ravil; Polska, Olga; Zaporizhzhia National Technical University
    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.
  • Thumbnail Image
    Item
    Сomputer devices automatic synthesis as a service for FPGA-Based smart-sensors of cyber-physical systems
    (Publishing House of Lviv Polytechnic National University, 2016) Melnyk, Viktor; Lopit, Ivan; Kit, Andrii; Lviv Polytechnic National University
    Present paper is dedicated to the problems of studying and developing the theoretical and methodological framework, algorithmic base and corresponding software means to organize and realize the automatic synthesis of computer devices in the reconfigurable hardware platforms of the smart-sensors in cyber-physical systems with no human assistance. To solve this task, the following basic approaches will be used: a) a method of self-configuring of the computer system with reconfigurable logic; b) a “Software as a Service” software delivery model via a computer network; and c) an “Internet of Things” technology. The method of computer devices automatic synthesis in the reconfigurable hardware platforms of the smart sensors of the cyber-physical systems will be proposed. The clientserver protocol of information exchange between the reconfigurable hardware platforms of the cyber-physical system measuring and computing nodes will be developed for automatic creation of computer devices in them. On the basis of the above protocol, the technical requirements to realization will be formulated and the principles of design and the main algorithms of the software interface operation will be developed. The program interfaces of realizing the protocol of information exchange between the reconfigurable hardware platforms of the smart-sensors for automatic creation of computer devices will be modeled and the results of their implementation and testing will be demonstrated.