caxapa.ru :: Изучил срач по ссылке. Подкину дохлую кошку (см.ссылку "картинка"): "На 1000 строк исходного кода открытых программ насчитывается 1 дефект". Подобное исследование было и у НАСА (лень искать). Собственно вопрос

Chum_A (14.12.2019 16:15, просмотров: 38516)

Изучил срач по ссылке. Подкину дохлую кошку (см.ссылку "картинка"): "На 1000 строк исходного кода открытых программ насчитывается 1 дефект". Подобное исследование было и у НАСА (лень искать). Собственно вопрос - надежней ли банальный релейный https://www.securitylab.ru/news/420674.php
http://caxapa.ru/964796.html
регулятор (10 строк кода, условно) на МК "профессионального уровня" (с) и без т.н. embedded OS, чем тот же регулятор под Free RTOS, Win, WinCE, Linux и т.д.(продолжить согласно фантазии). При этом: 1 Под надежностью понимается вероятность безотказной работы регулятора за N часов (непрерывно). 2 Учитывается надежность "железа" необходимого для запуска всего софта, как количество ЭРЭ необходимое для обеспечения его работы, в т.ч. и источника вторичного питания. 3 Дополнительных аппаратных мер (дублирование, троирование и т.п.) по обеспечению надежности не предусмотрено. 4 Разработчики железа под которым работает весь софт и прикладного софта (т.е.собственно регулятора) выполнили свою работу без ошибок.

Ответить

- аффтар снёс топик со срачем. как обычно. - Vit(15.12.2019 02:30, youtube)
  - А какого хера он снёс _чужие_ сообщения? - fk0(15.12.2019 13:36)
    - Ковыряйтесь =AlexD=(26409 знак., 15.12.2019 20:05)
    - Опостылил этот "seryy" своим нетрадиционным поведением. Может на неделю-другую ему помочь - сразу перемещать его сообщения в мусорку? - De_User(15.12.2019 17:38)
      - рецидив. я его уже аналогично воспитывал - сносил его посты в мусорку сразу, чтобы он не утруждал себя. похоже, опять придётся помогать болезному - Vit(16.12.2019 00:27)
        
        Присоединяюсь. - SciFi(17.12.2019 08:21, картинка)
        
        Этого горбатого и могила не исправит. - Codavr(17.12.2019 02:01)
      - +1. В теме были полезные сообщения, свинство надо наказывать. - Evgeny_CD(15.12.2019 19:27)
        
        Вообще-то он задал вопрос, получил и изучил ответы, а потом снес свой корневой пост. Что не так? - MBedder(15.12.2019 19:57)
        
        Не так то, что это не приватная консультация, а форум. И затронутая тема особенно с некоторыми ценными ответами была бы полезна не только ТС. Также подозреваю, что некоторые ответчики изначально тратили свое время в расчете, что они помогают не Shatun_(99 знак., 16.12.2019 15:53)
        
        +2. - SciFi(17.12.2019 08:05)
        
        +1 - Codavr(17.12.2019 02:03)
        
        Моё тоже. - fk0(17.12.2019 01:15)
        
        ну да. обычное свинство. - Vit(16.12.2019 00:24)
        
        А поспорить? А дать повод назвать идиотом? Неуважительно как-то к народу... :) - VLLV(15.12.2019 20:17)
      - +1. - fk0(15.12.2019 18:54)
    - Кирюша, ты про свои сообщения, скорее всего, печешься? Заведи свою тему по плюсам, будем в ней обмениваться опытом, крестоёбить. :)))) И никто не снесет и тема в твоих руках. В основном, конечно, я бы послушал. Век, знаете ли, живи, век учись. - RxTx(15.12.2019 14:38)
      - Зачетное определение С++ кодинга.... - Evgeny_CD(15.12.2019 19:43)
    - Машенька, сними буденновку и открой, наконец, для себя "Always" - со сносимым постом автоматически ~~сношаются~~ сносятся и все ответы, о чем русским по белому выдается предупреждение сношающему :)) MBedder(15.12.2019 13:44 - 13:47)
