Real-time Sociotechnical Systems: Early Software Reliability Evaluation

Abstract

EN: The article proposes a method for evaluation the software reliability of a computer-based process control in real time system at the early stages of design. Models for the description of automated objects, functioning processes and tasks to be solved are proposed. The concept of a transaction is introduced, a method for evaluation the probability of its smooth operation and availability. For the entire system, the average availability factor is calculated, and the average losses due to program failures during transaction processing. The proposed approach makes it possible to evaluate the possibilities of reserving transactions in real time. The proposed models and method are implemented in the socio-technical real-time systems conceptual design framework CoDeCS.

UK: У статті запропоновано метод оцінки програмної надійності комп'ютерних систем управління реального часу на ранніх стадіях проектування. Запропоновано моделі для опису автоматизованих об'єктів, функціонуючих процесів та завдань, що вирішуються. Введено поняття транзакції, метод оцінки ймовірності її безперебійної роботи та доступності. Для всієї системи розраховується середній коефіцієнт доступності та середні втрати через збої програми під час обробки транзакції. Запропонований підхід дає можливість оцінити можливості резервування операцій у режимі реального часу. Запропоновані моделі та метод реалізовані в соціально-технічних системах концептуального проектування систем реального часу CoDeCS.

RU: В статье предлагается метод оценки надежности программного обеспечения компьютерных систем управления реального времени на ранних этапах проектирования. Предложены модели описания автоматизированных объектов, процессов функционирования и решаемых задач. Вводится понятие транзакции, метод оценки вероятности ее бесперебойной работы и доступности. Для всей системы рассчитывается средний коэффициент доступности и средние потери из-за программных сбоев во время обработки транзакции. Предлагаемый подход позволяет оценивать возможности резервирования транзакций в режиме реального времени. Предложенные модели и метод реализованы в рамках концептуального проектирования социотехнических систем реального времени CoDeCS.