Multi-aspect modeling of situation in the functional safety control tasks of hardware and software complexes

Cover Page

Cite item

Full Text

Abstract

Functional safety is a latent characteristic of hardware and software complexes (HSC) and is objectively characterized by consumer satisfaction with the HSC behavior. The paper considers an approach to solving project management problems based on the dynamic characteristics analysis of functional safety of conflict situations in the project management system. To analyze situations that arise when managing HSC projects, it is possible to use models known as system archetypes. The information essence of situations and the foundations of multi-aspect modeling are considered. The methodological basis of the research is a combination of dynamic models of parameters that characterize functional safety and structural models, corresponding to conflict situations that arise when ensuring the required level of functional safety. Examples of multi-aspect modeling of situations where manifestations of latent defects act as events are considered. As a result of the research, the information essences of situations are determined, the conceptual foundations of multi-aspect modeling of situations that arise when managing the HSC functional safety are proposed, and the basic stages of building a system of structural and dynamic models of situations at different stages of the HSC life cycle are identified. The results obtained can be used to make decisions about the advisability of making changes to the system structure for ensuring the functional safety of hardware and software complexes..

Full Text

Введение

Возрастание роли систем обработки данных в управлении распределёнными техническими системами выдвигает на первый план обеспечение функциональной безопасности (ФБ) аппаратно-программных комплексов (АПК). Цифровая экосреда является системообразующим фактором сетецентрического управления территориально распределёнными сложными техническими системами (СТС). Базовым требованием к их информационной инфраструктуре является предоставление своевременной полной и достоверной информации, необходимой для урегулирования ситуаций, возникающих в разных частях распределённой СТС. Потребительские свойства АПК определяется качеством управления проектами создания АПК [1], относящихся к классу субъектоцентрических систем [2].

Безопасность является латентной характеристикой АПК и объективно характеризуется удовлетворённостью потребителей поведением комплекса. В настоящей работе рассматривается подход к решению задачи, связанной с управлением проектом АПК и состоящей в выявлении конфликтных ситуаций, имеющих место в системе управления проектом.

1  Подходы к обеспечению ФБ АПК

При создании АПК обеспечение безопасного их функционирования является важнейшей задачей [3, 4]. В [1, 3] отмечается необходимость развития методологических и теоретических основ дефектологии АПК как одного из направлений исследований в области системной инженерии. В [4] выделяются классы задач, связанные с обеспечением технологической и эксплуатационной безопасности. В [5, 6] отмечается необходимость совершенствования систем управления проектами создания компонент распределённых коммуникационно-вычислительных систем. В [3, 7, 8] выделяются задачи, связанные с обеспечением конфиденциальности, целостности и доступности информации в случае, когда пользователи принимают активное участие в управлении СТС. Задачи, связанные с обеспечением ФБ АПК при решении задач управления в реальном времени, обсуждаются в [9, 10].

Под ФБ АПК понимается свойство сохранять работоспособность в соответствии с целевым назначением при случайных дестабилизирующих воздействиях и отсутствии злоумышленного влияния на программную, аппаратную составляющие и базы данных [3]. Из анализа работ [11-13] можно сделать заключение о том, что ФБ определяется не выявленными (латентными) дефектами в конструкции АПК. Дефекты являются следствием ошибок, допускаемых разработчиками АПК на разных стадиях их жизненного цикла (ЖЦ). Существуют разные подходы к управлению непреднамеренно допускаемыми дефектами на разных стадиях ЖЦ, включая предпроектную стадию. Важное значение имеет природа возникновения дефектов. На начальных стадиях ЖЦ преобладают дефекты, обусловленные неопределённостью среды использования и нечёткостью целей управления. По мере перехода от начальных стадий ЖЦ к последующим акценты перемещаются в области: неверного использования руководств по разработке; технологий использования инструментальных средств; нарушения условий применимости моделей ЖЦ АПК. Используемые методы управления дефектами можно соотнести с проактивным, активным и реактивным подходами к управлению СТС.

