Отправлено Max Vetrov 09 июня 2004 г. 16:10

Уважаемые коллеги!
Не сталкивался ли кто-нить с вопросами контроля корректной работы системы на микроконтроллере? Не сторожевой таймер, и не монитор питания, которые приводят к сбросу, а подсистема, сигнализирующая во внешний мир о возможных проблемах в вычислительном модуле.
Может есть в природе какие-то типовые решения?
Спасибо.

• Большое спасибо, уважаемые коллеги, за интересное обсуждение. Прояснилось в голове. — Max Vetrov   (10.06.2004 09:42, пустое)
• Ответ: ИМХО тут важно что именно за система — Entuziast   (09.06.2004 19:10, 947 байт)
• Делают распределенные системы управления. Есть куча таких технологий. COM, RPC, RMI, CORBA и т.д. — AlexandrY   (09.06.2004 17:40, 99 байт)
• Мы - светодиодами моргаем + отказы в выходном сигнале. Есть разовый признак(отдельно) - никто не хочет брать. — Фрося2   (09.06.2004 16:29, пустое)
• Ответ: В старые времена для этого использовалось — DmitryE   (09.06.2004 16:27, 258 байт)
  • Только кто ж строенный блок купит(цена)!! — Фрося2   (09.06.2004 16:32, пустое)
    • Всё дешевле саркофага на ЧАЭС ;О) — =mse=   (09.06.2004 16:35, пустое)
      • не - там нада было персонал с строированными головами иметь) потому как отключить всё можно) — basilmak   (09.06.2004 20:50, пустое)
    • Если речь идет о ядерной катастрофе и т.п. - то хоть сдесятеренный. Насколько опасен отказ? — Gall   (09.06.2004 16:34, пустое)
      • На это есть соотв документы по кот. аппаратура относится к определенному классу критичности(для меня Do-178). Отсюда и пляшем — Фрося2   (09.06.2004 16:53, пустое)
      • Ответ: в лучшем случае - сгорит генератор на судне, в худшем - "рванет" подстанция — Max Vetrov   (09.06.2004 16:40, пустое)
  • Вот-вот, ставишь XOR на всю шину ... и это на S в RS-триггере. На R - кнопка, на выходе - сирена. — Gall   (09.06.2004 16:29, пустое)
