Вісники та науково-технічні збірники, журнали

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

Browse

Subject: search.filters.subject.Cyber-Physical System

Search Results

Now showing 1 - 3 of 3
  • Thumbnail Image
    Item
    Calibration of measuring channels of non-dismantling cyber-physical systems
    (Lviv Politechnic Publishing House, 2021) Stadnyk Bohdan; Yatsuk Vasyl; Mykyichuk Mykola; Yatsyshyn Svyatoslav; Fröhlich Tomas; Mastylo Rostyslav
    The analysis of the concept of Open-Science Space is carried out. The existence of ways to achieve reproducibility and traceability of research results performed by a group of worldwide situated Cyber-physical system operators/supervisors is shown. Ways to ensure the efficient operation of Cyber-physical systems as complex technological non demountable objects with high requirements for metrological characteristics have been studied. To develop the scattered cyber physical systems, the portable stable-in-time code-controlled measures of physical quantities have been studied. They have to be metrologically confirmed in the laboratory before the delivery to the site of the measuring subsystem for its calibration.
  • 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.