К настоящему времени развитие получили методы, соотносимые с активным и реактивным подходами, т.е. ориентированные на выявление ошибок по результатам специально организованных испытаний и изучения исторических данных об опыте эксплуатации АПК с целью установления закономерностей в проявлениях симптомов дефектов, а также причин возникновения дефектов. Эту группу методов, можно объединить понятием - анализ коренных причин отказов [14]. Они являются адаптацией положений теории решения изобретательских задач [15] в область управления ФБ АПК, а именно методов, относящихся к диверсионному анализу [16]. К другому развиваемому в настоящее время направлению активного подхода к обеспечению ФБ АПК относятся методы, которые можно объединить понятием анализ распространения ошибок [17-19]. Суть этих методов состоит в раннем обнаружении проявлений дефектов и сбоев и парировании этих явлений. К методам, основу которых составляет проактивный подход к управлению СТС, следует отнести методы, ориентированные на сравнительный анализ альтернатив проектных решений по критериям ФБ (анализ видов и последствий отказов; анализ дерева отказов) [20-22].

В работах [23, 24] к числу критических факторов, негативно влияющих на успех реализации проектов создания АПК, относятся функциональные1 и нефункциональные требования2 к потребительским свойствам систем. Это обусловлено сложностью формирования консолидированного мнения различных целевых групп пользователей в условиях неопределённости среды использования и размытости целей функционирования СТС [2, 25-27]. В работах [26, 27] обосновывается необходимость развития подходов к выработке консолидированных решений на основе методов конвергентного управления и развития сетевых технологий согласования решений заинтересованных сторон.

2  Информационная сущность ситуаций

Информационная сущность ситуаций, связанных с обеспечением ФБ АПК, формируется на основе следующих понятий.

События - проявление взаимодействий процессов, протекающих как внутри исследуемого объекта, так и вне его. Событие объективно. Ситуация определяется местом субъекта внутри события, его озабоченностью событием. Степень озабоченности влияет на восприятие события субъектом, составляет основу для выделения симптомов ситуаций, формирования описания ситуации [2, 25]. Описание ситуации служит основанием получения ответа на вопросы: в чём содержание события и как наилучшим образом реагировать на событие сейчас? Режим понимания ситуаций – реактивный.

Шаблоны событий предназначены для выявления наиболее вероятных условий возникновения событий, которые неоднократно имели место ранее. Режим понимания – адаптивный, что определяет выбор способов наиболее эффективного реагирования на события. Составляющая, связанная с управлением ситуацией, т.е. стимулированием возникновения /предотвращением возникновения событий, в шаблонах отсутствует.

Систематическая структура предназначена для выявления «генераторов», «виновников» возникновения событий. При формировании систематических структур необходимо определить системообразующие факторы (в том числе гипотетические, ранее не наблюдавшиеся). Установление причин возникновения ситуаций есть производная от ментальных моделей исследователей, основу которых составляют представления о ценностях. Режим понимания – креативный, определяемый ментальными моделями субъектов - конструкторов систематических структур. Выявление условий возникновения ситуаций создаёт базу для влияния на них, т.е. выбора «точек приложения рычага» [28] изменения ситуаций в нужную сторону.

Расширенное видение - понимание того, что хочется получить в результате урегулирования ситуации, какие альтернативы систематических структур позволят достичь желаемого. Новые знания изменяют положение дел как за счёт инженерных решений, так и за счёт изменения ментальных моделей с учётом понимания сложности событий и ограниченности ресурсов для урегулирования ситуаций. Это соответствует генеративному режиму понимания событий.

Информационная сущность делает возможным построение разных знаковых моделей характеристик ФБ, которые создают основу для выработки обоснованных решений по урегулированию ситуаций. Одной из разновидностей структурных моделей ситуаций являются так называемые «системные архетипы» (СА) [29].

СА составляют основу решения двух классов задач: диагностических и прогностических. Основой решения диагностических задач является выбор из доступного множества СА того, который соответствует наблюдаемым симптомам ситуации. Это позволяет на качественном уровне определить основные причины сложившейся ситуации и подходы к её урегулированию. Рекомендации по урегулированию ситуаций, соответствующих разным СА, приведены в [29]. Одной из разновидностей прогностических задач является выявление по результатам анализа динамических характеристик поведения СТС конфликтных ситуаций в системе управления. Результатом решения задачи является параметрическая настройка существующей структуры системы управления либо внесение изменения в структуру. Получаемые оценки зависят от динамических характеристик поведения, учитываемых при выявлении ситуаций. Полученные результаты создают основу планирования системы мер по целенаправленному изменению структуры и параметров системы управления («выбора точки приложения рычага» [30]).