• Ага, Life Critical? Ну тогда... — Gall   (09.06.2004 16:25, 187 байт)
  • про всякие assert макросы очень хорошо расписано у Роббинса в книге "Отладка приложений" — bialix   (09.06.2004 17:10, пустое)
    • Кстати, об assert-ах... (+) — ReAl   (09.06.2004 19:11, 944 байт)
  • Программные заморочки хрен чем отследишь... — =mse=   (09.06.2004 16:46, 131 байт, ссылка)
    • Ответ: (+) — Gall   (09.06.2004 17:05, 293 байт)
      • ну они ведь объяснили - почему. Потому что такое требование. А тоебование такое потому... и поехало - концов не найдёшь. Тут, правда, нашли ;О) — =mse=   (09.06.2004 17:08, пустое)
        • Поэтому надо упрощать вплоть до рассыпухи из комбинаторной логики. (+) — Gall   (09.06.2004 17:15, 203 байт)
          • Тоже не всё так просто... — =mse=   (09.06.2004 17:20, 168 байт)
    • А потому чтоб сертифицироваться изволь технологию разработки ПО предявить — Фрося2   (09.06.2004 17:03, пустое)
      • не поможет. На этих друзьях, наверное, мест для печатей не осталось, а на тебе - приплыча. И ведь не факт, что ещё багов нет. Безнадёга, ИМХО. — =mse=   (09.06.2004 17:11, пустое)
        • Ну ..Частью вы правы. Борзые щенки левак не помогут протащить. При катастрофе все есть шанс попасится по-крупному — Фрося2   (09.06.2004 17:21, пустое)
          • Да нет, тут принципиальный вопрос... — =mse=   (09.06.2004 17:30, 450 байт)
            • С удовольствием бы выслушала умный разговор про тестовые инструменты для встроенных систем. Но увы.. Здесь не звучало... — Фрося2   (09.06.2004 17:37, пустое)
              • аналогично ;О) — =mse=   (09.06.2004 17:48, пустое)
      • "Сертифицировано" не значит "работает" :( — Gall   (09.06.2004 17:08, пустое)
        • А продеритесь через сертификацию - тогда и узнаете — Фрося2   (09.06.2004 17:12, пустое)
          • что неработающее - не сертифицируется, да и контроль на производстве будет ой-ой какой — Фрося2   (09.06.2004 17:13, пустое)
            • То-то в России Windows XP сертифицировали для работы с секретными файлами :( со всеми buffer overflow :( — Gall   (09.06.2004 17:19, 136 байт)
              • А они анализом кода и не занимаются, сертифицируется технология разработки ПО а не код — Фрося2   (09.06.2004 17:23, пустое)
                • Фрося, не стОит ломать копья, незнание опасности рождает героев :-)) — Tom_   (09.06.2004 17:28, пустое)
                  • У тебя тоже ник стащили? Да это ж флейм по сути — Фрося2   (09.06.2004 17:38, пустое)
                    • Это похоже на спор жителей крайнего севера о проблемах выращивания апельсинов . — Tom_   (09.06.2004 17:41, пустое)
                      • Попрошу не выражовываться, я хоть и чукча, — ?   (09.06.2004 17:50, 290 байт)
                        • Счастливый, а я вот невыездной :-( — Tom_   (09.06.2004 17:52, пустое)
                          • "Будьте осторожны в своих мечтах, а то вдруг сбудутся" (C) — ?   (09.06.2004 18:07, пустое)
                            • :-O — DASM   (09.06.2004 18:35, пустое)
                      • Эка ты суров. — Фрося2   (09.06.2004 17:43, пустое)
                        • А у меня снова сертификация на подходе :-( — Tom_   (09.06.2004 17:46, пустое)
    • Ну хоть чтобы программа "вразнос" не пошла - как раз "assert почаще" спасет. (+) — Gall   (09.06.2004 16:57, 272 байт)
      • Дык, в статье хорошо описано что может и как ;О). Если придумано неправильно, то п-ц. — =mse=   (09.06.2004 17:03, пустое)
  • А что дублировать - всю систему? assertion - это механизм языка С? — Max Vetrov   (09.06.2004 16:30, пустое)
    • То, что может сглючить. Например, только процессорный модуль. (+) — Gall   (09.06.2004 16:39, 277 байт)
      • Sorry, очепятка: assert (x == 4) — Gall   (09.06.2004 16:41, пустое)
• ставишь несколько впараллель и голосованием принимаешь результат... — =mse=   (09.06.2004 16:21, 53 байт)
• о каких проблемах? — bialix   (09.06.2004 16:15, пустое)
  • Ответ: плавание тактовой частоты, и ... сложно так сказать, что там еще может произойти. Может существует какая-нибудь теория? — Max Vetrov   (09.06.2004 16:27, пустое)
    • Только расчет вероятности отказа. Но это только вероятность. — Gall   (09.06.2004 16:32, 121 байт)
  • Напр., изменение системной такт. частоты (+) — Vitaliy K   (09.06.2004 16:20, 55 байт)
• Такое было на старых ЭВМ. Красная лампочка. (+) — Gall   (09.06.2004 16:14, 203 байт)
  • Ответ: да, что-то вроде внешнего таймера (+) — Vitaliy K   (09.06.2004 16:24, 171 байт)
    • Можно одновибратор с триггером, или второй генератор с кварцем и пересчеткой, или ФАПЧ + вольтметр/компаратор на напр. ошибки. — Gall   (09.06.2004 16:43, пустое)