Information technology for availability assessmnet of i&c systems using markov chains and software selection

В статье представлена структура информационной технологии оценивания надежности информационно-управляющих систем важных для безопасности, описывающая внедрение этапа метрического оценивания марковской модели исследуемой системы в целях выбора эффективного метода ее решения, а также инструментального средства.В статті запропонована функціональна модель інформаційної технології оцінювання готовності інформаційнокеруючих систем важливих для безпеки, що описує впровадження етапу метричного оцінювання марковської моделі досліджуваної системи з метою вибору ефективного методу її розв’язання, а також інструментального засобу.The paper presents functional model of information technology for availability assessment of safety-critical instrumentation and control systems. The information technology shows the process of I&Cs availability assessment using Markov-chains with implementation of metric-based analysis of the system model. The result of such analysis aims to eliminate the non-effective techniques, method and tools for model solution