- Пока нет реальной информации о "дефектах", всё это вилами на воде писано. RxTx(197 знак., 14.12.2019 23:29)
- По поводу реле и дефектов. misyachniy(1319 знак., 14.12.2019 23:07)
  - Каждый раз когда говорится о "выбросах", "помехах" и "оптронах" начинаю понимать, что говорящие не понимают как оно работает. Почему полупроводниковый прибор должен быть хуже реле, и почему там должны быть какие-то "выбросы". Не говоря уж о том, fk0(5077 знак., 15.12.2019 14:32)
  - Интересно, а кто проверит систему автоматической проверки? - RxTx(15.12.2019 00:12)
    - "Сползание в бесконечность" (с) Сказки роботов - POV_(15.12.2019 00:31, )
      - Вчера немного почитал, ржал как бешеный. Спсб за наводку. Я раньше, разумеется, слышал о ней, но что-то мы разминулись. - RxTx(15.12.2019 14:41, ссылка)
- На 1000 строк? Я считал раз в 20 больше. Это уже после тщательного тестирования остаётся столько. Ну я по ссылке и написал, что множество слоёв абстракций привносят множество проблем. И более простая система может оказаться более надёжной. Но не fk0(388 знак., 14.12.2019 20:54)
  - +100500, ведь совершенно очевидное же (и совсем не новое) решение разнести собственно управление и ~~свистоперделки~~ красивый user интерфйс. И ведь это какая-то повальная наркоманская тяга к накручиванию абстракций. На хабре была статья Chum_A(236 знак., 15.12.2019 10:47)
    - Поди этот недавно вылупившийся ~~чмошник~~ из Итэлмы? Переводит всякий шлак, вместо того, что-бы рассказать что-то действительно интересное. - Точка опоры(15.12.2019 11:10)
      - Нет, другая статья. Нашел в 2-х частях. Статьи от "Итэлмы" ИМХО напоминают "мурзилки", а тут конкретные рационализаторы. - Chum_A(15.12.2019 17:07, ссылка, ссылка)
      - Да, я тоже заметил. Там засилье переводов, собственный контент генерировать, хотя бы путём чтения и компиляции чужого -- потенции нет. - fk0(15.12.2019 14:34)
        
        +1 - RxTx(15.12.2019 15:10)
  - С автоматами а не ртос надо понимать как с синхронщиной супротив асинхронщины? Правильно, бо оно отлаживаемое и тестируемое. А с асинхронщиной/eventdriven - сиди и кукуй при каких условиях оно могло случиться. А то еще и где. RxTx(459 знак., 14.12.2019 23:38)
- А чтотговорит linting? Хаос(86 знак., 14.12.2019 16:41, )
  - По условию регулятор как жена цезаря, вне подозрений и (если угодно) проверен всеми имеющимися анализаторами. Кстати, статический (и не только) анализ не выявляет, например, идеологических ошибок. Изначальный посыл был "будёновский", супротив Chum_A(24 знак., 15.12.2019 10:53)
    - У людей есть непонимание, мисконцепция. Например, недавно fk0 кидал статью Joel Spolsky "закон дырявых абстракций". Я уже не раз наталкивался на этого wannabe компьютерного "философа", изобретающего на пустом месте "законы", тогда как ситуация RxTx(2507 знак., 15.12.2019 15:29 - 15:39)
      - В очередной раз наблюдаю человека, оригинальную заметку про "дырявые абстракции" не читавшего или не понявшего. "So the abstractions save us time working, but they don’t save us time learning." - LightElf(20.12.2019 12:25 - 13:06)
      - >Чего не скажешь о программировании, которое забуксовало на уровне "объекта", а это 60е годы. Symbions(132 знак., 15.12.2019 19:39)
        
        > Системы, то есть цельного модуля из этого как правило нет. symbions(1379 знак., 19.12.2019 08:53)
        
        Действительно, существует такой уровень как "коллекция классов", RxTx(595 знак., 18.12.2019 21:11)
  - Вроде что Coverity, по заказу которого это "исследование" это Lint и есть. Только продвинутый. Не? - RxTx(14.12.2019 23:48)
    - Я про то, что если linting использовали для поиска ошибок в "исходном коде открытых программ", то что мешает использовать linting для поиска ошибок в "релейном регуляторе (10 строк кода, условно) на МК "профессионального уровня" (с) и без т.н. Хаос(16 знак., 15.12.2019 08:41, )
      - Это да. Возможно. RxTx(400 знак., 15.12.2019 14:55)

Средства и методы разработки