3  Концептуальная основа многоаспектного моделирования

Концептуальную основу моделирования СТС составляют следующие положения.

  • АПК есть разновидность СТС. Это даёт основание научной адаптации моделей ситуаций, возникающих при управлении СТС иной природы, в область управления ФБ АПК.
  • Признаком наличия ситуаций являются симптомы событий, которые характеризуют отклонение поведения системы от ожидаемого. Различные субъекты (аналитики, постановщики задач, проектировщики, испытатели, системные администраторы, пользователи и потребители информационных продуктов и услуг), вовлечённые в урегулирование ситуаций, в силу различия их ментальных моделей по-разному воспринимают одно и то же событие и по-разному выделяют ситуации. Последнее обстоятельство служит причиной одновременного использования разных моделей ситуаций для характеристики одного и того же события.
  • Соответствие свойств системы запросам потребителей определяется качеством управления на всех стадиях ЖЦ АПК: от обследования информационных потребностей, желаний и представлений о ценностях потребителей, до эксплуатации и модернизации АПК. Свойства АПК определяются их устройством и проявляются как внешнее поведение. Ошибки в организации управления проектом представляют наибольшую опасность для результатов проекта.
  • Особенностью СТС является наличие множества взаимодействующих контуров причинно-следственных связей параметров, определяющих поведение системы, а также задержек времени между оказываемыми на систему воздействиями и последствиями от их проявления. Особенности взаимодействия контуров изменяются во времени.

Известные рекомендации по урегулированию ситуаций на основе выделения СА носят качественный характер [29]. Недостаточное развитие получили структурные и математические модели, посредством которых можно обеспечить информационную поддержку выбора обоснованного подхода к урегулированию ситуаций. В настоящей статье методическую основу исследований составляет системное сочетание динамических моделей параметров, характеризующих ФБ, и структурных моделей, соответствующих конфликтным ситуациям, возникающим при обеспечении требуемого уровня ФБ.

4  Этапы построения моделей ситуаций

Основными этапами построения системы структурных и динамических моделей ситуаций в рамках архитектурного подхода, содержание которого представлено в стандарте IEEE 14713, являются следующие.

  • Определение подхода к исследованиям. Множественность точек зрения на события, влияющих на поведение показателей ФБ АПК, является проявлением свойства полиморфизма моделей. Точка зрения на событие предопределяет выбор существенных факторов, т.е. подходы к построению моделей и границы их применимости.
  • Временной горизонт. Наличие адекватных структурных моделей ситуаций и динамических моделей изменения поведения ситуации во времени делает возможным оценить временные горизонты, в которых целесообразно обсуждать подходы к урегулированию ситуации.
  • Определение границ описания ситуации. Этап предопределяет выделение минимально достаточного множества характеристических параметров ситуации.
  • Определение уровня детальности описания ситуации (уровня абстракции): определяется уровнем понимания содержания ситуации, также временным горизонтом, в пределах которого предполагается урегулирование ситуации. Целью построения системы моделей является обобщение частных динамических характеристик к виду СА.
  • Значимые задержки. Построение на основе анализа частных динамических характеристик СА создаёт основу для выделения значимых задержек в системе обеспечения ФБ. Задержки являются причиной нарастающего дисбаланса между свойствами разных частей системы. Своевременно выявленные временные задержки могут сыграть роль предохранительного клапана, препятствующего преобразованию дисбаланса в негативные последствия. Недостаточный учёт роли временных задержек может явиться причиной взрывного изменения свойств системы.
  • Примеры многоаспектного анализа ситуаций

В качестве событий в примерах многоаспектного анализа ситуации, связанных с обеспечением ФБ программной компоненты АПК, выступают проявления латентных дефектов, негативно влияющих на возможность получения ценных для потребителя информационных продуктов и услуг.

Пример 1. Влияние устранения латентных дефектов на показатели ФБ.

Описание задачи. Показателем ФБ является вероятность успешного завершения/отказа программы в серии прогонов. Считается, что при реализации серии сведения о проявлениях дефектов, их местоположении и характере лишь собираются. После завершения серии прогонов выполняется анализ коренных причин отказов, и в ПС вносятся изменения, улучшающие её свойства.

