sensmart

Оригинал взят у dm_kalashnikov в Индустриальная археология

Оригинал взят у mbr в User friendly

Оригинал взят у vladimir_akinin в Государственное регулирование

Оригинал взят у vladikoms в Мощь!

Оригинал взят у steelcraft в Книга "Что нужно знать цифровому разработчику об аналоговой электронике"

В воскресенье в АНТИКАФЕ "КОУЗИ-МИТИНГ" был проведен КОВОРКИНГ среди ЭМБЕДДЕРОВ, QA и просто айтишников. КОВОРКИНГ состоял из нескольких частей: ВОРКШОП с перерывами на КОФЕ-БРЕЙКИ (кстати были вкуснейшие МАФФИНЫ с ванильным кремом, а также безалкогольный мохито и СМУЗЗИ) и выступления докладчиков - СТАРТАПЕРОВ со смелыми КРАУДФАНДИНГОВЫМИ ПРОЕКТАМИ.
( Read more...Collapse )

https://ru.wikipedia.org/wiki/Therac-25
Therac-25 — аппарат лучевой терапии, созданный канадской государственной организацией «Atomic Energy of Canada Limited» и запущенный в серию в 1982 году. С июня 1985 года по январь 1987 года этот аппарат стал причиной как минимум шести передозировок радиации, некоторые пациенты получили дозы в десятки тысяч рад. Как минимум двое умерли непосредственно от передозировок.

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

...
Непонимание разницы между надёжностью и безопасностью.

Программное обеспечение было очень надёжно. Оно проработало десятки тысяч раз до тех пор, пока случилась первая передозировка. И AECL начало считать, что программное обеспечение безопасно, так как оно надёжно, что привело к излишней самоуверенности.

...
Один из уроков Therac-25 состоял в том, что невозможно доказывать безопасность аппаратно-программного комплекса основываясь только на конкретной реализации программного обеспечения. Образно говоря, любая сложная программная система может повести себя непредсказуемо, так как всегда может остаться неизвестной имеющаяся программная ошибка. И, таким образом, нельзя полностью полагаться на программное обеспечение и требуется проверять его сторонними средствами.

...
Были проигнорированы некоторые базовые практики программирования в Therac-25, а именно:

• Написание документации и спецификаций к программному обеспечению.


• Строгая верификация программного обеспечения с применением стандартов.


• Проектирование должно быть достаточно простым и необходимо избегать опасных практик программирования. В случае Therac-25 в программном коде было много «трюкачества».


• Способы ведения журнала работы и способов их получения должны быть заданы с самого начала разработки.


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


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


• Всё программное обеспечение было написано на ассемблере, хотя в данном случае лучшим решением было бы использовать язык высокого уровня.

Оригинал взят у aregus в Керамический конденсатор за 100 баксов

Фото не мое, из интернетов. Что еще раз доказывает что все эти DHT11/22 и прочие на улице сгниют через полгода, потому как внутри представляют собой мини-платку, ничем не защищенную от влаги.

Взято здесь

Предположим, у вас фирма, делает вольтметры. Одна модель — «простая», без True-RMS, стоит $50. Другая модель — TrueRMS, стоит $200. Допустим, к вам пришел инженер и сказал, что он может поменять схему вольтметра так, чтобы он мерял TrueRMS, и его себестоимость равнялась себестоимости того прибора, который не true-rms. Что бы вы сказали такому инженеру?

Если отказаться от не-true-rms-вольтметров — потеряете ту прибыль, которую на них получали. Люди, у которых есть $50 и нет $200, не купят у вас вообще никаких приборов. Продавать все приборы по $50 — потеряется дополнительная прибыль, котрую получали, продавая true-rms за $200. Даже в случае снижения цены на true-rms приборы до $60 вы все равно можете потерять тех покупателей, у которых есть только $50, true-rms им не нужен, и они лучше купят у конкурентов за $50 прибор похуже, чем ваш за $60.

Какое оптимальное решение? Выпускать все приборы с одинаковой электроникой, но разной прошивкой. Одна будет измерять true-rms, вторая — амплитуду. Первая будет стоить $200, вторая — $50. На каждую найдется свой покупатель.

Взято здесь.

1. Нужно сильно ограничивать ветвления и условия. Не использовать goto, setjmp или longjmp, не использовать прямую или косвенную рекурсию.

2. У всех циклов должен быть предел. Проверяющая программа должна иметь возможность легко доказать, что определенное количество итераций не может быть превышено. Если предел невозможно доказать статически, то правило считается нарушенным.

3. Не использовать динамическое распределение памяти после инициализации.

4. Любая функция должна уместиться на одном стандартном листе бумаги, одно выражение на строку и одна строка на определение. Обычно это означает, что функция не должна быть длиннее 60 строк.

