Теоретической основой программного средства ПК АРБИТР является общий логико-вероятностный метод (ОЛВМ) анализа структурно-сложных объектов и процессов различных видов, классов и назначения. Возможности ОЛВМ, реализованные в ПК АРБИТР, определяются следующими положениями:
- Для структурного и логического описания исследуемых свойств надежности (безотказности) и безопасности (технического риска) ОЛВМ использует графический аппарат схем функциональной целостности (СФЦ), позволяющий на основе функционально полного набора логических операций «И», «ИЛИ», «НЕ» корректно представлять практически все виды структурного моделирования — блок-схемы, деревья отказов и деревья событий.
- Полный набор логических операций «И», «ИЛИ», «НЕ» позволяет проводить анализ как монотонных (когерентных), так и немонотонных (некогерентных) структурных моделей надежности, живучести и безопасности сложных систем и процессов различного назначения.
- Логическая универсальность ОЛВМ и аппарата СФЦ предоставляют пользователю ПК АРБИТР возможность строить как структурные модели безотказности (безаварийности) исследуемого объекта, так и структурные модели отказа (аварии) системы. Причем в обоих формах структурного описания системы обеспечивается одинаковая точность автоматического построения как минимальных сечений отказов (МСО), так и кратчайших путей успешного функционирования системы (КПУФ).
- На вероятностном уровне ОЛВМ позволяет использовать не только гипотезу о независимости бинарных событий, но и корректно учитывать группы несовместных событий, а также реализовывать различные модели отказов по общим причинам (ООП).