Требуется: построить совокупность моделей, способствующих повышению обоснованности принятия решения относительно объёмов ресурсов, необходимых для обеспечения требуемого уровня показателя ФБ.

Описанной задаче можно сопоставить структурную модель, представленную на рисунке 1.

 

Рисунок 1 - Структурная модель точки зрения на ситуацию

Figure 1 -    Structural model of the point of view on the situation

 

Здесь:

S1 – этап подготовки исходных данных, соответствующих запросам пользователей;

S2 – этап оформления информационных продуктов и сервисов и передачи их потребителям;

S3 – состояние системы, при котором с вероятностью Р дефекты проявляются;

S4 – состояние системы, при котором дефекты не проявляются с вероятностью Q =1-Р;

tпд – время подготовки данных, соответствующих запросам потребителей;

tлд – время устранения проявившихся дефектов и последующей обработки данных;

tбд – время обработки данных в случае, когда латентные дефекты не проявляются;

µ – интенсивность запросов пользователей.

Имитационный эксперимент выполнен по следующему укрупнённому алгоритму.

Шаг 1. Задаётся ограничение на время обработки запроса пользователей Тгр. Если время обработки запроса превышает это значение, считается, что произошел отказ ПС [31].

Шаг 2. Посредством датчиков случайных чисел генерируются значения времени подготовки данных tпд(i); время устранения проявившихся дефектов и последующей обработки данных tлд(i), время обработки данных в случае, когда латентные дефекты не проявляются tбд(i). Время между поступлениями заданий (на вход блока S1) генерировалось посредством датчика случайных чисел на основании µ. В качестве распределения случайных величин принимался показательный закон. Его выбор обоснован тем, что он является характеристикой простейшего потока событий [32]. При этом параметры закона принимались обратными математическим ожиданиям M[tпд],M[tлд] и M[tбд]. В ходе проведения исследований принималось, что M[tпд]< M[tлд]. Чтобы обеспечить устойчивость статистических оценок, число реализаций в серии принималось равным 1000.

Шаг 3. Выбор пути обработки данных (по ветке Р либо ветке Q) для каждой заявки, поступающей на вход блока S1, осуществлялся случайным образом. Путь, на котором дефект проявлялся, выбирался с вероятностью Р, а путь, на котором дефект не проявлялся, - с вероятностью Q. Для каждой i-й заявки генерировались tпд(i) (когда выбиралась ветка Q), либо tлд(i) (когда выбиралась ветка Р). Общее время обработки заявки Тобщ(i) определялось как сумма времён подготовки и обработки данных. При этом в качестве времени обработки данных выбиралось tлд(i) (когда выбиралась ветка Р), либо tпд(i) (когда выбиралась ветка Q). Если соблюдалось условие Тобщ(i)< Тгр, считалось, что заявка обслужена успешно. В противном случае считалось, что произошел отказ ПС.

Шаг 4. На основе массива данных о результатах испытаний серии оценивалась вероятность отказа /безотказной работы ПС.

Шаг 5. Выполнялась оценка влияния усилий на выявление и устранение латентных дефектов на показатели ФБ. Для этого вносились изменения в значения вероятности проявления латентных дефектов при прогоне ПС по правилу: Рll-k/l. Здесь l- номер серии испытаний; k - задержка времени (выражаемая количеством серий) между внесением улучшений и проявлением последствий этого.

На рисунке 2 представлены динамические характеристики интегрального показателя ФБ - вероятности отказа Pотк АПК при разных значениях временной задержки k.

 

Рисунок 2 - Динамические характеристики интегрального показателя ФБ

Figure 2 -    Dynamic characteristics of the integral indicator of functional safety

 

Полученные зависимости создают основу планирования ресурсов (затрат времени на уменьшение вероятности проявления латентных дефектов) для обеспечения требуемых значений показателя ФБ. Выделенной ситуации ставится в соответствие СА «Уравновешивание с задержкой» (рисунок 3):

Контурная модель, представленная на рисунке 3, представляет собой стабилизирующий цикл. Характеристикой состояния ПС является вероятность безотказной работы/отказа.

 

Рисунок 3 - СА «Уравновешивание с задержкой»

Figure 3 -    The system archetype of "Balancing with delay"

 

На рисунке 4 представлен демонстрационный пример изменения вероятности отказа ПС в случае, когда усилия, направленные на уменьшение вероятности проявления латентных дефектов, не предпринимаются.

 