5. Должно быть не более двух ассертов на функцию. Ассерты используются для проверки аномальных условий, которые не могут произойти при реальном запуске. Ассерты не должны содержать сайд-эффектов, и по формату должны быть Boolean-тестами. Когда ассерт падает, должно запуститься специальное действие по восстановлению, например, возврат условия падения обратно в вызывающую функцию. Если проверяющая программа доказывает, что ассерт никогда не фейлится или никогда не удовлетворяется, то правило считается нарушенным. (Нельзя обойти это правило с помощью бессмысленных “assert(true)”).

6. Объекты с данными должны быть задекларированы на самом низком (из возможных) уровне области видимости.

7. Возвращаемое значение не-void функции должно проверяться вызываемой функцией. Валидность параметров должна проверяться внутри каждой функции.

8. Препроцессор можно использовать только для включения header-файлов и простых макро-определений. Token pasting, вариативные функции и рекурсивные макро вызовы запрещены. Использование условных директив компиляции нежелательно, но иногда неизбежно. Это означает, что только в редких случаях уместно использовать больше чем одно или два условия в директивах компиляции, даже в больших проектах.

9. Использование указателей должно быть ограничено. Допустимо не больше одного уровня разыменования. Операторы разыменования не должны быть скрыты в макро определениях или внутри typedef. Указатели на функции запрещены.

10. Весь код должен компилироваться при всех включенных warning'ах, на самых дотошных настройках компилятора с самого первого дня разработки. Весь код должен компилироваться с такими настройками без единого warning'а. Весь код должен проверяться каждый день (как минимум раз в день, но желательно чаще), с использованием лучшего из доступных на текущий день статического анализатора кода, и должен проходить анализ без единого warning'а.

Технология заключается в том, что пластиковая пластина вырезается нужного размера, а затем в местах сгиба фрезеруется. Дальше происходит сгибание и получается очень хорошая коробочка.

Есть один недостаток который в значительной мере нивелирует преимущества такого «умного дома» — зависимость от интернета. При пропадании связи с внешним сервером (кончились деньги, техническая неисправность, природный катаклизм, иной форсмажор) вы остаётесь без данных о погоде, без внешнего управляющего сервера и с не работающими, как ожидается, приборами.

Допустим вы купили модные окна с электрическим открытием. В квартире было душно, окна открылись на проветривание, но потом прервалась связь, а вы были далеко и тут мороз и квартира разморожена.

Конечно можно уменьшить вероятность таких событий дублируя интернет соединения, но какие то сервисы могут просто закрыться или на них будет атака и они перестанут на некоторое время отвечать.

Всё же «умный дом» с удалённым сервером управления это не совсем надёжно в длительной перспективе.

Искал аналоги погодных станций. Дешёвые варианты обычно все как один несут данные в облако. Для локальных измерений нужны приборы в среднем и верхнем ценовом диапазоне. Газы не меряет ни один из массовых вариантов кроме netatmo.

— Вот контроллер за 15 000 рублей. На нем я смогу сделать то что вы просите.
— А можно будет потом счетчики подключить?
— Можно, это будет стоить 5 000 рублей за работы.
— А докупать ничего не нужно будет?
— Нет, только работы. Когда дойдет до покупки счетчиков — позвоните мне, я проконсультирую.
— А если я погодную станцию поставлю, сможете подключить к контроллеру?
— Скорее всего да. От 2 000 до 5 000 за работы.
— И тоже покупать ничего дополнительно не нужно?
— Да, это очень мощный контроллер и в него такое заложено изначально.
— И всего за 15 000 рублей?
— Да.

Взято здесь

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

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

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

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

4. Компьютеры типа PPC-5150 и их составные части выходили из строя многократно, в то время как WS-855 и CPU-188 и их составные части – ни разу после начального периода. Предположительно, это связано с более высокой степенью интеграции, более высокой частотой и более высокой температурой в PPC-5150.

5. Существует очень значительная зависимость вероятности выхода из строя электронных модулей от объекта их эксплуатации. Эта зависимость не сводится к человеческому фактору, так как за время формирования нашей выборки эксплуатирующий персонал на объектах менялся, а характер статистики – нет. Предположительно, причины сводятся к качеству электропитания или климатическим особенностям.

6. В компактных системных блоках производители склонны выбирать нестандартные конструктивные решения и менять их по мере производственной необходимости. Это приводит к тому, что, например, номинально общая серия ICP PPC-5150 распадается на ряд конструктивно несовместимых между собой моделей. При отказе, например, материнской платы в старой PPC-5150, установить на её место плату от новой PPC-5150 невозможно (по крайней мере, без лобзика и эпоксидной смолы), и приходится заменять системный блок целиком. [Здесь могло бы быть упоминание о фирме Apple].

