1 documents found
Information × Registration Number 0218U000981, 0117U004458 , R & D reports Title Development of mathematical providing for software tool analysis of functional safety and reliability of software and hardware systems of responsible destination popup.stage_title Head Volochiy Bohdan Yuriyovych, Registration Date 06-03-2018 Organization Lviv Polytechnic National University popup.description2 The method of defining the components of structural-automatic models which is based on the reference state graph was developed. Also the method of modification of structural-automatic models for using Erlang distribution in discrete-continuous stochastic behavior models of fault-tolerant systems was developed. The method of defining the minimal cut sets which is based on the graph of states and transmissions was improved. Also the method of validation of structural-automatic models and the method of constructing the reference state graph which is based on basic events are improved. Reliability models for fault-tolerant system with version-structural redundancy for obtaining the availability function and for fault-tolerant system with majority configuration 3 out of 5 were developed. The technique of synthesis of fault-tolerant complex systems of critical application with given safety level, the technique of developing the structural-automatic models of fault-tolerant systems and the technique of using the method of modification of structural-automatic models for using Erlang distribution were developed.5481 Product Description popup.authors Ільків Анастасія Олегівна Бобало Юрій Ярославович Волочій Богдан Юрійович Волочій Сергій Богданович Змисний Михайло Михайлович Кулик Ігор Володимирович Мандзій Богдан Андрійович Мащак Андрій Володимирович Муляк Олександр Володимирович Озірковський Леонід Деонісійович Федасюк Дмитро Васильович Шкілюк Олександр Петрович Яковина Віталій Степанович popup.nrat_date 2020-04-02 Close
R & D report
Head: Volochiy Bohdan Yuriyovych. Development of mathematical providing for software tool analysis of functional safety and reliability of software and hardware systems of responsible destination. (popup.stage: ). Lviv Polytechnic National University. № 0218U000981
1 documents found

Updated: 2026-03-23