Рисунок 4 - Демонстрационный пример изменения вероятности отказа АПК при отсутствии подхода к уменьшению вероятности проявления латентных дефектов

Figure 4 -    The probability of failure of hardware and software complexes in the absence of a systematic approach to reducing the probability of latent defects

 

Пример 2. Эффективность использования ресурсов на устранение дефектов.

Описание задачи. Обеспечение ФБ реализуется на основе реактивного и проактивного подходов. В реактивном подходе осуществляется выявление и устранение проявившихся дефектов; проактивного – создание барьеров, препятствующих возникновению дефектов. При планировании проектов следует принимать обоснованные решения по выделению ресурсов на реализацию разных видов деятельности, как в рамках реактивного, так и проактивного подходов. Одним из критериев принятия решений является анализ динамики эффективности устранения дефектов.

Объективными косвенными показателями ФБ являются латентные дефекты [33]. Объективным показателем изменения ФБ является динамика количества выявленных дефектов в результате целенаправленной деятельности по выявлению и устранению латентных дефектов [1]. В силу свойства уникальности проектов [34] и субъектоцентрического характера программных проектов, модели динамики количества выявленных дефектов целесообразно строить в классе эмпирических моделей [35]. Модели, позволяющие оценить количество невыявленных дефектов, описаны, например, в [33].

Постановка задачи. Дано: динамика относительного показателя D(t), характеризующего выявленные дефекты (например, в виде количества дефектов на 1000 строк кода); динамика затрат ресурсов на выявление дефектов S(t); критерий эффективности устранения дефектов вида E(t)=D(t)/S(t); нижняя граница критерия эффективности E*, меньше которой дальнейшие затраты ресурсов на устранение дефектов становятся нецелесообразными.

Требуется: построить зависимость E(t) и определить границу ресурсов (времени) t*, соответствующую E*.

Допущения: постулируется, что зависимость D(t) имеет вид:

D(t) = K*exp(-Λ*t),                                                             (1)

где K - исходное значение относительного показателя засоренности дефектами. Возможные подходы к оцениванию K описаны, например, в [33].

Зависимость затрат на устранение дефектов имеет вид:

S(t) = exp(µ*t)-1                                                         (2)

Пример решения задачи выполнен при значении Λ и µ равных единице; K=0.4. На рисунке 5 представлены зависимости D(t) и S(t).

 

Рисунок 5 - Динамические модели D(t) и S(t)

Figure 5 -    Dynamic models D(t) and S(t)

 

Временные отметки τi (i=1, 2, 3,…) соответствуют значениям D(t) = D(0)/(2)(i), т.е. это отметки времени, в которых количество дефектов по сравнению с предыдущей отметкой уменьшилось вдвое.

В таблице 1 приведены значения D(t), S(t), E(t), соответствующие разным отметкам времени τi. На рисунке 6 приведена графическая модель, характеризующая поведение E(t) и построенная на основе данных, представленных в таблице 1.

 

Таблица 1 – Значения D(τi), S(τi), E(τi) соответствующие разным отметкам времени τi.

Table 1 - The values of D(τi), S(τi), E(τi) corresponding to different timestamps of τi.

i

τi

D(τi)

S(τi)

E(τi)

1

1,1

0,20

0,07

3,43

2

2,2

0,10

0,14

0,87

3

3,0

0,05

2,00

0,28

4

4,0

0,02

2,26

0,10

 

Рисунок 6 - Характеристика эффективности устранения дефектов

Figure 6 -    Defect elimination efficiency characteristic

 

Зависимость E(t) построена при условии, что Е(0)=0, так как если усилий по устранению дефектов не прилагается, эффект отсутствует.

На основе зависимости E(t) (рисунок 6) при заданном E* можно оценить границы периода (ресурс времени) T0;t, в течение которого имеет смысл совершенствовать ФБ за счёт выявления и устранения дефектов.

 

Рисунок 7 - Структурная модель, соответствующая СА «Пределы роста»

Figure 7 -    Structural model corresponding to the Limits of Growth archetype

 

Выделенному видению задач обеспечения ФБ АПК можно поставить в соответствие СА «Пределы роста» (рисунок 7).

