- [Advanced тестирование "боевых" прошивок] Идея. Evgeny_CD(3004 знак., 05.02.2019 18:12, dao, ссылка, полностью)
- а кто оплачивает этот банкет? LordN(157 знак., 06.02.2019 17:57)
- Собственно можно код запускать в эмуляторе процессора (qemu), которому привязать симуляцию нужной аппаратуры, или заменить HAL на вызов функций на ПК (где будет эмулироваться железо на каком-то уровне). - fk0(06.02.2019 00:05)
- Общая методика разработки выглядит так. Evgeny_CD(654 знак., 05.02.2019 23:09, ссылка)
- Есть такая замечательная вещь, как openocd. Он позволяет не только отлаживать код, но читать и загружать данные по указанному адресу. Это позволяет загрузить в ОЗУ код тестовой функции, выполнить её и вычитать результат (аппаратные флаги в том evgeniy1294(200 знак., 05.02.2019 20:21)
- Понравился один пункт: "подаем на вход стека все варианты битых и кривых пакетов". Все остальное банально не понял. Это московский жаргон? ;) VLLV(183 знак., 05.02.2019 18:25)
- Это не "жаргон". Это желание казаться выше. Для этого в дикой природе некоторые самцы встают на задние лапы. :) Хаос(490 знак., 05.02.2019 18:39, )
- Про "один файл" лучше, чем там ->, не скажу. - Evgeny_CD(05.02.2019 18:37, ссылка)
- ОК. События последних месяцев сделали из меня скептика в части тестирования говнокода. Массовая ошибка в полях не повторяется на столе. Это фиаско тестирования, жизнь богаче любых измышлений тестировщика. Рулит качество проектирования. - VLLV(05.02.2019 22:27)
- Ох уж это качество проектирования =)) крайнюю неделю тестю яндекс-облако, которое они вроде уже даже в продакшен запустили... баг на багге и баггом погоняет...правда пока все в морде управления и в техподдержке... - sav6622(05.02.2019 23:11)
- Вот что точно вредно, так то крайности. Evgeny_CD(208 знак., 05.02.2019 23:01)
- Тут уважаемый fk0 "космическое программирование" поминает. Вот есть такое (совсем не космическое) документище, "ГОСТ Р МЭК 61508-3-2007 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с Chum_A(409 знак., 06.02.2019 09:29, ссылка)
- По поводу крайностей не поспоришь. А по поводу ошибок - как бывает, когда программист предусмотрительнее заказчика :) : VLLV(195 знак., 06.02.2019 06:04)
- Где ты видел диагностику или обработку ошибок? Программисты программы пишут не предполагая возникновения ошибок в используемых подсистемах (библиотечных функциях или аппаратуре), ошибок у себя и какой-либо их обработки (возможность аварийного fk0(13386 знак., 06.02.2019 03:12)
- тут спрошу, orange pi zero 1 включение, толком не могу понять uart можно обычный подключить 5в (max232) или надо 3.3в (max3232)? - igorm(03.02.2019 22:20, , MCU, полностью)
- В школьные годы занимался моделизмом , ныне только слежу за развитием. Но такого ещё не видел: Мрия-Буран шедевр авиамоделизма - m16_home(02.02.2019 19:58, Off, ссылка, полностью)
- Задушевно-то как... - Alex68(06.02.2019 01:55, Off, ссылка, полностью)
- Кто-нибудь сравнивал эффективность оптимизации компиляторов IAR, TrueStudio, Keil? Или все примерно одинаковые? - Котяра(30.01.2019 17:12, ARM, полностью)
- Назрела пора прояснить давно волнующий вопрос - допустим ли термалпад на полигоне который является радиатором. По логике он там вреден. Ну может хоть малюююсенький с жирнючими перемычками? - Codavr(03.02.2019 13:53, SCH, полностью)MBedder
- Резонит вещает что таки нужно и даже обязательно для паябельности. См нечто похожее на картинке. De_User(03.02.2019 16:28)
- Можно то все, только как то плату силовую делал с медью 70 микрон, она реально тяжело паяется руками, в обновленной версии все пады чуть ли не в 2 раза увеличил. - Visitor(03.02.2019 15:24)
- Зачем? - a3r3(03.02.2019 14:46)
- Как зачем, шоб паялось легче. - Codavr(03.02.2019 14:55)
- Шоб легче паялось, лучше использовать нижний подогрев - вот он реально помогает. - a3r3(03.02.2019 16:18)
- Вот именно для этого я и делаю здоровенные дырявые пады без thermal reliefs посередине power pad'ов (на картинках - TQFP144 и QFN32 справа на плате) - в них можно тупо паяльником лезть, если припрет --> - MBedder(03.02.2019 15:23, картинка, картинка)
- Тут точит червяк сомнения. Теплопроводность меди 394 Вт/(м*к) а у припоя ПОС-61 всего 5. Разница, на минуточку, в 80 раз! Кстати сопротивление в 10 раз хуже. Это к сведению любителей наваливать горку припоя чтобы якобы увеличить допустимый ток в Codavr(12 знак., 03.02.2019 17:27 - 17:36)
- Угу... Площадь
Ленинамедного проводника шириной 3мм и толщиной 70мкм, 0.21мм2. Площадь 3мм с 1мм"горкой" припоя, соотв, 3мм2. Отношение площадей,14+ раз. Каг минимум, сопротивление падает вдвое. А учесть, что можно mse homjak(45 знак., 03.02.2019 18:11 - 18:13)
- Привычка - вторая натура. Теплопроводность SnPb(63/37) (типа ПОС-63?) составляет 50W/mK. Мало, конечно, но не 5. - ВВ(03.02.2019 18:05 - 18:07, ссылка)
- Этой дыркой я практически ничего не ухудшил, благо большой чип жрет меньше ватта, а маленький раз в 5 меньше. Для суровых мощных чипов - да, надо много думать и читать пейджер - MBedder(03.02.2019 17:48)
- Хоть и не совсем в тему, но почитай соответствующие ноты от Техаса MBedder(03.02.2019 14:24)
- "Баги самолетного софта" - Chum_A(05.02.2019 16:16, Off, ссылка, полностью)
- есть еще порох. :-) А то я думал, что совсем GPON помер при увеличении количества клиентов - Лагунов(31.01.2019 15:21, zen, картинка, полностью)
- Они думаешь в ростелекоме дураки все? Они знают, что для спидтеста лимиты нужно отключить. Ты возьми какой-нибудь нетиповой, редкий спидтест. - fk0(01.02.2019 00:29)
- Ни у одного провайдера из крупных (работаю сам на одного из и общаемся со спецами), нет такой заморочки, чтобы трафик анализировать на предмет теста скорости. Покрасили трафик в зависимости от SLA и всё. Nikolay_Po(1209 знак., 01.02.2019 10:14)
- кстати, если при скачивания торрентов попадается раздаватель местный, то я реально видел скорость у себя 20-25 Мбайт/сек. Т.к. почти 200Мбит/сек. - Лагунов(01.02.2019 08:57)
- здесь малость другое. Еще со времен существования Сибирьтелекома (до его поглощения Ростелекомом) внутри Зап. Сибири скорость тарифом ен ограничивалась. Это - Томск, Омск, Барнаул, Кемерово и проч. И 3-4 года назад я намеривал на пределе своей Лагунов(307 знак., 01.02.2019 08:55)
- +1 Давно сложилось такое мнение и не только касательно ростелекома. - pinkprapor(01.02.2019 08:25, )
- Сколько стоит этот тариф? - SciFi(31.01.2019 15:24)
- Кабели коаксиальные BNC/BNC продает кто нибудь? - Visitor(04.02.2019 09:13, SCH, полностью)
- а сам, ручечками? - =L.A.=(05.02.2019 22:54)
- А может такие взять и просто накручивать на стандартный антенный кабель? - Yurasvs(05.02.2019 21:55, ссылка)
- Метровой длины. -> - ВВ(04.02.2019 10:37, ссылка)
- Хе... там же вопросов, больше чем ответов... мы сами себе покупаем кабель, разьемы, нарезаем, обжимаем.. - sav6622(04.02.2019 10:13)
- Есть конторы, которые специализируются на коаксиалах с нужными разъемами, но конкретно не подскажу - та, в которой я как-то заказывал перестала этим занимиться. Ключевое слово - "кабельные сборки" - AlexG(04.02.2019 10:00)
- [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!! Evgeny_CD(1580 знак., 18.05.2018 02:26 - 26.05.2018 02:17, dao, ссылка, полностью)
- Cobra интересна, но денег стоит. Можно сразу забыть. - fk0(26.05.2018 03:05)
- Просветите немного, раз немного въехали в тему. VVB_(255 знак., 18.05.2018 07:40, )
- Никак и незачем. Как из модели корабля, прошедшей испытание в бассейне, сделать большой корабль? Всё переделать настоящими инструментами из настоящих материалов и с настоящими размерами. Верифицируется только модель, разумеется. Но если большая fk0(203 знак., 19.05.2018 00:10)
- Я пока даже на полшишечки не въехад. Я просто почувствовал некий новый полход по отношению к тому, что используется традиционно. - Evgeny_CD(18.05.2018 13:49)
- Вот, например, инструмент Yakindu для реализации конечных автоматов на Си, с возможностью верификации выполнения программы уже в железе (или на ПК). Иногда пользуюсь. VVB_(904 знак., 18.05.2018 08:06, )
- fk0, вот чего ты молчал про такую штуку? - Evgeny_CD(18.05.2018 02:46)
- temporal logic упоминалось в книге, которую я нашел в 2007 году -> Только я нихера не понял, что это за зверь такой - Evgeny_CD(18.05.2018 02:44, ссылка)
- Тулзы для верификации моделей -> - Evgeny_CD(18.05.2018 02:40, ссылка)
- Просто охренеть можно! Мощнейший аппарат описания поведения любого ПО и верификации реального ПО на соответствие модели. Море книг. Стройный математический аппарат. Интересно, Шалыто со своим автоматным программированием, создатель Дракона - они Evgeny_CD(21 знак., 18.05.2018 02:37)
- Краткие материалы по LTL, CTL. Evgeny_CD(18.05.2018 02:33)
- Кто-нибудь пробовал отлаживать AT90PWM по debugwire? Есть плата c AT90PWM3B. Чтобы посмотреть, почему зашитая программа не подает признаков жизни, попробовал подключиться отладчиком. Фьюз DWEN запрограммировался, но связи по debugwire нет, по ISP AlexG(232 знак., 05.02.2019 09:52, AVR, полностью)
- Началось? "Больше часа китайский электромобиль не выпускал пассажиров из салона, так как обновлял ПО" - De_User(05.02.2019 18:25, Off, ссылка, полностью)
- Хохо... постоянный бан на хабре заслужил. Эдичка сбацал пару строк "Обыватель, улепётывая за границу, пытается преодолеть свою ничтожность." которые я и распространил ( пропагондировал среди гандонов ). Респект Эдичке! - max(04.02.2019 20:31, Off, ссылка, полностью)
- Да правдаштоль? Ну хто бы мог подумать. Не, не может быть, наверняка какая то ошибка. CNN опять что-то напутала. Ну по крайней мере США ни слухом ни духом об таком безобразии. - Codavr(05.02.2019 17:42, Off, ссылка, полностью)
- лучше скажите что ето - корпус SOIC-8 значок TI надпись 104233, на сём сделан кварцевый генератор, кварц - выводы 3 и 4, земля - вывод 2, +5 - вывод 7 - Alex68(05.02.2019 17:19, SCH, полностью)