7. При проектировании изделий с продолжительным сроком службы повышенное внимание необходимо уделять встроенным источникам питания (батарейкам), срок службы которых ограничен. Если стандартные элементы питания, вроде, скажем, CR2032 на материнской плате, можно рассчитывать без труда заменить через несколько лет, то с интегрированными модулями и микросборками, включающими элемент питания в свой неразборный конструктив, могут возникнуть значительные проблемы при их снятии с производства.

8. Системный блок компьютера, положенный целиком в ЗИП, может оказаться очень кстати. Эксплуатирующему персоналу гораздо проще заменить системный блок целиком, а потом, совместно с изготовителем, разбираться с локализацией неисправности, чем пытаться найти неисправную деталь на месте. Вообще, практика показывает, что единственным видом ремонтных работ, который целесообразно поручать эксплуатирующему персоналу, не имеющему специальной квалификации, является замена неисправных блоков или модулей целиком.

9. Информация, записанная на DVD-R/RW, проживает дольше нескольких лет только при известном везении. Впрочем, о долговременном архивном хранении информации лучше написать отдельную статью.

http://www.linux.org.ru/news/linux-general/11648238

Ошибка была в программном обеспечении спутника. Каждые 15 секунд спутник отправлял сигнал радиомаяка. Одновременно данные дописывались в файл beacon.csv. Неумолимо приближался момент, когда файл занял всё доступное пространство памяти в 32 мегабайта и полетное ПО упало. Оказывается, производитель платы управления уже имел версию ПО с исправленной ошибкой, но спутник не был обновлен до актуальной версии. В пятницу команда управления получила уведомление о ошибке в ПО и готовилась к дистанционному обновлению ПО спутника при следующем прохождении его в зоне видимости станции, но спутник завис раньше. Последняя телеметрия была получена 22 мая в 21:31 по UTC.

На данный момент команда пытается перезагрузить спутник, вследствие чего будет стерт файл beacon.csv и будет возможно в нормальном режиме обновить или исправить ПО. Спутник не имеет Watchdog, и перезагрузка осуществляется по команде с Земли. В прошедший вторник команда управления при пролете спутника в зоне видимости станций пыталась перезагрузить спутник. Более 18 раз посылалась команда перезагрузки, но ничего не произошло. Команда надеется на то, что спутник перезагрузится самостоятельно — космические частицы часто вызывают перезагрузку систем спутников типа Cubesat. По мнению специалистов, перезагрузка спутника может произойти в течение 3-6 недель.

https://www.drive2.ru/b/2615302/:

Когда «эксперт» поднял крышку и вытащил на всеобщее обозрение электронную начинку, период сокращения сердечной мышцы у меня стал стремиться к бесконечности: я ожидал там увидеть что-то привычное, военное, типа такого:



Но увидел импортные микросхемы FLASH памяти в пластиковых корпусах TSOP-48, размещённые на многослойных печатных платах, соединённых этажеркой… Это же школьники в радиокружке собирали!




Внутренний корпус не повреждён, а «все яйца всмятку»… Как такое может быть? Кому пришла мысль в голову использовать печатные платы (ПП) без какой либо заливки модуля компаундом? Платы, закреплённые по углам на простых стойках, висят в воздухе? Это полный пинцет! Платы разрушились от действия кинетических сил, а не от прямого механического воздействия! Они просто изогнулись, и импортные пластиковые корпуса разлетелись к чёртовой матери!

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

Кто догадался использовать «многослойку» в таких тяжёлых условиях эксплуатации? Не нужно получать высшее образование – достаточно набрать в Google запрос «техника разводки печатных плат», что бы узнать:

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

Двухслойные ПП с металлизацией отверстий – наиболее надежны в жестких условиях эксплуатации. Главный минус двухслоек – трудоемкость (дороговизна) разработки действительно качественной топологии. Поэтому применение двухслойных плат для сложных устройств оправданно в основном в двух случаях. Первый случай – обеспечение предельно высокой надежности…»

Если я услышу, что главный инженер ОАО «Измеритель», сконструировавший эту поделку под названием БАНТ-32-02 застрелился – не удивлюсь, ибо кроме как диверсией, предательством Родины такое «поделие» не назвать.

Даже серьёзные производители автомобильной электроники стараются избегать использования многослойных печатных плат.

Niall Murphy "How to Avoid Common Firmware Bugs" в переводе ChipEnable.Ru

Как избежать типичных багов встроенного ПО. ч.1

Как избежать типичных багов встроенного ПО. ч.2

Оригинал взят у alex_avr2 в Еще одни.

Оригинал взят у alex_avr2 в Ардуино головного мозга. Часть 3