С течение времени действия по устранению дефектов приводят к уменьшению их количества (усиливающий контур ФБ). Вместе с тем, с течением времени стоимость устранения дефектов возрастает. Это препятствует выделению ресурсов на другие виды деятельности, связанные с обеспечением ФБ, например, за счёт создания и совершенствования барьеров, препятствующих возникновению дефектов на разных стадиях ЖЦ АПК.

Пример 3. Анализ сбалансированности параметров проекта

Описание задачи. Уровень потребительских свойств программных продуктов, включая ФБ, определяется подходами к решению комплекса задач, связанных с реализаций программных проектов [36]. Основа успешности программного проекта – сбалансированность требований к потребительским свойствам предполагаемого продукта и объёмов ресурсов, выделяемых на реализацию проекта [31]. В [37] показано, что результатом несбалансированности ресурсов в первую очередь является недостаточная глубина испытаний.

Постановка задачи. Дано: динамика относительного показателя D(t), характеризующего выявленные дефекты (например, в виде количества дефектов на 1000 строк кода); динамика затрат ресурсов на выявление дефектов S(t); ограничение на бюджет проекта S*; ограничение на допустимое число латентных дефектов D*.

Требуется: оценить сбалансированность показателей S* и D*.

 

Рисунок 8 - Несбалансированность параметров проекта по показателю количества дефектов

Figure 8 -    Imbalance of project parameters in terms of the defects amount

 

Основу решения задачи составляют зависимости D(t), S(t) (рисунок 8).

В примере постулированы зависимости D(t), S(t), описанные в примере 2. Заданному значению S* соответствует t*, представленное на рисунке 8. Этому значению t* соответствует показатель D(t*), указанный на оси ординат.

Различие ω=| D*- D(t*)| есть характеристика несбалансированности параметров проекта по показателю количества латентных дефектов.

Аналогичным образом можно оценить величину S(t*), нужную для обеспечения требуемого значения D* (рисунок 9).

 

Рисунок 9 - Несбалансированность проекта по показателю бюджета

Figure 9 -    Imbalance of the project in terms of budget

 

Следствие несбалансированности нефункциональных требований и объёма выделяемых ресурсов является превышение ограничений на бюджет и время реализации проекта либо несоответствие фактических значений потребительских характеристик программных продуктов желаемым (см. также [24]).

Величина γ=|S*- S(t*)| есть характеристика несбалансированности по показателю бюджета (рисунок 9). Интегральной характеристикой несбалансированности может служить индекс I=∑αlIl , где α l – весовые коэффициенты, характеризующие значимость l-го показателя ФБ. В качестве индивидуальных индексов приняты I1= ω/ D*; I2= γ/ S*.

Описанной задаче может быть поставлен в соответствие СА «Эрозия целей» (рисунок 10). В рамках этого СА несбалансированность желаемых и фактических свойств устраняется за счёт снижения требований к свойствам продукта либо за счёт увеличения объёмов ресурсов.

 

Рисунок 10 – Структурная модель, соответствующая СА «Эрозия целей»

Figure 10 - Structural model corresponding to the Eroding goals system archetype

 

Заключение

В статье обоснована возможность использования СА как методической основы построения моделей ситуаций, возникающих при решении задач обеспечения ФБ АПК в условиях ограничений на ресурсы.

Дано определение информационной сущности ситуаций, позволяющее создать основу для принятия решений о целесообразности внесения изменений в структуру системы управления СТС.

Предложены концептуальные основы многоаспектного моделирования ситуаций, возникающих при обеспечении ФБ АПК, сочетающие динамические модели параметров, характеризующих ФБ, и структурные модели ситуаций.

Выделены базовые этапы построения системы структурных и динамических моделей ситуаций, возникающих при обеспечении ФБ АПК на разных стадиях их жизненного цикла.

 

1 Функциональные требования описывают сервисы, предоставляемые АПК или программной системой, её поведение в определённых ситуациях, реакцию на входные данные и действия, которые система позволит выполнить пользователям.

2 Нефункциональные требования фиксируют условия, которые непосредственно не связаны с поведением или функциональностью решения, а скорее описывают условия окружающей среды, при которых решение должно оставаться эффективным, или качества, которыми система должны обладать. Они также известны как атрибуты (показатели) качества или дополнительные требования. Они могут включать требования, связанные с пропускной способностью, надёжностью, масштабируемостью, скоростью, безопасностью, доступностью, информационной архитектурой и др.

