RU2588587C2 - Способ и устройство для определения диагностики - Google Patents

Способ и устройство для определения диагностики Download PDF

Info

Publication number
RU2588587C2
RU2588587C2 RU2012113729/07A RU2012113729A RU2588587C2 RU 2588587 C2 RU2588587 C2 RU 2588587C2 RU 2012113729/07 A RU2012113729/07 A RU 2012113729/07A RU 2012113729 A RU2012113729 A RU 2012113729A RU 2588587 C2 RU2588587 C2 RU 2588587C2
Authority
RU
Russia
Prior art keywords
observations
error
determining
diagnostics
tree
Prior art date
Application number
RU2012113729/07A
Other languages
English (en)
Other versions
RU2012113729A (ru
Inventor
Кристиан САННИНО
Фабьен КУНТЦ
Эрик ЛОРАН
Себастьен ДЮБУА
Original Assignee
Таль
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Таль filed Critical Таль
Publication of RU2012113729A publication Critical patent/RU2012113729A/ru
Application granted granted Critical
Publication of RU2588587C2 publication Critical patent/RU2588587C2/ru

Links

Images

Classifications

    • GPHYSICS
    • G07CHECKING-DEVICES
    • G07CTIME OR ATTENDANCE REGISTERS; REGISTERING OR INDICATING THE WORKING OF MACHINES; GENERATING RANDOM NUMBERS; VOTING OR LOTTERY APPARATUS; ARRANGEMENTS, SYSTEMS OR APPARATUS FOR CHECKING NOT PROVIDED FOR ELSEWHERE
    • G07C5/00Registering or indicating the working of vehicles
    • G07C5/08Registering or indicating performance data other than driving, working, idle, or waiting time, with or without registering driving, working, idle or waiting time
    • G07C5/0808Diagnosing performance data

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Testing And Monitoring For Control Systems (AREA)
  • Testing Of Devices, Machine Parts, Or Other Structures Thereof (AREA)

Abstract

Изобретение относится к области диагностики неисправностей радиоэлектронных систем. Техническим результатом является уменьшение числа неопределенностей, числа возможных комбинаций причин неисправностей в случае множественных неисправностей в системе. Для этого в системе, содержащей множество приборов, выполненных с возможностью выдачи сигналов, указывающих на их рабочее состояние, осуществляют сбор (111) наблюдений на основании сигналов, выдаваемых приборами диагностируемой системы, и определение общей ситуации на основании собранных наблюдений и заранее определенных деревьев ошибок, связанных с наблюдениями. При этом дерево ошибок описывает отношения между наблюдением и корневыми причинами, а корневая причина указывает на неисправность прибора. Затем определяют (112) связанные ситуации, являющиеся совокупностью наблюдений, которые попарно имеют, по меньшей мере, одну общую корневую причину в их дереве ошибок. Далее определяют (113) частичные диагностики на основании каждой из связанных ситуаций, содержащие корневые причины, связанные с наблюдениями, указывающими на неисправность, и осуществляют индикацию (114) диагностик. 2 н. и 5 з.п. ф-лы, 10 ил.

Description

Настоящее изобретение касается диагностики неисправностей систем и, в частности, бортовых авиационных радиоэлектронных систем.
Рассматриваемые системы содержат множество компонентов, сообщающихся между собой и с внешней средой через физическую сеть. Совокупность приборов, включая сеть, образует систему, называемую диагностируемой системой.
Среди диагностических методов исследования можно указать метод, называемый «рассуждением, основанным на моделях» или “Model-Based reasoning”, основанный на обработке совокупностей логических предложений.
Ожидаемое поведение компонента системы описывают при помощи логического предложения, выражающего отношения между его входными значениями и его выходными значениями или отношения между его неисправностями и внешними проявлениями его неисправностей.
Структуру системы, в которой используют компонент, тоже описывают совокупностью логических предложений. Эту совокупность логических предложений называют моделью.
В общем случае обнаружение неисправности осуществляют посредством сравнения между входными и выходными значениями компонентов, наблюдаемыми реально, и входными и выходными значениями, предсказываемыми моделью (так называемый «метод обнаружения по остаткам»). Если эти значения являются разными, генерируют совокупность событий (или «совокупность наблюдений»), при этом каждое событие соответствует наличию наблюдаемой неисправности.
Связи между наблюдением, неисправностью и совокупностью возможных причин (или «группой неопределенностей») реализуют посредством логических предложений.
Так, например, можно рассмотреть связь между группой неопределенности {a1, a2, a3} и неисправностью Р, которая может иметь одну или несколько возможных причин а1, а2 или а3 в группе неопределенности. Эту связь можно выразить логическим предложением:
Р=а1+а2+а3,
где знак «+» представляет собой логический коннектор «ИЛИ».
Таким образом, это логическое предложение означает, что неисправность Р является результатом появления а1, или а2, или а3.
Точно так же, можно определить неисправность Q, которая связана с группой неопределенности {b1, b2, b3} и которую можно выразить как Q=b1+b2+b3.
В дальнейшем тексте описания совокупность наблюдаемых последствий будет называться «ситуацией». Ситуацию S, в которой наблюдают одновременное присутствие (называемое «конъюнкцией») неисправностей Р и Q, можно выразить как S=P•Q, где знак «•» представляет собой коннектор логической конъюнкции «И». Таким образом, это логическое предложение означает, что ситуация S является результатом одновременного наблюдения неисправностей Р и Q.
Одновременное наблюдение неисправностей Р и Q приводит к конъюнкции их соответствующей группы неопределенности и производит новую группу неопределенности двойных причин {{a1•b1}, {a1•b2}, {a1•b3}, {a2•b1}, {a2•b2}, {a2•b3}, {a3•b1}, {a3•b2}, {a3•b3}}, которую можно также выразить логическим предложением P•Q=(a1•b1)+(a1•b2)+(a1•b3)+(a2•b1)+(a2•b2)+(a2•b3)+(a3•b1)+(a3•b2)+(a3•b3)
Эта форма выражения является результатом развертывания выражения P•Q по правилам булевой алгебры, и ее обычно получают при помощи методов типа “SAT-Solver”, предназначенных для исследований этого типа.
В известных системах технического обслуживания одновременное наличие нескольких неисправностей создает проблему. Действительно, система обслуживания представляет отвечающему за обслуживание оператору каждую пару причин из группы неопределенности. Оператор должен разрешить сомнение в группе неопределенности двойных неисправностей, в данном случае речь идет о 9 парах неопределенностей. В случае реальной системы число пар может быть намного большим.
Кроме того, вычисления типа SAT-Solver, применяемые на таких конъюнкциях, как эта, как правило, приводят к слишком большой продолжительности вычислений или к загрузке объемов памяти, превышающих мощность вычислительных устройств.
Из патентной заявки US2010/0100259 известен метод диагностики, основанный на логических отношениях. Однако такой метод не включает в себя специальную обработку, предназначенную для упрощения вычислений в случае множественных неисправностей.
Настоящее изобретение призвано решить вышеупомянутые проблемы и предложить способ определения диагностики, содержащий специальную обработку, предназначенную для уменьшения числа неопределенностей (то есть числа возможных комбинаций причин) в случае множественных неисправностей.
В этой связи объектом настоящего изобретения является способ определения диагностики для системы, содержащей множество приборов, при этом упомянутые приборы выполнены с возможностью выдачи сигналов, указывающих на их рабочее состояние, отличающийся тем, что содержит следующие этапы:
- этап сбора наблюдений на основании сигналов, выдаваемых приборами диагностируемой системы, и определения общей ситуации на основании собранных наблюдений и заранее определенных деревьев ошибок, связанных с упомянутыми наблюдениями, при этом дерево ошибок описывает отношения между наблюдением и корневыми причинами, при этом корневая причина указывает на неисправность прибора,
- этап определения связанных ситуаций, при этом связанная ситуация является совокупностью наблюдений, которые взятые попарно имеют, по меньшей мере, одну общую корневую причину в их дереве ошибок,
- этап определения частичных диагностик на основании каждой из связанных ситуаций, при этом диагностика содержат корневые причины, связанные с наблюдениями, указывающими на неисправность,
- этап индикации диагностики.
Изобретение описывает способ минимального диагностического исследования, позволяющий эффективно осуществлять операции по разрешению сомнений в случае множественных неисправностей. Операции по разрешению сомнений осуществляет отвечающий за обслуживание оператор, который последовательно рассматривает диагностируемые причины как обуславливающие наблюдаемые неисправности.
Изобретение предлагает схему диагностики, ограничивающую число неопределенностей, которые должен исследовать оператор. В предыдущем примере способ в соответствии с настоящим изобретением будет касаться не 9 пар неопределенностей, а 2 групп неопределенностей, каждая из которых состоит из 3 простых неопределенностей.
Изобретение описывает способ минимального диагностического исследования, позволяющий осуществлять операции по разрешению сомнений в случае множественных неисправностей, сокращая задачи исследования до минимального числа. Этого результата добиваются благодаря предварительной обработке логических предложений, в результате которой отпадает необходимость в развертывании всех возможных комбинаций причин. Результат будет сведен к комбинациям групп неопределенностей.
Кроме того, способ в соответствии с настоящим изобретением позволяет быстрее производить вычисления с использованием меньших ресурсов памяти. Это возможно благодаря представлению булевых выражений через двоичные диаграммы принятия решения (или BDD от Binary Decision Diagram), применяемые для представления дерева ошибок.
Согласно признаку изобретения, этап определения связанных ситуаций содержит следующие подэтапы:
- определение сокращенного дерева ошибок на основании общей ситуации и наблюдений, указывающих на отсутствие неисправностей, при этом сокращенное дерево ошибок получают посредством извлечения из общей ситуации причин, связанных с наблюдениями отсутствия неисправностей,
- этап разбиения, предназначенный для определения поддеревьев ошибок, не имеющих общих корневых причин.
Согласно признаку изобретения, способ дополнительно содержит фазу подготовки для определения совокупности деревьев ошибок, индивидуально связанных с каждым из наблюдаемых последствий, на основании описания системы, при этом упомянутые деревья хранятся в базе заранее определенных деревьев.
Согласно признаку изобретения, фаза подготовки содержит следующие этапы:
- для каждого наблюдаемого последствия:
- создание дерева ошибок на основании описания диагностируемой системы, запись созданного дерева в базу данных деревьев ошибок,
- извлечение группы неопределенности из созданного дерева ошибок и запись группы неопределенности в базу данных деревьев ошибок.
Согласно признаку изобретения, индикацию разбивают на множество частей, при этом каждая из частей объединяет диагностики с одинаковым числом одновременных причин, обуславливающих наблюдаемую неисправность.
Согласно признаку изобретения, индикация содержит также дополнительное пространство, предназначенное для индикации маскируемых групп неопределенностей.
Изобретение также касается устройства определения диагностики для системы, содержащей множество приборов, при этом упомянутые приборы выполнены с возможностью выдачи сигналов, указывающих на их рабочее состояние, отличающееся тем, что содержит:
- средства сбора наблюдений на основании сигналов, выдаваемых приборами диагностируемой системы,
- средства определения общей ситуации на основании собранных наблюдений и заранее определенных деревьев ошибок, связанных с упомянутыми наблюдениями, при этом дерево ошибок описывает отношения между наблюдением и корневыми причинами, при этом корневая причина указывает на неисправность прибора,
- средства определения связанных ситуаций, при этом связанная ситуация является совокупностью наблюдений, которые попарно имеют, по меньшей мере, одну общую корневую причину в их дереве ошибок,
- средства определения частичных диагностик на основании каждой из связанных ситуаций, при этом диагностики содержат корневые причины, связанные с наблюдениями, указывающими на неисправность,
- средства индикации диагностических данных.
Изобретение и его другие преимущества будут более очевидны из нижеследующего подробного описания, представленного в качестве не ограничительного примера, со ссылками на прилагаемые чертежи, на которых:
Фиг. 1 - пример групп неопределенностей, связанных с наблюдениями.
Фиг. 2 - пример совокупности приборов, выполненных с возможностью выдачи сигналов, указывающих на их рабочее состояние.
Фиг. 3 - схема способа в соответствии с настоящим изобретением.
Фиг. 4 - схема этапов фазы подготовки.
Фиг. 5 - детальная схема этапов сбора данных и определения связанных ситуаций.
Фиг. 6 - пример дерева до и после разбиения.
Фиг. 7 - блок-схема этапов определения частичных диагностик и слияния.
Фиг. 8 - первый пример индикации в соответствии с настоящим изобретением.
Фиг. 9 - пример диагностируемой системы.
Фиг. 10 - второй пример индикации в соответствии с настоящим изобретением.
Способ определения диагностики применяют для систем, содержащих множество приборов. Приборы выполнены с возможностью выдачи сигналов, указывающих на их рабочее состояние.
Например, это относится к приборам бортовой радиоэлектроники, которые, как правило, оснащены функцией дополнения к техническому обслуживанию, известной под аббревиатурой “BITE” от англо-саксонского выражения “Built In Test Equipment”. Каждый раз, когда эта функция выдает тревожный сигнал о невозможности исполнения основной функции обеспечения безопасности полета, она выдает более или менее подробный отчет о рабочем состоянии, предназначенный для дополнения послеполетного отчета, называемого PFR или LLR от англо-саксонского “Post Flight Report” или “Last Leg Report”, составляемого для бригады наземного технического обслуживания.
Неисправности представляют собой потерю или отсутствие служебной функции, которую должен иметь прибор или устройство. Одна неисправность может вытекать из другой неисправности. Поиск причины, обуславливающей неисправность, имеет большое значение для обеспечения возможности восстановления рабочего состояния упомянутой системы. Когда поиск причины неисправности перестает быть необходимым, последнюю неисправность называют «корневой причиной». Корневой причиной может быть физическое повреждение, ошибка программного обеспечения или состояние окружающей среды системы, не совместимое с режимом работы упомянутой системы. Классификация неисправностей представлена в документе Fundamental Concepts of Dependability. Third Information Survivability Workshop. Boston. (Avizienis, A., Laprie, J.-C., & Randell, B. (2000)).
Эти неисправности проявляются через свои «последствия». В основе этих последствий могут лежать несколько корневых причин. Таким образом, во время наблюдения последствия существует неопределенность относительно причины неисправности. Совокупность корневых причин, которые могут обуславливать последствие, называют «группой неопределенности» этого последствия.
При простой неисправности наблюдение совокупности возникающих последствий (в этом случае говорят о конъюнкции наблюдений) приводит к выработке диагностики, которая, как правило, указывает на группу неопределенности.
При множественных неисправностях конъюнкция наблюдений приводит к конъюнкции нескольких групп неопределенности, в результате которой получают диагностику, как правило, указывающую на совокупность групп одновременных причин. «Группой одновременных причин» называют совокупность причин, которые, возникая одновременно, приводят к наблюдению множественных неисправностей.
На фиг. 1 показан пример групп неопределенности, связанных с наблюдениями. На фигуре показаны:
- первое наблюдение Ро первой неисправности Р, связанной с первой группой неопределенности, содержащей неисправности а1, а2 и а3, и
- второе наблюдение Qo второй неисправности Q, связанной со второй группой неопределенности, содержащей неисправности b1, b2 и b3.
Одновременное присутствие неисправностей Р и Q приводит к конъюнкции соответствующих групп неопределенности и создает новую группу неопределенности двойных неисправностей, которую можно выразить логическим предложением P•Q=(a1•b1)+(a1•b2)+(a1•b3)+(a2•b1)+(a2•b2)+(a2•b3)+(a3•b1)+(a3•b2)+(a3•b3).
На фиг. 2 показан пример совокупности приборов, выполненных с возможностью выдачи сигналов, указывающих на их рабочее состояние. Сигналы принимает вычислительное устройство CMS технического обслуживания, применяющее способ в соответствии с настоящим изобретением. Первый прибор Е1 содержит первый вычислительный блок LRU1 (от Line Replaceable Unit), содержащий функцию обслуживания BITE и питаемый первым источником питания. Второй прибор Е2 содержит второй вычислительный блок LRU2, содержащий функцию обслуживания BITE. Второй прибор содержит также зонд Probe, который выдает в LRU2 данные измерений, например, высоты полета, температуры и т.д.
Функция BITE первого вычислительного блока LRU1 выдает сообщение Р, согласно которому источник питания alim1 неисправен, или вычислительный блок LRU1 неисправен, что может выражаться Р=Alim1+LRU1.
Функция BITE второго вычислительного блока LRU2 выдает сообщение Q, согласно которому источник питания alim1 неисправен, или вычислительный блок LRU1 неисправен, или измерение, выдаваемое зондом Probe, неверно, что можно выразить следующим образом:
Q=LRU2+Probe+alim2
Наблюдение Р и Q приведет к P•Q=(LRU2+Probe+alim2)•(LRU1+alim1), или это выражение можно преобразовать в:
P•Q=(LRU1•LRU2)+(LRU2•alim1)+(Probe•LRU1)+(Probe•alim1)+(alim2•LRU1)+(alim1•alim2).
Изобретение позволяет сократить сложность обработки и представления диагностики множественных неисправностей.
На фиг. 3 представлена схема способа в соответствии с настоящим изобретением. Способ в соответствии с изобретением содержит фазу подготовки 10, во время которой создают или редактируют совокупность деревьев ошибок, индивидуально связанных с каждым из наблюдаемых последствий, и рабочую фазу 11.
Во время фазы подготовки создают базу данных деревьев ошибок 12, содержащую совокупность деревьев ошибок, связанных с каждым наблюдением. На фиг. 4 показана блок-схема этапов фазы подготовки. Фаза подготовки содержит следующие этапы:
- для каждого наблюдаемого последствия:
- определение 302 дерева ошибок на основании описания диагностируемой системы 301, запись созданного дерева в базе данных деревьев ошибок 12,
- извлечение 304 группы неопределенности из созданного дерева ошибок и запись группы неопределенности в базу данных деревьев ошибок 12.
Описание диагностируемой системы указывает, в частности, различные элементы системы и их физическую или функциональную взаимосвязь.
Определение деревьев ошибок основано на знании отношений между неисправностями компонента (корневая причина) и последствиями этих неисправностей (FMEA - Failure Mode Effect Analysis). Эти отношения между неисправностями и их последствиями выражают либо логическими отношениями, либо в графическом виде при помощи дерева ошибок (FTA - Fault Tree Analysis).
В данном случае группа неопределенности образована совокупностью корневых причин, вовлекающей наблюдение.
В предыдущем примере получают первую группу неопределенности GA(P) для наблюдения Po при GA(P)={a1,a2,a3} и вторую группу неопределенности GA(Q) для наблюдения Qo при GA(q)={b1,b2,b3}.
Рабочая фаза содержит следующие этапы:
- этап 111 сбора наблюдений на основании сигналов, выдаваемых приборами диагностируемой системы. На этом этапе определяют общую ситуацию на основании собранных наблюдений и заранее определенных деревьев ошибок, связанных с упомянутыми наблюдениями, при этом дерево ошибок описывает отношения между наблюдением и корневыми причинами, при этом корневая причина указывает на неисправность прибора,
- этап 112 определения связанных ситуаций, при этом связанная ситуация является совокупностью наблюдений, которые взятые попарно имеют, по меньшей мере, одну общую корневую причину в их дереве ошибок,
- этап 113 определения частичных диагностик на основании каждой из связанных ситуаций, при этом диагностики содержат корневые причины, связанные с наблюдениями, указывающими на неисправность,
- этап 114 индикации диагностики.
Этап 112 определения связанных ситуаций позволяет упростить этап 113 определения диагностики. Действительно, если две совокупности наблюдений не имеют общих причин, принцип разложения не преследует извлечения общих причин и поэтому не представляет интереса. К тому же конъюнкция усложняет результат.
На фиг. 5 более подробно показаны этапы сбора 111 и определения 112 связанных ситуаций.
Сбор 111 включает в себя сбор наблюдений на основании сигналов, выдаваемых приборами диагностируемой системы. Например, для диагностируемой системы, относящейся к бортовой авиационной радиоэлектронике, различные вычислительные устройства оснащены функциями обслуживания, которые могут выдавать сообщения об их рабочем состоянии.
Типичным наблюдением является, например, сообщение с результатом теста, который является положительным, если действительно наблюдалась неисправность, и отрицательным, если она не наблюдалась.
При этом общую ситуацию образует совокупность результатов тестов, произведенных в упомянутой системе, выраженную в виде логической конъюнкции различных наблюдений.
Этап 112 определения связанных ситуаций содержит два подэтапа: этап упрощения 112.1 и этап разбиения 112.2.
Подэтап 112.1 упрощения содержит определение сокращенного дерева ошибок общей ситуации. Дерево ошибок общей ситуации состоит из совокупности возможных причин, приводящих к наблюдению общей ситуации. Среди этих возможных причин можно указать физические повреждения, ошибки программного обеспечения или рабочие состояния системы, не совместимые с режимом работы упомянутой системы.
Сокращенное дерево ошибок получают из дерева ошибок, исключая из дерева причины, связанные с последствиями, при которых результат тестов является отрицательным (то есть, последствие не наблюдалось), и с известными состояниями системы, которые не могли привести к ситуации. Например, если ситуация могла возникнуть в результате неисправности зонда высоты полета (физическая неисправность) или «слишком низкой высоты» (например, состояние системы с высотой менее 10 метров), и при этом определяют, что самолет летит на высоте 10000 метров, то из дерева можно исключить причину «слишком низкая высота».
Таким образом, сокращенное дерево ошибок является деревом ошибок, в котором остаются только причины, которые нельзя было исключить посредством учета наблюдений отсутствия неисправностей и известных состояний диагностируемой системы.
Наблюдениями отсутствия неисправностей называют наблюдения, которые были собраны во время этапа захвата и значение которых указывает на то, что отслеживаемое последствие не проявилось.
Возвращаясь к предыдущему примеру, предположим, что получают первое наблюдение Ро (с первой группой неопределенности GA(P)={a1,a2,a3}) и второе наблюдение Qo (с второй группой неопределенности GA(Q)={b1,b2,b3}). Предположим, что третья неисправность R с группой неопределенности GA(R)={a1,b1} не наблюдалась. Следовательно, причины а1 и b1 исключаются. Можно утверждать, что они не лежат в основе наблюдений Ро и Qo. Сокращенное дерево ошибок получают, исключая эти две причины из дерева ошибок.
Этап разбиения применяют к сокращенному дереву ошибок. На этапе 112.2 разбиения идентифицируют поддеревья ошибок, которые не имеют общей корневой причины.
На фиг. 6 показан пример дерева до и после разбиения. В этом примере рассмотрено сокращенное дерево ошибок, характеризующее ситуацию двух наблюдений. Эти два наблюдения связывают с их соответствующей группой неопределенностей:
P=a+b+c+d и Q=a+b+e+f
Разбиение делит сокращенное дерево ошибок, соответствующее ситуации Р и Q, на поддеревья без общих причин SA10, SA21 и SA22.
Первое поддерево SA10 содержит причины a и b, второе поддерево SA21 содержит причины c и d, и третье поддерево содержит причины e и f.
На фиг. 7 показана схема этапов определения частичных диагностик и слияния.
Для каждого из поддеревьев применяют этап поиска минимальных сокращений.
Метод поиска минимального сокращения (называемого также positive cut) представлен в статье Exact and Truncated computation of prime implicant of coherent and non-coherent Fault Tree with Aralia. (Elsevier, Ed.) Dutuit, Y., & Rauzy, A. (2001 г., 21 августа). В документе минимальное сокращение называется “minimal p-cut”, где “p-cut” - это “positive-cut”, поскольку, говоря о неисправностях, интересуются только положительными символами, например, “a” значит «присутствие неисправности а», тогда как “¬a” значит «отсутствие неисправности а».
В p-cut имеют дело с чисто символическим выражением, которое отражает, например, то, что ситуация S=a+¬b наблюдается, если а присутствует или b отсутствует. Понятие минимального сокращения можно связать с результатом способности поглощения булевой алгебры.
Действительно, минимальным сокращением называют неисправность (или конъюнкцию неисправностей), присутствия которой достаточно, чтобы объяснить наблюдаемую ситуацию. При этом можно сказать, что эта минимальная неисправность маскирует другие неисправности.
Фиг. 9 иллюстрирует механизм маскирования минимальным сокращением. На ней представлен пример диагностируемой системы SUD1, содержащей первый вычислительный блок LRU1, соединенный со вторым вычислительным блоком LRU2. Второй вычислительный блок получает питание от источника питания PWR1 через зонд Probe.
Функция обслуживания BITE второго вычислительного блока LRU2 выдает сообщение Р, сигнализирующее, что LRU2 неисправен или зонд Probe неисправен, или PWR1 неисправен, то есть P=LRU2+Probe+PWR1.
Функция обслуживания BITE первого вычислительного блока LRU1 выдает сообщение Q, сигнализирующее, что LRU1 неисправен или LRU2 неисправен, то есть Q=LRU1+LRU2.
Общая ситуация S соответствует логической конъюнкции двух наблюдений Р и Q.
P•Q=(LRU2+Probe+PWR1)•(LRU1+LRU2)
P•Q=(LRU2•LRU1)+(Probe•LRU1)+(PWR1•LRU1)+(LRU2•LRU2)+(Probe•LRU2)+(PWR1•LRU2)
P•Q=(LRU2•LRU2)+(LRU2•LRU1)+(Probe•LRU2)+(PWR1•LRU2)+(Probe•LRU1)+(PWR1•LRU1)
P•Q=LRU2•(1+LRU1+Probe+PWR1)+Probe•LRU1+PWR1•LRU1
P•Q=LRU2+(Probe+PWR1)•LRU1
Это выражение означает, что существует простая неисправность LRU2, двойная неисправность между LRU1 и группой неопределенности {Probe, PWR1}.
Выражение LRU2+(Probe+PWR1)•LRU1 описывает два минимальных сокращения {LRU2} и {Probe,PWR1}.
Существует совокупность неисправностей, маскируемых путем поглощения булева значения 1 в (1+LRU1+Probe+PWR1). Маскируемой группой является {LRU1, Probe, PWR1}.
Этап слияния минимальных сокращений каждого из сокращенных деревьев ошибок в множественную диагностику.
Таким образом, при множественных неисправностях, каждая из которых связана с одной группой неопределенности, результат диагностики сохраняет группу неопределенности в качестве единицы поиска и разрешения сомнения.
Слияние осуществляют посредством объединения всех частичных диагностик. На практике во время индикации выводятся рядом друг с другом сокращенные деревья ошибок.
На фиг. 8 показан первый пример индикации в соответствии с настоящим изобретением. Индикация разбивается на множество частей. Каждая из частей объединяет диагностики с идентичным числом одновременных причин, обуславливающих наблюдаемую неисправность.
Первая часть 601 относится к простым неисправностям, вторая часть 602 - к двойным неисправностям, и третья часть 603 - к тройным неисправностям.
В каждой из этих частей группы неопределенности предстают перед оператором в порядке предпочтения в соответствии с заранее определенными критериями. Внутри группы неопределенности причины сгруппированы в порядке предпочтения в соответствии с заранее определенными критериями, например, по стоимости ремонта, срокам ремонта, правдоподобия неисправности и т.д., определяемыми авиационной компанией. Пример критериев выбора представлен во французской патентной заявке № FR 2931256.
Благодаря этой индикации, представление множественной диагностики оказывается адаптированным к исследованию. Таким образом, операции поиска неисправностей оказываются нацеленными на каждую из групп неопределенности.
Преимуществом такой индикации одновременно являются ее компактность и исчерпывающий характер. Действительно, все диагностики (то есть во всех логических комбинациях причин нарушения работы) выводятся не полностью, а в разложенном виде посредством факторизации и могут быть легко интерпретированы оператором, отвечающим за техническое обслуживание.
Согласно варианту выполнения, индикация содержит также дополнительное пространство 604, выделенное для индикации групп неопределенности, маскируемых минимальными сокращениями.
На фиг. 10 показан второй пример индикации в соответствии с настоящим изобретением.
В этом примере первая часть 601, выделенная для простых неисправностей, содержит группу неопределенности, содержащую две причины а и b. Это значит, что причина а или причина b может лежать в основе наблюдаемого нарушения в работе.
Вторая часть 602, выделенная для двойных неисправностей, содержит первую и вторую группы неопределенности. Первая группа неопределенности содержит две причины с и d. Вторая группа неопределенности содержит две причины е и f. Эта индикация соответствует следующей логической формуле: (c+d). (e+f). Это значит, что (с и е), или (с и f), или (d и е), или (d и f) могут являться причиной наблюдаемого сбоя в работе.
Третья группа 603 не содержит никаких диагностических данных.
Объектом изобретения является также устройство определения диагностики для системы, содержащей множество приборов, при этом упомянутые приборы выполнены с возможностью выдачи сигналов, указывающих на их рабочее состояние, отличающееся тем, что содержит:
- средства сбора 111 наблюдений на основании сигналов, выдаваемых приборами диагностируемой системы,
- средства определения общей ситуации на основании собранных наблюдений и заранее определенных деревьев ошибок, связанных с упомянутыми наблюдениями, при этом дерево ошибок описывает отношения между наблюдением и корневыми причинами, при этом корневая причина указывает на неисправность прибора,
- средства определения 112 связанных ситуаций, при этом связанная ситуация является совокупностью наблюдений, которые взятые попарно имеют, по меньшей мере, одну общую корневую причину в их дереве ошибок,
- средства определения 113 частичных диагностик на основании каждой из связанных ситуаций, при этом диагностики содержат корневые причины, связанные с наблюдениями, указывающими на неисправность,
- средства индикации 114 диагностики.
Устройство в соответствии с настоящим изобретением представляет собой применение способа в соответствии с изобретением на вычислительном устройстве технического обслуживания.

Claims (7)

1. Способ определения диагностики для системы, содержащей множество приборов, при этом упомянутые приборы выполнены с возможностью выдачи сигналов, указывающих на их рабочее состояние, отличающийся тем, что содержит следующие этапы:
- этап сбора (111) наблюдений на основании сигналов, выдаваемых приборами диагностируемой системы, и определения общей ситуации на основании собранных наблюдений и заранее определенных деревьев ошибок, связанных с упомянутыми наблюдениями, при этом дерево ошибок описывает отношения между наблюдением и корневыми причинами, при этом корневая причина указывает на неисправность прибора,
- этап определения (112) связанных ситуаций, при этом связанная ситуация является совокупностью наблюдений, которые взятые попарно имеют, по меньшей мере, одну общую корневую причину в их дереве ошибок,
- этап определения (113) частичных диагностик на основании каждой из связанных ситуаций, при этом диагностики содержат корневые причины, связанные с наблюдениями, указывающими на неисправность,
- этап индикации (114) диагностики.
2. Способ по п.1, в котором этап определения (112) связанных ситуаций содержит следующие подэтапы:
- определение (112.1) сокращенного дерева ошибок на основании общей ситуации и наблюдений, указывающих на отсутствие неисправностей, при этом сокращенное дерево ошибок получают посредством исключения из общей ситуации причин, связанных с наблюдениями отсутствия неисправностей,
- этап разбиения (112.2), предназначенный для определения поддеревьев ошибок, не имеющих общих корневых причин.
3. Способ по одному из предыдущих пунктов, дополнительно содержащий фазу подготовки (10) для определения совокупности деревьев ошибок, индивидуально связанных с каждым из наблюдаемых последствий, на основании описания системы, при этом упомянутые деревья хранятся в базе (12) заранее определенных деревьев.
4. Способ по п.3, в котором фаза подготовки (10) содержит следующие этапы:
- для каждого наблюдаемого последствия:
- создание (302) дерева ошибок на основании описания диагностируемой системы (301), запись созданного дерева в базу данных деревьев ошибок (12),
- извлечение (303) группы неопределенности из созданного дерева ошибок и запись группы неопределенности в базу данных деревьев ошибок (12).
5. Способ по п. 4, в котором индикацию разбивают на несколько частей (601, 602, 603), при этом каждая из частей объединяет диагностики с одинаковым числом одновременных причин, обуславливающих наблюдаемую неисправность.
6. Способ по п.5, в котором индикация содержит также дополнительное пространство (604), предназначенное для индикации маскируемых групп неопределенностей.
7. Устройство определения диагностики (200) для системы, содержащей множество приборов, при этом упомянутые приборы выполнены с возможностью выдачи сигналов, указывающих на их рабочее состояние, отличающееся тем, что содержит:
- средства сбора (111) наблюдений на основании сигналов, выдаваемых приборами диагностируемой системы,
- средства определения общей ситуации на основании собранных наблюдений и заранее определенных деревьев ошибок, связанных с упомянутыми наблюдениями, при этом дерево ошибок описывает отношения между наблюдением и корневыми причинами, при этом корневая причина указывает на неисправность прибора,
- средства определения (112) связанных ситуаций, при этом связанная ситуация является совокупностью наблюдений, которые взятые попарно имеют, по меньшей мере, одну общую корневую причину в их дереве ошибок,
- средства определения (113) частичных диагностик на основании каждой из связанных ситуаций, при этом диагностики содержат корневые причины, связанные с наблюдениями, указывающими на неисправность,
- средства индикации (114) диагностики.
RU2012113729/07A 2011-04-08 2012-04-06 Способ и устройство для определения диагностики RU2588587C2 (ru)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR1101088 2011-04-08
FR1101088A FR2973882B1 (fr) 2011-04-08 2011-04-08 Procede et dispositif pour la determination de diagnostics

Publications (2)

Publication Number Publication Date
RU2012113729A RU2012113729A (ru) 2013-10-20
RU2588587C2 true RU2588587C2 (ru) 2016-07-10

Family

ID=44549921

Family Applications (1)

Application Number Title Priority Date Filing Date
RU2012113729/07A RU2588587C2 (ru) 2011-04-08 2012-04-06 Способ и устройство для определения диагностики

Country Status (5)

Country Link
US (1) US20120259587A1 (ru)
BR (1) BR102012008006A8 (ru)
CA (1) CA2773360A1 (ru)
FR (1) FR2973882B1 (ru)
RU (1) RU2588587C2 (ru)

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR3044143B1 (fr) 2015-11-23 2018-09-14 Thales Appareil electronique et procede d'assistance d'un pilote d'aeronef, programme d'ordinateur associe
WO2018140361A1 (en) 2017-01-24 2018-08-02 Tweddle Group, Inc. Method and system of vehicle diagnostics
US11206520B2 (en) * 2017-02-14 2021-12-21 Safran Passenger Innovations, Llc Method for line-replaceable unit identification, localization and status retrieval
US11132620B2 (en) 2017-04-20 2021-09-28 Cisco Technology, Inc. Root cause discovery engine
CN109901544A (zh) * 2017-12-07 2019-06-18 开利公司 制冷系统、用于其的故障诊断系统、故障诊断方法及控制器与存储介质
US11164467B2 (en) 2019-07-31 2021-11-02 Rosemount Aerospace Inc. Method for post-flight diagnosis of aircraft landing process
US11252460B2 (en) 2020-03-27 2022-02-15 The Nielsen Company (Us), Llc Signature matching with meter data aggregation for media identification
CN114089722B (zh) * 2021-11-17 2024-03-26 国家石油天然气管网集团有限公司 一种输气站场工控网络通讯故障便携式诊断方法
CN116610105B (zh) * 2023-07-20 2023-11-17 江苏甬金金属科技有限公司 一种基于数据融合的轧机机械运行故障监测方法及系统

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP1376362A1 (fr) * 2002-06-19 2004-01-02 Eurocopter Dispositif d'aide à la localisation de défaillance d'un système complexe
EP1455313A1 (en) * 2003-03-04 2004-09-08 Arinc Incorporated Aircraft condition analysis and management system
RU2265236C1 (ru) * 2004-03-31 2005-11-27 ЗАО Московское конструкторское бюро "Параллель" Способ диагностики аппаратуры
FR2927435A1 (fr) * 2008-02-08 2009-08-14 Airbus France Sas Procede et dispositif ameliores pour les operations de diagnostic et de maintenance d'aeronefs

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6907545B2 (en) * 2001-03-02 2005-06-14 Pitney Bowes Inc. System and method for recognizing faults in machines
GB0127551D0 (en) * 2001-11-16 2002-01-09 Abb Ab Analysing events
US8364626B2 (en) * 2007-09-14 2013-01-29 Siemens Aktiengesellschaft Method and device for determining a probability of occurrence by evaluting an overall fault tree

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP1376362A1 (fr) * 2002-06-19 2004-01-02 Eurocopter Dispositif d'aide à la localisation de défaillance d'un système complexe
EP1455313A1 (en) * 2003-03-04 2004-09-08 Arinc Incorporated Aircraft condition analysis and management system
RU2265236C1 (ru) * 2004-03-31 2005-11-27 ЗАО Московское конструкторское бюро "Параллель" Способ диагностики аппаратуры
FR2927435A1 (fr) * 2008-02-08 2009-08-14 Airbus France Sas Procede et dispositif ameliores pour les operations de diagnostic et de maintenance d'aeronefs

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
A. B. Rauzy at al, "Assessment of large automatically generated fault trees by means of binary decision diagrams", Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 01.06.2007, vol. 221 no. 2, строки 95-105. *

Also Published As

Publication number Publication date
BR102012008006A2 (pt) 2013-07-30
CA2773360A1 (fr) 2012-10-08
US20120259587A1 (en) 2012-10-11
BR102012008006A8 (pt) 2018-03-13
FR2973882B1 (fr) 2013-04-19
FR2973882A1 (fr) 2012-10-12
RU2012113729A (ru) 2013-10-20

Similar Documents

Publication Publication Date Title
RU2588587C2 (ru) Способ и устройство для определения диагностики
US8457811B2 (en) Device for system diagnosis
Schumann et al. Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems
US8996340B2 (en) Method, devices and computer program for assisting in the diagnostic of an aircraft system, using failure condition graphs
US20150142402A1 (en) Safety analysis of a complex system using component-oriented fault trees
CN104504248B (zh) 一种基于设计数据分析的故障诊断建模方法
CN111784207B (zh) 一种开放式雷达健康管理系统
CN104597892A (zh) 一种用于电子信息装备层次化故障诊断方法
Ricks et al. Diagnosis for uncertain, dynamic and hybrid domains using Bayesian networks and arithmetic circuits
Sheppard et al. Bayesian diagnosis and prognosis using instrument uncertainty
Callan et al. An integrated approach to the development of an intelligent prognostic health management system
Zibaei et al. Diagnosis of safety incidents for cyber-physical systems: A uav example
Bieber et al. Integration of formal fault analysis in ASSERT: Case studies and lessons learnt
US10861259B2 (en) Method for testing the integrity of the avionics of an aircraft, associated device and computer program product
Colombano et al. A system for fault management and fault consequences analysis for NASA’s Deep Space Habitat
Smith et al. Design and implementation of aircraft system health management (ASHM) utilizing existing data feeds
Pinna et al. Deterministic and stochastic dependability analysis of industrial systems using Coloured Petri Nets approach
Beer et al. Analysis of an Airport Surveillance Radar using the QuantUM approach
Wu et al. Cascading failure analysis method of avionics based on operational process state
Zhu et al. Reliability and safety assessment with AltaRica for complex aircraft systems
Shi et al. Novel testability modelling and diagnosis method considering the supporting relation between faults and tests
Bharadwaj et al. Vehicle integrated prognostic reasoner (vipr) final report
CN112182743A (zh) 一种基于故障传递特征匹配的飞机系统故障诊断方法
Raghavan Algorithms for sequential fault diagnosis
Zhang et al. A TFPG-Based Method of Fault Modeling and Diagnosis for IMA Systems