Search
Now showing items 1-9 of 9
GAP- and HTT-based analysis of safety-critical systems
(ХАІ, 2012)
The paper discusses importance of assessment of interference degree for various attributes of safety-critical
systems, as well as proposes applicable metrics. Also, the paper presents an approach to analysis of ...
Vulnerability analysis of wireless networks: case for smart building automation system
(ХАІ, 2015)
The given paper shows the analysis of wireless network security and availability, and helps to develop safe and effective system usable for future design. Smart building automation system is one of work areas of embedded ...
Assurance Case driven design for software and hardware description language based systems
(ХАІ, 2016)
The Claim-Argument-Evidence (CAE) approach is one from the worldly recognized technique directed to find
gaps in safety-related Instrumentation and Control systems design and implementation and after that to justify
meeting ...
Using automated battery replacement stations for the persistent operation of UAV-enabled wireless networks during NPP post-accident monitoring
(ХАІ, 2019)
The subject matter of the paper is the process of ensuring the persistent operation of UEWN. This paper aims to propose an approach to en-suring the persistent operation of UEWN during NPP post-accident monitoring missions ...
Metric-based analysis of markov models for computer system availability assessment
(ХАІ, 2013)
Markov and semi-Markov models are widely used to analyse the reliability of complex computer-based systems.
Dealing with the different model features is a serious problem, which leads to computational difficulties
and ...
Ata-based security assessment of smart building automation systems
(ХАІ, 2016)
The information and control system of smart building is considered as a set of subsystems including building automation system (BAS).
Smart home for older people: review of ARDUINO based system
(ХАІ, 2016)
In the presented application, number of sensors with Arduino microcontroller are used to build a simple smart home. Although the presented application is a simple example of how smart homes can be used, it has the potential ...
Scheduling UAV fleets for the persistent operation of UAV-enabled wireless networks during NPP monitoring
(ХАІ, 2020)
The aim of this paper is to develop a queuing theory based approach to scheduling MUAVs for persistent operation of a UEWN during NPP monitoring.
Grid safety analysis based on linguistic bayesian belief network
(ХАІ, 2012)
The state of power grid is determined by states of its systems, conditioned by their mutual influence of different
nature. These influences cause the change of state of each system during grid life cycle. The proposed ...