3 Стандарт IEEE 1471-2000 - рекомендуемая практика описания архитектуры систем, интенсивно использующих программное обеспечение (Recommended Practice for Architectural Description of Software — Intensive Systems). https://standards.ieee.org/ieee/1471/2187/.

×

About the authors

Vladimir E. Gvozdev

Ufa University of Science and Technology

Email: wega55@mail.ru
ORCID iD: 0000-0002-1481-0982
Scopus Author ID: 7101700484

D. Sc. Eng. , Professor of the Department of Technical Cybernetics

Russian Federation, Ufa

Oksana Y. Bezhaeva

Ufa University of Science and Technology

Author for correspondence.
Email: obezhaeva@gmail.com
ORCID iD: 0000-0002-3373-7266
Scopus Author ID: 57216845244

PhD. , Head of the Department of Technical Cybernetics

Russian Federation, Ufa

Gulnur R. Safina

Ufa University of Science and Technology

Email: lafleur300997@gmail.com
Russian Federation, Ufa

References

  1. ESA PSS-05-10. Guide to software verification and validation Prepared by: ESA Board for Software Standardization and Control (BSSC). ESA PSS-05-10 Issue 1 Revision 1. March 1995. 117 p.
  2. Vittich VA. Introduction to the theory of intersubjective management. [In Russian]. Samara: Samara Scientific Center of the Russian Academy of Sciences, 2013; 64 p.
  3. Lipaev VV. Functional safety of software tools. [In Russian]. Moscow: SINTEG, 2004; 348 p.
  4. Nagibin SYa, Palchun BP, Ukhlinov LM. Technological security of programming - a new problem in the field of information systems. [In Russian]. Information society, 1995; 6: 45-49.
  5. Bykovsky SV. Conjugated design of embedded systems (Hardware/Software Co-Design) [In Russian]. Saint Petersburg: ITMO Research Institute, 2011; 125 p.
  6. A Driving Assistance System with Hardware Acceleration. – University of Gothenburg, Sweden, 2016.
  7. Borodaki YuV, Yusupov RM, Palchun BP. The problem of simulation modeling of flaw detection properties of computer infosphere. [In Russian]. Proceedings of the third All-Russian scientific and practical conference “Simulation. Theory and practice". St. Petersburg, 2007; P.87-32.
  8. Roth A. Implementation and development of Industry 4.0. Fundamentals, modeling and examples from practice. Moscow: Technosphere, 2017; 294 p.
  9. Kirillov NP. Conceptual model of the object of situational control of the functional state of technical systems. [In Russian]. Artificial intelligence and decision making. 2012; 4: 61-75.
  10. Mostovoy AYa. Complex technical systems management: design of remote sensing satellite software. [In Russian]. Moscow: Technosphere. 2016; 352 p.
  11. Kulikov SS. Software testing. Basic course. [In Russian]. Minsk: Four quarters, 2017; 312 p.
  12. Markov AS. Models of evaluation and planning of software testing according to information security requirements. [In Russian]. Bulletin Bulletin of Bauman Moscow State Technical University. Special issue "Technical means and information security systems". 2011; P.30-103.
  13. Cortellessa V, Grassi V. A modeling approach to analyze the impact of error propagation on reliability of component-based systems // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2007. P.140-156.
  14. Soni R, Preet A. Cognitive approach to root cause analysis for improving quality of life: a case study for IT Industry. // International journal of informative and futuristic research (Online). 2013; 1(1): 8.
  15. Sunday E. Extension and Modification of Anticipatory Failure Determination Approach Based on ITRIZ. University of Stavanger, Department of Mechanical and Structural Engineering, June 2014, 106 р.
  16. Renan Favarão Da Silva, Marco Aurélio De Carvalho. Anticipatory Failure Determination (AFD) for product reliability analysis: A comparison between AFD and Failure Mode and Effects Analysis (FMEA) for identifying potential failure modes, Federal Technological University of Paraná (UTFPR), Curitiba, Brazil, January 2019, 24р. doi: 10.1007/978-3-319-78075-7_12.
  17. Nassar D. Error Propagation Analysis of Software Architecture Specifications. Communication. 2006; 1: 496-501.
  18. Lee PA. Fault tolerance, principles and practice / P.A. Lee, T. Anderson // Springer Sci. Bus. Media. 2012; Vol. 3, 320 p.
  19. Verzola IA Predictive Approach to Failure Estimation and Identification for Space Systems Operations / I. Verzola, A.E. Lagny, J. Biswas // Proc. 13th international conference on space operations. – Pasadena, California, USA, 2014.
  20. Khater HA. A Proposed Technique for Software Development Risks Identification by using FTA Model / H.A. Khater, A.B. Mohamed, S.M. Kamel // World Acad. Sci. Eng. Technol. Int. J. Comput. Inf. Eng. 2013; Vol. 7, P. 105-111.
  21. Pentti H, Atte H. Failure Mode and Effects Analysis of Software-Based Automation Systems. STUKYTOTR 190. 2002; 36p.
  22. Zhu YM. Failure-modes-based software reading. 2017; P.7-15.
  23. Timofeev AN. Why IT projects are falling? [In Russian]. Practice of system design, 2017; P. 2-11.
  24. CHAOS Report. The Standish Group International, Inc., 2018, 68 p. Available: https://www.standishgroup.com/news/37
  25. Vittich VA. Heterogeneous actor and everyday life as key concepts of evergetics. [In Russian]. Samara: Samara Scientific Center of the Russian Academy of Sciences, 2014; 12p.
  26. Raikov AN. Convergent management and decision support. [In Russian]. Moscow: ICAR Publishing House, 2009; 245 p.
  27. Raikov AN. Network expert support of solutions [In Russian]. Management of large systems. 2010; Vol. 30.1, P.758-772p.
  28. Senge PM. Fifth discipline. [In Russian]. Moscow: Olympus-Business. 2003; 408 p.
  29. Braun W. The System Archetypes by Wiiliam Braun. 2002; 25p.
  30. Meadows DH. Thinking in Systems. Chelsea Green Publishing. 2008; 240 p.
  31. Hastie S, Wojewoda S. Standish Group 2015 Chaos Report - Q&A with Jennifer Lynch. OCT 04, 2015. https://www.infoq.com/articles/standish-chaos-2015/.
  32. Ventzel ES. Theory of Probability. [In Russian]. Textbook. 12th edition. Moscow: Justice, 2018; 658 p.
  33. Myers GJ. Software reliability. [In Russian]. Moscow: Mir Publishing House, 1980; 359 p.
  34. Baguli. F. Project Management. [In Russian]. Moscow: Grand-Fair, 2002; 208 p.
  35. Lipaev VV. Reliability and functional safety of real-time software complexes. [In Russian]. Moscow: Institute of System Programming of the Russian Academy of Sciences, 2013; 207 p.
  36. ESA PSS 05-11. Guide to software quality assurance.
  37. McConnell S. How much does a software project cost? [In Russian]. Peter Publisher; 2007. 296 p.

