Міжнародні видання

Permanent URI for this collection

https://dspace.pdau.edu.ua/handle/123456789/43

Browse

Browsing Міжнародні видання by Author "Brezhnev, E."

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Monte-Carlo simulation and availability assessment of the smart building automation systems considering component failures and attacks on vulnerabilities
    (Springer Verlag, 2019) Kharchenko, V.; Ponochovnyi, Y. L.; Boyarchuk, A.; Brezhnev, E.; Andrashov, A.; Поночовний, Юрій Леонідович
    The information and control system of smart building is considered as a set of subsystems including a building automation system (BAS) which has three-level structure (automation/control, communication, data base, cloud/management). BAS security and availability during its life cycle are assessed using the Markov models and Monte-Carlo simulation. Markov model is used to calculate BAS availability considering the possibility of recovery and different kinds of the faults. The Monte-Carlo simulation is applied to investigate any flow of intrusions into the BAS by analyzing system availability of a fault/vulnerability to occur during time depending on failure rate of its subsystems. The results of analytical and simulation modeling are compared to assure trustworthiness of availability assessment taking into account attacks on vulnerabilities
  • Thumbnail Image
    Item
    Resilience assurance for software-based space systems with online patching: Two cases
    (Springer Verlag, 2016) Kharchenko, V.; Ponochovnyi, Y. L.; Boyarchuk, A.; Brezhnev, E.; Поночовний, Юрій Леонідович
    The paper discusses the problems of resilient software engineering for unmanned software-based space systems. Resilience is achieved by online patching of software upon emergence of defects providing a stable link to the ground control center. Based on the specifics of satellite orbits it offers two case models: a multifragment one—for systems with a continuous link from geostationary orbits; a multiphase one—for recurrent link from elliptic orbits. The results of the modeling offer the possibility to plan the values of the software initial failure rate and the period of preventive tests that would ensure required reliability and availability.