Supplementary files

Supplementary Files
Action
1. JATS XML
2. Figure 1 - Structural model of the point of view on the situation

Download (51KB)
3. Figure 2 - Dynamic characteristics of the integral indicator of functional safety

Download (146KB)
4. Figure 3 - The system archetype of "Balancing with delay"

Download (52KB)
5. Рисунок 4 - Демонстрационный пример изменения вероятности отказа АПК при отсутствии подхода к уменьшению вероятности проявления латентных дефектов

Download (118KB)
6. Figure 5 - Dynamic models D(t) and S(t)

Download (135KB)
7. Figure 6 - Defect elimination efficiency characteristic

Download (94KB)
8. Figure 7 - Structural model corresponding to the Limits of Growth archetype

Download (91KB)
9. Figure 8 - Imbalance of project parameters in terms of the defects amount

Download (143KB)
10. Figure 9 - Imbalance of the project in terms of budget

Download (149KB)
11. Рисунок 10 – Структурная модель, соответствующая СА «Эрозия целей»

Download (97KB)

Copyright (c) 2023 Gvozdev V.E., Bezhaeva O.Y., Safina G.R.

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

СМИ зарегистрировано Федеральной службой по надзору в сфере связи, информационных технологий и массовых коммуникаций (Роскомнадзор).
Регистрационный номер и дата принятия решения о регистрации СМИ: серия ФС 77 - 70157 от 16.06.2017.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies